BMBF-Projekt HPSV

Logo HPSVDas BMBF-Projekt HPSV (Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie ) ist heute gestartet. Zusammen mit dem Zuse Institut Berlin (A. Reinefeld), der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion der CAU zu Kiel (M. Hanus) und den Industriepartnern Model Engineering Solutions und Symtavision werden wir die Lösung anspruchsvoller Verifikationsaufgaben mittels Techniken des Hochleistungsrechnens erforschen. Die AG Zuverlässige Systeme hat die Projektleitung inne.

Projektzeitraum: 01.02.2016 bis 31.01.2019

Förderkennzeichen: 01IH15006A