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
Merkmale dieser Pressemitteilung:
Journalisten, Wirtschaftsvertreter
Elektrotechnik, Informationstechnik
überregional
Forschungs- / Wissenstransfer, Forschungsergebnisse
Deutsch
Die im Projekt VerSys entwickelte Verifikationsplattform kann leicht an die Anforderungen der Nutzer ...
DFKI, Grafik: Lisa Jungmann
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).