Hycomes: Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems

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 multi-physics embedded systems design;
  • Contract-based design and interface theories, with applications to requirements engineering.