Neue Open-Source-Plattform VerSys erlaubt frühzeitige Softwaretests durch virtuelle Chips
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
Media Contact
Weitere Informationen:
http://www.dfki.deAlle Nachrichten aus der Kategorie: Informationstechnologie
Neuerungen und Entwicklungen auf den Gebieten der Informations- und Datenverarbeitung sowie der dafür benötigten Hardware finden Sie hier zusammengefasst.
Unter anderem erhalten Sie Informationen aus den Teilbereichen: IT-Dienstleistungen, IT-Architektur, IT-Management und Telekommunikation.
Neueste Beiträge
Keine signifikanten PFAS-Emissionen durch Abfallverbrennung
Versuche am KIT zeigen, dass sich Fluorpolymere in der Hausmüllverbrennung nach europäischen Standards nahezu rückstandsfrei abbauen. Per- und polyfluorierte Alkylverbindungen, kurz PFAS, finden sich in unzähligen Produkten und damit auch…
StrokeCap – Die mobile Schlaganfalldiagnostik der Zukunft
Die StrokeCap, ein von der Julius-Maximilians-Universität und dem Uniklinikum Würzburg gemeinsam entwickeltes innovatives, tragbares Gerät, das die mobile Schlaganfalldiagnostik revolutionieren und so Leben retten kann, gewinnt einen von fünf Medical…
Wie wirkt sich die Munitionsbergung auf die Meeresumwelt aus?
Meereswissenschaftliche Untersuchungen in der Lübecker Bucht. Gestern startete das Forschungsschiff ALKOR zu einer Expedition in die Lübecker Bucht: Untersucht werden soll vor Ort, wie sich die Munitionsbergung auf die Meeresumwelt…