S4 Research team

System synthesis and supervision, scenarios

Team presentation

The project-team aims at synthesising, by automated method, reactive and distributed systems from partial and heterogeneous specifications. More precisely, we develop methods, algorithms and tools which allow for the synthesis of software from one or several incomplete descriptions specifying the expected behaviour of a system to be realized. Four kinds of requirements can be considered: functional requirements (synchronisation, conflicts, communication), control (safety, reachability, liveness), architectural (mapping, separation), or even quantitative performances (end-to-end response time, communication cost, throughput, etc).

These techniques are best studied on basic models: automata, Petri nets, event structures and their timed extensions. Results are then adapted to those more realistic but often complex models that are commonly used in the telecommunication industry or for the design of production systems.

Research teams of the same theme :

Inria Headquarters and research centres

Direct links

Social