Home
2015 Team Activity Report
HYCOMES
Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
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:
Rennes - Bretagne-Atlantique
Keywords:
Computer Science and Digital Science:
- 2. - Software
- 2.1. - Programming Languages
- 2.1.1. - Semantics of programming languages
- 2.1.10. - Domain-specific languages
- 2.1.5. - Constraint programming
- 2.1.8. - Synchronous languages
- 2.2. - Compilation
- 2.3. - Embedded and cyber-physical systems
- 2.3.2. - Cyber-physical systems
- 2.4. - Reliability, certification
- 2.4.1. - Analysis
- 2.4.2. - Verification
- 2.5. - Software engineering
- 6. - Modeling, simulation and control
- 6.1. - Mathematical Modeling
- 6.1.1. - Continuous Modeling (PDE, ODE)
- 6.1.5. - Multiphysics modeling
Other Research Topics and Application Domains:
- 4. - Energy
- 5. - Industry of the future
- 5.2. - Design and manufacturing
- 5.2.1. - Road vehicles
- 5.2.2. - Railway
- 5.2.3. - Aviation
- 5.2.4. - Aerospace
- 5.9. - Industrial maintenance
- 7. - Transport and logistics
- 7.1. - Traffic management
- 7.1.3. - Air traffic
- 8.1. - Smart building/home
- 8.1.1. - Energy for smart buildings