Καιρος (Kairos) is working on how to correctly manage concurrency and time at different levels of abstraction in the development process.
More precisely Καιρος studies the use of (formal) Logical Time, associated to 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, can be seen as 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.
Καιρος has the will to adapt existing formal approaches about concurrency theory and scheduling to different practices and domains. As a starting point, Καιρος wants 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
The Kairos team is a follow-up of the Aoste project-team