HPSV 2016-2019: Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie

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.