idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
28.08.2019 10:21

Neue Open-Source-Plattform VerSys erlaubt frühzeitige Softwaretests durch virtuelle Chips

Jens Peter Kückens DFKI Bremen
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

    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


    Bilder

    VerSys Illustration
    VerSys Illustration
    DFKI GmbH, Grafik: Lisa Jungmann
    None


    Merkmale dieser Pressemitteilung:
    Journalisten, Wirtschaftsvertreter, Wissenschaftler
    Elektrotechnik, Informationstechnik, Maschinenbau, Medien- und Kommunikationswissenschaften, Physik / Astronomie
    überregional
    Buntes aus der Wissenschaft, Forschungsprojekte
    Deutsch


     

    VerSys Illustration


    Zum Download

    x

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

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