HYCOMES

Head of team
Benoît CAILLAUD (Researcher at Inria)

HYCOMES, Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems

Our vision is that hybrid systems modeling tools deserve similar efforts in theory as synchronous languages did for the programming of embedded systems.

Scientific field and research theme

The work of the Hycomes team revolves around one application: cyberphysical systems engineering, combining physical and software models.

Two lines of research are privileged:

  1. modeling and simulation of hybrid systems, combining dynamics in continuous and discrete time;
  2. contract design methods for cyberphysical systems.

The team's work meets the following objectives

  • The design of modeling languages for hybrid systems allowing a modeling style close to physics;
  • The development of accurate simulation techniques, allowing to simulate models with guaranteed semantics;
  • The design of compilation techniques for hybrid languages allowing separate compilation and improving the reusability of component models;
  • The use of contract reasoning techniques, allowing the expression and verification, by compositional methods, of the specifications of cyber-physical systems.

 

Creation date
30/06/2015
Reporting institution
Inria
Location
Campus de Beaulieu, RENNES (35)
Activity reports
Attachment Size
HYCOMES-RA-2022.pdf 493.63 KB
HYCOMES-RA-2021.pdf 536.06 KB
celtique2019_1.pdf 401.31 KB
celtique2018_1.pdf 409.88 KB
celtique2017_1.pdf 411.64 KB