Arbeitsgruppe Zuverlässige Systeme

HPSV Projekt gestartet

04.02.2016

Das 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. Unsere AG Zuverlässige Systeme hat die Projektleitung inne.