Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

2017 Team Activity Report
Models and methods of analysis and optimization for systems with real-time and embedded contraints
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
Computer Science and Digital Science:
  • A1.3. - Distributed Systems
  • A1.5.2. - Communicating systems
  • A2.1.1. - Semantics of programming languages
  • A2.1.8. - Synchronous languages
  • A2.1.10. - Domain-specific languages
  • A2.2.3. - Run-time systems
  • A2.2.4. - Parallel architectures
  • 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
  • A2.4.3. - Proofs
  • A8.2. - Optimization
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