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

Gefördert durch BMBF

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.

Kontaktieren Sie uns

Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Managing Director
Was ist die Summe aus 7 und 1?

* Pflichtfeld

Bitte rechnen Sie 6 plus 1.