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. It is widely recognised that these systems are those whose reliability is the most critical, as design or implementation errors can have disastrous consequences. Therefore, there is a crucial need, in this domain, for clean description formalisms, design and implementation methods and tools, and formal verification. During the last decade, a family of new languages have been designed, mainly in France, to program such systems. These synchronous languages are based on the abstract point of view that programs instantaneously and deterministically react to input events coming from their environment.