Arbeitsgruppe Zuverlässige Systeme

BMBF HPSV (2016-19)

11.12.2015

Im Rahmen des BMBF Verbundprojekts "Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie" (HPSV) befassen wir uns in einem Teilprojekt mit der Entwicklung und Implementierung paralleler Verfahren zur Simulation und statischen Analysen von Modellen eingebetteter Systeme mit mehreren Rechenkernen (multicore). Das primäre Anwendungsfeld und die entsprechenden Kooperationspartner kommen aus der Automobilindustrie. Die zu entwickelnden Verfahren finden natürlich auch in anderen Bereichen ihre Anwendung.

Unsere Gruppe leitet das Verbundprojekt.

Projektzeitraum: 01.02.2016 bis 31.01.2019

Förderkennzeichen: 01IH15006A

Fördersumme: 450.000 EUR

HPSV