Home
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)
In collaboration with: Laboratoire informatique, signaux systèmes de Sophia Antipolis (I3S)
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