Speaker
Summary
Das Projekt "Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie" (HPSV) hat zum Ziel, Methoden aus dem HPC-Bereich für die Analyse komplexer nebenläufiger Softwaresysteme zu entwickeln und einzusetzen. Als konkretes Anwendungsfeld dient dabei die Software automobiler eingebetteter Systeme.
Die Anwendung von Techniken des Hochleistungsrechnens auf die Sicherheitsanalyse und Fehlersuche in Software eingebetteter Systeme ist neu und eröffnet die Möglichkeit größere Codemengen mit höherer Genauigkeit zu analysieren. Bei der Entwicklung von Analysealgorithmen steht deren Skalierbarkeit sowohl auf Manycore-Architekturen als auch auf modernen HPC-Architekturen mit sehr vielen Kernen (z.B. Cray XC40) im Vordergrund. Dadurch ist sichergestellt, dass weniger komplexe Verifikationsprojekte auch auf preisgünstigeren Manycore-Clustern vor Ort beim Anwender ausgeführt werden können, während für sehr große Simulationsprozesse die Dienstleistungen der HPC-Zentren genutzt werden können.
Wir stellen das Verbundprojekt HPSV näher vor und berichten über aktuelle Ergebnisse.