Home
2018 Team Activity Report
KAIROS
Logical Time for Formal Embedded System Design
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre:
Sophia Antipolis - Méditerranée
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