ARAMiS (Automotive, Railway and Avionics Multicore Systems)
The BMBF-joint project ARAMiS has set the goal to improve security, transport efficiency and comfort in the mobility domains automotive, avionics and railway by creating its technological foundation, using multi-core technology. The workgroup Dependable Systems is looking at how quality can be ensured when porting code from embedded systems with a singlecore to future multicore systems Mathematical methods and instruments help finding possible sources of mistakes, like deadlocks in concurrent programs and are of high interest for safety-critical applications.