Home
2017 Project-Team Activity Report
HYCOMES
Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Research centre:
Rennes - Bretagne-Atlantique
In partnership with: Université Rennes 1
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)
Keywords:
Computer Science and Digital Science:
- A2. - Software
- A2.1. - Programming Languages
- A2.1.1. - Semantics of programming languages
- A2.1.5. - Constraint programming
- A2.1.8. - Synchronous languages
- A2.1.10. - Domain-specific languages
- A2.2. - Compilation
- 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. - Verification, reliability, certification
- A2.4.1. - Analysis
- A2.4.2. - Model-checking
- A2.4.3. - Proofs
- A2.5. - Software engineering
- A2.5.1. - Software Architecture & Design
- A2.5.2. - Component-based Design
- A3. - Data and knowledge
- A3.1. - Data
- A3.1.1. - Modeling, representation
- A6. - Modeling, simulation and control
- A6.1. - Mathematical Modeling
- A6.1.1. - Continuous Modeling (PDE, ODE)
- A6.1.3. - Discrete Modeling (multi-agent, people centered)
- A6.1.5. - Multiphysics modeling
- A8.4. - Computer Algebra
Other Research Topics and Application Domains:
- B2. - Health
- B2.4. - Therapies
- B2.4.3. - Surgery
- B4. - Energy
- B4.4. - Energy delivery
- B4.4.1. - Smart grids
- B5. - Industry of the future
- B5.2. - Design and manufacturing
- B5.2.1. - Road vehicles
- B5.2.2. - Railway
- B5.2.3. - Aviation
- B5.2.4. - Aerospace
- B5.8. - Learning and training
- B5.9. - Industrial maintenance
- B7. - Transport and logistics
- B7.1. - Traffic management
- B7.1.3. - Air traffic
- B8. - Smart Cities and Territories
- B8.1. - Smart building/home
- B8.1.1. - Energy for smart buildings