Sites Inria

Version française

KAIROS Research team

Logical Time for Formal Embedded System Design

Team presentation

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

Research themes

Kαιρος 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)
    • Behavioural 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

 

International and industrial relations

We hold close relations with the communities of Synchronous Reactive Languages, and Model-Based System Engineering for Cyber-Physical systems. 

We have contractual industrial collaborations with companies such as Thales Alenia Space, Thales, Safran, Airbus, Renault, as well as tool providers in the doamine of MBSE for CPS and IoT.