Dependable Systems Group

BMBF HPSV (2016-19)

Dec 11, 2015

Our group is part of the BMBF combined project "Highly Parallel Software Verification of Concurrent Applications in the Automotive Industrie" (HPSV). We are concerned with the development and implementation of parallel procedures for the simulation and verification of models of embedded multicore systems. Our primary industrial partners are from the automotive industry. The expected results will also be applicable to other areas.

Our group serves as project leader.
Duration: February 2016 until January 2019
Project number: 01IH15006A
Funds: 450,000 EUR
Zwei Studenten und eine Tasse Kaffee