Section: Overall Objectives

Overall Objectives

Hycomes has been created as a new team of the Rennes — Bretagne Atlantique Inria research center in July 2013. The team builds upon the most promising results of the former S4 team-project and of the Synchronics large scale initiative. Two topics in embedded system design are covered:

• Hybrid systems modelling, with applications to the design of multi-physics embedded systems, often referenced as cyber-physical systems;

• Contract-based design and interface theories, with applications to requirements engineering in the context of safety-critical systems design.