Im Rahmen des BMBF Verbundprojekts “Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie” (HPSV) befasst sich die Arbeitsgruppe Zuverlässige Systeme am Institut für Informatik der CAU Kiel 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. Die Arbeitsgruppe leitet das Verbundprojekt.

Projektzeitraum: 01.02.2016 bis 31.01.2019

Projektumfang: 1,84 Mill. EUR, davon 1,46 Mill EUR öffentliche Fördermittel

Fördersumme des Teilprojekts: 450.000 EUR

Projektpartner:

Christian-Albrechts-Universität zu Kiel (Arbeitsgruppe Zuverlässige Systeme) und weitere