Dependable Systems Group

BMBF ARAMiS (2012-15)

May 07, 2012

Within the framework of the BMBF (Federal Ministry of Education and Research) program Automotive, Rail and Avionics Multicore Systems (ARAMiS) we investigate the reuse of legacy code of embedded single core systems for upcoming multicore systems. Our tools and methods are to support the detection of possible faults, like race conditions, of programs working in parallel.

Duration: April 2012 until November 2014 (extended with additional funds until March 2015)

Funds: 272,500 EUR (+ 41,700 EUR)