idw - Informationsdienst
Wissenschaft
Open-Source liegt hoch im Kurs: Neben offener Software bieten auch Hardware-Architekturen eine unabhängige und kostengünstige Alternative zu den großen Chipherstellern. Um noch vor ihrer Fertigung Software für die Prozessoren der Zukunft schreiben und testen zu können, arbeitet das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) an einer neuen Verifikationsplattform. Davon profitieren neben der deutschen Industrie vor allem Start-ups. Das Projekt VerSys wird vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 1,6 Millionen Euro gefördert.
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 zumeist als „System on Chip (SoC)“ geschlossen entwickelt und vertrieben. Der Trend geht jedoch in eine andere Richtung: Neben offener Software wie dem Betriebssystem Linux erleben auch Open-Source-Architekturen für Hardware eine zunehmende Popularität. Als Vorreiter gelten RISC-V-Prozessoren (Reduced Instruction Set Computer), die mithilfe einer Open-Source-Lizenz frei entworfen, hergestellt und vertrieben werden können.
Die offene Befehlssatz-Architektur bietet viele Vorteile: Neben wegfallenden Patentgebühren überzeugt RISC-V vor allem durch seine Standardisierung, Erweiterbarkeit und Herstellerunabhängigkeit. Dadurch gelten die Prozessoren 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? Als Antwort startete der DFKI-Forschungsbereich Cyber-Physical Systems unter der Leitung von Prof. Dr. Rolf Drechsler zum 1. August 2019 das Projekt VerSys – eine offene Verifikationsplattform, auf der Software mithilfe eines virtuellen RISC-V-Chips getestet werden kann.
Open-Source-Plattform soll die Software-Entwicklung beschleunigen
Die Verifikation von Software durch virtuelle Prototypen für Computerchips ist Standard in der Industrie. Für RISC-V fehlt dieser Prototyp allerdings bisher. Genau hier soll das Projekt VerSys (kurz für „Konsistente Verifikationsplattform zur frühzeitigen Softwareentwicklung für RISC-V-basierte Systeme“) Abhilfe schaffen. Das Ziel ist eine quelloffene Verifikationsplattform, die skalierbar, modular und korrekt ist und zudem leicht an die Anforderungen der Nutzer angepasst werden kann.
Das Projekt VerSys wird vom Bundesministerium für Bildung und Forschung (BMBF) über eine Laufzeit von drei Jahren mit rund 1,6 Millionen Euro gefördert. Die entstandene Plattform soll im Anschluss mithilfe von Industriepartnern weiterentwickelt und industriell einsetzbar gemacht werden. Am Ende der Projektlaufzeit erhofft sich der DFKI-Forschungsbereich Cyber-Physical Systems ein Ökosystem aus kleineren Firmen, das sich um die Plattform herum entwickelt und verschiedene Dienste anbietet.
Industrie und Start-ups profitieren von frühzeitiger Verifikation
Zu den Einsatzbereichen von RISC-V-Chips und der entsprechenden Software zählen neben der Automobil-, Kommunikations- und Produktionsbranche auch Smart Homes und das sogenannte Internet der Dinge (Internet of Things, IoT). Der Bedarf der geplanten Verifikationsplattform zum frühzeitigen Softwaretest zeigt sich bereits jetzt durch reges Interesse seitens der Industrie. Auch Start-ups können mithilfe von VerSys ihre Softwareentwicklung schneller, unabhängiger und mit einem geringeren Risiko vorantreiben.
Die Hardware-Architektur RISC-V wurde 2010 an der Universität von Kalifornien in Berkley, USA, entwickelt und eingeführt. Für die Etablierung und Veröffentlichung der Software-Standards wurde mit der RISC-V Foundation ein eigenes Konsortium gegründet, dessen Mitgliedschaft der DFKI-Forschungsbereich Cyber-Physical Systems im Rahmen des Projektes VerSys anstrebt.
Bildmaterial
Unter https://cloud.dfki.de/owncloud/index.php/s/rn2Qq5reGZkpcrz steht eine Grafik in hoher Auflösung zum Download bereit. Dieses können Sie mit Nennung der Quelle „DFKI GmbH, Grafik: Lisa Jungmann“ gerne verwenden.
DFKI-Kontakt
Dr.-Ing. Daniel Große
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems
E-Mail: Daniel.Grosse@dfki.de
Tel.: 0421 421 218 63935
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
DFKI-Pressekontakt:
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Team Unternehmenskommunikation Bremen
E-Mail: uk-hb@dfki.de
Tel.: 0421 178 45 4180
VerSys Illustration
DFKI GmbH, Grafik: Lisa Jungmann
None
Criteria of this press release:
Business and commerce, Journalists, Scientists and scholars
Electrical engineering, Information technology, Mechanical engineering, Media and communication sciences, Physics / astronomy
transregional, national
Miscellaneous scientific news/publications, Research projects
German
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).