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.