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