HPSV 2016-2019: Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie
Gefördert durch BMBF
Projektpartner: Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB), Luxoft, Universität Kiel
Ansprechpartner: Prof. Dr. Dirk Nowotka, Universität Kiel
Die Anwendung von Techniken des Hochleistungsrechnens eröffnet neue Wege in der Softwareanalyse. Die Leistungsfähigkeit von Verfahren zur Verifikation komplexer Software kann somit auf ein bisher unerreichtes Codemengen mit höherer Genauigkeit analysiert werden können. Ziel des Projektes war die Entwicklung von Methoden aus dem HPC-Bereich für die Analyse komplexer nebenläufiger Softwaresysteme und deren Anwendung auf automobile eingebettete Systeme.