The consortium consists of full partners and associate partners . All full partners are involved in research.
Associate partners submit case studies and assess the results.
The project is advised by an industrial Steering Committee . Summary Embedded, safety critical computer systems are of growing importance in our everyday life. Embedded control systems for aircraft, railways, or even cars, are well-known examples of reactive systems. Most plants now involve complex reactive systems for monitoring and supervision. Communication protocols or man-machine interfaces are also reactive systems.