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


2019 Team Activity Report
KOPERNIC
Keeping wOrst case reasoning aPpropriatE foR differeNt critICalities
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: Paris

Field: Algorithmics, Programming, Software and Architecture
Theme: Embedded and Real-time Systems
Keywords:
Computer Science and Digital Science:
  • A1.1.1. - Multicore, Manycore
  • A1.5. - Complex systems
  • A1.5.1. - Systems of systems
  • A1.5.2. - Communicating systems
  • A2.3. - Embedded and cyber-physical systems
  • A2.3.1. - Embedded systems
  • A2.3.2. - Cyber-physical systems
  • A2.3.3. - Real-time systems
  • A2.4.1. - Analysis
Other Research Topics and Application Domains:
  • B5.2. - Design and manufacturing
  • B5.2.1. - Road vehicles
  • B5.2.2. - Railway
  • B5.2.3. - Aviation
  • B5.2.4. - Aerospace
  • B6.6. - Embedded systems