idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Quelloffene Hardware-Architekturen wie RISC-V bieten eine unabhängige und kostengünstige Alternative zu den großen Chip-Herstellern. Um die vielen Vorteile RISC-V-basierter Systeme nutzen zu können, hat das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) eine neuartige Verifikationsplattform entwickelt, welche die Entwicklung und den Test von Software für die zukunftsweisenden Prozessoren noch vor deren Fertigung erlaubt. Davon profitieren neben der deutschen Industrie vor allem auch Start-ups. Gefördert wurde das Projekt VerSys vom Bundesministerium für Bildung und Forschung (BMBF).
Ob Smart Homes oder Smartphones, selbstfahrende Autos oder die Industrie von morgen – all diese Zukunftstechnologien benötigen leistungsstarke Computerchips zur Steuerung. Die Systeme, die auf diesen Chips laufen, werden meist als „System on Chip (SoC)“ geschlossen entwickelt und vertrieben. Jedoch erlebt auch Open-Source-Hardware eine zunehmende Popularität. Ein Trend, der insbesondere in Zeiten der Knappheit von Computerchips als ein Schlüssel hin zur digitalen Souveränität, und damit zur Sicherung der Zukunft des Technologiestandorts Deutschland gilt.
Als Vorreiter dieser Entwicklung gilt die RISC-V-Architektur, die aufgrund ihrer Open-Source-Lizenz patentfrei zur Verfügung steht. Die offene Befehlssatz-Architektur bietet viele Vorteile: So fallen zum einen keine Patentgebühren an und zum anderen überzeugt RISC-V durch seine Standardisierung, Erweiterbarkeit und Herstellerunabhängigkeit. Die Prozessoren gelten dadurch als besonders zukunftssicher. Die Frage lautet jedoch: Wie kann schon jetzt Software für die Chips der Zukunft geschrieben werden, ohne auf die Produktion warten zu müssen?
Darauf weiß Prof. Dr. Christoph Lüth vom DFKI-Forschungsbereich Cyber-Physical Systems die Antwort: „In unserem Projekt VerSys haben wir zusammen mit der Universität Bremen eine offene Verifikationsplattform für RISC-V-Systeme entwickelt, die auf einem virtuellen Prototyp für RISC-V-Systeme basiert. Virtuelle Prototypen sind eine Standardtechnik der Industrie für das Problem der frühen Softwareentwicklung. Es handelt sich dabei um einen in Form von Software entwickelten digitalen Zwilling des Chips, der mit dem echten System binärkompatibel ist und damit die Softwareentwicklung für noch nicht gefertigte Systeme erlaubt.“
Die Verifikationsplattform ist zudem skalierbar, modular und korrekt. Sie kann leicht an die Anforderungen der Nutzer angepasst werden. Ihr Quelltext ist Open Source und unter dieser URL (http://www.informatik.uni-bremen.de/agra/projects/risc-v/) frei verfügbar. Ende September ist das Projekt vom Wissenschaftlichen Beirat des DFKI begutachtet worden. Dieser bewertet die Ergebnisse hinsichtlich ihrer industriellen Nutzung als besonders beeindruckend und ist der Ansicht, dass die Verwertung der Ergebnisse von VerSys noch weiter zunehmen wird, je mehr Branchen sich in Folgeprojekten engagieren. So wird beispielsweise im Projekt VE-HEP im Rahmen der Leitinitiative „Vertrauenswürdige Elektronik“ an einem gehärteten, formal verifizierten RISC-V-Prozessor geforscht, der kryptographische Operationen mit speziellen Hardwarestrukturen beschleunigen kann. Darüber hinaus wird die Plattform im Projekt ECXL weiterentwickelt, indem sie um eine RT-Ebene vergrößert wird, welche Ebenen übergreifende Verifikation und direkte Synthese des neuen Prototyps ermöglicht. Das Projekt ECXL ist zum 1. August 2022 mit einer Laufzeit von drei Jahren gestartet und wird vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 1,6 Millionen Euro gefördert.
Projekt VerSys
Auftraggeber: Bundesministerium für Bildung und Forschung (BMBF)
Fördernummer: 01IW19001
Projekt VE-HEP
Auftraggeber: Bundesministerium für Bildung und Forschung (BMBF)
Fördernummer: 16KIS1342
Projekt ECXL
Auftraggeber: Bundesministerium für Bildung und Forschung (BMBF)
Fördernummer: 01IW22002
Prof. Dr. Christoph Lüth
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems
E-Mail: Christoph.Lueth@dfki.de
Tel.: 0421 218 59830
https://www.dfki.de/web/news/versys-dfki-verifikationsplattform-chips Link zur DFKI-Webseite
http://www.informatik.uni-bremen.de/agra/projects/risc-v/ Link zum Quelltext
Die im Projekt VerSys entwickelte Verifikationsplattform kann leicht an die Anforderungen der Nutzer ...
DFKI, Grafik: Lisa Jungmann
Criteria of this press release:
Business and commerce, Journalists
Electrical engineering, Information technology
transregional, national
Research results, Transfer of Science or Research
German
Die im Projekt VerSys entwickelte Verifikationsplattform kann leicht an die Anforderungen der Nutzer ...
DFKI, Grafik: Lisa Jungmann
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
