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.