Project-team

KAIROS

Multiform Logical Time for Formal Cyber-Physical System Design
Multiform Logical Time for Formal Cyber-Physical System Design

Kairos is working on how methods and tools to manage concurrency and time at different levels of abstraction. More precisely Καιρος studies the use of (formal) Logical Time, associated with Model-Based Design and Algorithm/Architecture Adaptation (AAA) approaches, for the modeling and analysis of Embedded and Cyber-Physical Systems. The Logical Time design approach, in which any relevant sequence of meaningful events can be seen as generating an abstract Logical Clock, is an extension of Synchronous Language and Scheduling Theories altogether: Multiform Logical Clocks are used for specification, and the resolution into physical time behaviors is only performed for temporal verification and implementation.

The Kairos team is a follow-up of the Aoste project-team

Centre(s) inria
Sophia
In partnership with
CNRS,Université Côte d'Azur