Personnel
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


2017 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).

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. - 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.4.1. - Computer science