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.