Neuen Verifikationsplattform

DFKI forscht an Testplattform für RISC-V-Software

Um noch vor der Fertigung eines RISC-V-Chips Software für den Prozessor schreiben und testen zu können, arbeitet das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) an der neuen Verifikationsplattform VerSys. Davon sollen neben der Industrie vor allem Startups profitieren.

Bild: DFKI GmbH, Grafik: Lisa Jungmann

Ob Smart Homes oder Smartphones, selbstfahrende Autos oder die vernetzte Fertigung – all diese Zukunftstechnologien benötigen Computerchips zur Steuerung. Die Systeme auf diesen Chips werden zumeist als ‚System on Chip (SoC)‘ geschlossen entwickelt und vertrieben.

Dabei gewinnen neben offener Software wie dem Betriebssystem Linux auch Open-Source-Architekturen für Hardware an Popularität. Zum Beispiel RISC-V-Prozessoren (Reduced Instruction Set Computer), die mithilfe einer Open-Source-Lizenz frei entworfen, hergestellt und vertrieben werden können.

Software schreiben vor Verfügbarkeit

Die offene Befehlssatz-Architektur RISC-V kostet keine Patentgebühren und bietet ein hohes Maß an Standardisierung, Erweiterbarkeit und Herstellerunabhängigkeit. Dadurch gelten die Prozessoren als besonders zukunftssicher.

Um Software für solche Chips schreiben zu können, ohne auf die Produktion warten zu müssen, hat der DFKI-Forschungsbereich Cyber-Physical Systems unter der Leitung von Prof. Dr. Rolf Drechsler zum 1. August 2019 das Projekt VerSys gestartet. Entstehen soll eine offene Verifikationsplattform, auf der Software mithilfe eines virtuellen RISC-V-Chips getestet werden kann. Das Projekt VerSys wird vom Bundesministerium für Bildung und Forschung mit rund 1,6 Millionen Euro gefördert.

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‘) helfen.

Das Ziel ist eine quelloffene Verifikationsplattform, die skalierbar, modular und korrekt ist und zudem leicht an die Anforderungen der Nutzer angepasst werden kann. Die Plattform soll im Anschluss mithilfe von Industriepartnern weiterentwickelt und industriell einsetzbar gemacht werden.

Am Ende der Projektlaufzeit von drei Jahren erhofft sich der DFKI-Forschungsbereich Cyber-Physical Systems ein Ökosystem aus kleineren Firmen, das sich um die Plattform herum entwickelt und verschiedene Dienste anbietet.

Frühzeitige 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 Internet der Dinge. Der Bedarf der geplanten Verifikationsplattform zum frühzeitigen Softwaretest zeigt sich nach Angaben des Forschungsinstitutes bereits durch reges Interesse der Industrie. Auch Startups könnten 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.

Das könnte Sie auch interessieren:

Beitrag zum digitalen Zwilling
PTC tritt IDTA bei

Die Industrial Digital Twin Association hat mit PTC ein neues Mitglied. Gestartet mit 23 Organisationen, umfasst die Initiative nun 94 Mitglieder.‣ weiterlesen

KI-basierte Software
Zusammenbau per AR-Anleitung

Industrielle Montagelinien sind vielfältig: Einige arbeiten mit häufig wechselnden Produktaufbauten, während sich andere durch komplexe Prozesse und hohen Abstimmungsbedarf zwischen Werker und weiteren Experten auszeichnen. Das Fraunhofer IGD will Anwender mit einer Kombination aus Augmented Reality (AR) und künstlicher Intelligenz (KI) unterstützen.‣ weiterlesen

Neuer Rekord
Neuer 1 Million Roboter in der Autoindustrie weltweit

Rund 1 Million Industrieroboter werden allein im Automotive-Bereich eingesetzt. Laut der International Federation of Robotics ein Rekordwert. Das größte Wachstum beobachtet der Robotik-Verband derzeit in China.‣ weiterlesen

Sichere Firewall
4 grundlegende Tipps

Firewalls gehören in Unternehmen zu den wichtigsten Sicherheitskomponenten, um das Netzwerk vor Angriffen zu schützen. Mehr noch, im integrierten und vernetzen Zusammenspiel mit weiteren Security-Lösungen, beispielsweise für die Endpoint-, Mobile- oder Cloud-Security und mit den immer wichtigeren Security-Services durch menschliche Experten, fügt sich die Firewall in ein ganzheitliches Security-Ökosystem ein, das alle IT-Bereiche im Unternehmen bestmöglich vor Angriffen und vor Schäden bewahren kann.‣ weiterlesen

Aus- und Weiterbildung
VDI bietet Big-Data-Schulungen an

Auf Grundlage der im November 2022 veröffentlichten Richtlinie VDI/VDE-MT 3714 bietet der VDI Schulungen für die Implementierung und den Betrieb von Big-Data-Anwendungen an. ‣ weiterlesen

Überwachungsbedürftige Anlagen
Anforderungen an Cybersecurity konkretisiert

Die Anforderungen an die Cybersecurity von überwachungsbedürften Anlagen werden deutlich konkretisiert. Betreiber müssen mögliche Gefährdungen ihrer Anlagen durch Cyberangriffe ermitteln und wirksame Gegenmaßnahmen entwickeln. Die zugelassenen Überwachungsstellen (ZÜS) werden zukünftig überprüfen, ob Cyberbedrohungen im Zusammenhang mit dem sicheren Betrieb der Anlagen ausreichend behandelt wurden.‣ weiterlesen

19. Deutscher IT-Sicherheitskongress
Eröffnung des Anmeldeportal für den digitalen Kongress

Mit dem Start der Anmeldung öffnet das Bundesamt für Sicherheit in der Informationstechnik (BSI) die digitalen Pforten für den 19. Deutschen IT-Sicherheitskongress. Am 10. und 11. Mai 2023 findet der Kongress unter dem Motto 'Digital sicher in eine nachhaltige Zukunft' digital statt.‣ weiterlesen

Neue Variante ausgebrochen
USB-Wurm überquert gleich drei Kontinente

Die längst verstaubt geglaubte Masche des 'Ich lasse mal einen USB-Stick mit Schadsoftware auf Parkplätzen zum Mitnehmen herumliegen' wurde doch tatsächlich noch einmal aus der Cybercrime-Kiste geholt.‣ weiterlesen

KI-Funktionen in Standardsoftware
Qualitätsmanagement-System mit integrierter KI

Softwareanbieter Consense ergänzt sein Qualitätsmanagement-System um KI-gestützte Funktionen. Die Algorithmen sollen helfen, Prozesse zu automatisieren und einfacher zu gestalten. ‣ weiterlesen

Sonicwall Cyber Threat Report 2023
Neue Cyberfronten und verändertes Verhalten von Bedrohungsakteuren

Sonicwall hat den Sonicwall Cyber Threat Report 2023 veröffentlicht. Dieser zweimal jährlich erscheinende Bericht gibt Einblicke in eine zunehmend diversifizierte Cyberbedrohungslandschaft und die sich verändernden Strategien der Bedrohungsakteure.‣ weiterlesen

Smart Factories schützen
Secure Digital Platform sorgt für umfassende IT-Sicherheit

Smart Factories bieten eine breite Angriffsfläche für Cyberattacken. Deshalb sichert die Freie Universität Bozen ihre 'Smart Mini Factory', eine Lernfabrik für Industrie-4.0-Technologien, mit der Endian Secure Digital Platform. Neben umfassender IT-Sicherheit ermöglicht die Plattform die Nutzung von Edge Computing und das Management von Rollen und Rechten.‣ weiterlesen