Project-Team Kairos
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2019 Project-Team Activity Report
Kairos
Multiform Logical Time for Formal Cyber-Physical System Design
Research centre: Sophia Antipolis - Méditerranée
In partnership with: CNRS, Université Nice - Sophia Antipolis
In collaboration with: Laboratoire informatique, signaux systèmes de Sophia Antipolis (I3S)

Field: Algorithmics, Programming, Software and Architecture
Theme: Embedded and Real-time Systems
Keywords:
Computer Science and Digital Science:
  • A1.1.1. - Multicore, Manycore
  • A1.1.2. - Hardware accelerators (GPGPU, FPGA, etc.)
  • A1.2.5. - Internet of things
  • A1.2.7. - Cyber-physical systems
  • A1.5.2. - Communicating systems
  • A2.2. - Compilation
  • A2.3. - Embedded and cyber-physical systems
  • A2.4. - Formal method for verification, reliability, certification
  • A2.5.1. - Software Architecture & Design
Other Research Topics and Application Domains:
  • B5.1. - Factory of the future
  • B5.4. - Microelectronics
  • B6.1. - Software industry
  • B6.4. - Internet of things
  • B6.6. - Embedded systems
  • B6.7. - Computer Industry (harware, equipments...)
  • B7.2. - Smart travel
  • B8.1. - Smart building/home
  • B8.2. - Connected city
  • B9.5.1. - Computer science