Presentation

Καιρος (Kairos) is working on 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.
Καιρος aims at leveraging existing formal approaches from the theories of concurrency and scheduling to different application domains. As a starting point, Καιρος intends to deal with three domains (not entirely disjoint):

  • Cyber-Physical System (CPS) Engineering (early specification phases)
    • Behavioral semantics driven Heterogeneous and Multi-view modeling
    • Formally defined Co-simulation
  • Formal analysis of Reactive Programming for Connected Objects
  • Application-Architecture Co-design for scheduling and allocation reasoning
    • Efficient Hardware/Software Interaction
    • Efficient Software Massage for Hardware Adaptation

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.

Comments are closed.