EN FR
Homepage Inria website

Bilateral Contracts and Grants with Industry
Bibliography


2019 Project-Team Activity Report
Kairos
Multiform Logical Time for Formal Cyber-Physical System Design
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