Home
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
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