Gefördert durch BMBF
HPSV 2016-2019: Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie
Projektpartner
Model Engineering Solutions GmbH (MES) Zur "Über uns"-Seite von MES gehen
Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB), Luxoft, Universität Kiel
Ansprechpartner: Prof. Dr. Dirk Nowotka, Universität Kiel
Projektbeschreibung
Die Anwendung von Techniken aus dem Hochleistungsrechnen eröffnet neue Möglichkeiten in der Softwareanalyse. Die Effektivität von Methoden zur Überprüfung komplexer Software kann somit auf ein bisher unerreichtes Niveau gehoben werden. Während der Sicherheitsanalyse und Fehlerbehebung in eingebetteter Systemsoftware können größere Code-Mengen mit höherer Genauigkeit analysiert werden. Das Ziel des Projekts bestand darin, Methoden aus dem HPC-Bereich zur Analyse komplexer nebenläufiger Softwaresysteme zu entwickeln und diese in eingebetteten Systemen der Automobilindustrie anzuwenden.