EN FR
EN FR


2017 Team Activity Report
AOSTE2
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
Keywords:
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