Presentation

Kairos is a join team between the I3S CNRS lab and Inria. Its members work on methods and tools to manage the development of Cyber Physical Systems. Our aim is to make a seamless use of formal approaches (and specifically Logical Time) within the engineering workflow all along the development process.
We address more specifically:

  • the handling of concurrency and time at different levels of abstraction (from formal languages to implementation)
  • the modeling and analysis of Embedded and Cyber-Physical Systems.
  • the safe and requirement-aware deployment of IoT-CPS systems
  • the handling of heterogeneous modeling and formally defined co-simulation

The full initial Kairos proposal presented to Inria and UCA is available here.
The Kairos team is a follow-up of the Aoste project-team

Kairos team drives an Associated-Team with East China Normal University called PLoT4IoT.