Team Aoste2
Team, Visitors, External Collaborators
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
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2018 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.9. - Synchronous languages
  • A2.1.10. - Domain-specific languages
  • A2.2.4. - Parallel architectures
  • A2.2.5. - Run-time 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
  • 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