Team
Espresso
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- The UML profile MARTE for Real-Time and Embedded Systems Design
- A meta-model of Polychrony
- Multi-clocked mode automata
- A modeling paradigm for Integrated Modular Avionics design
- An Eclipse plugin for Polychrony
- Rapid Prototyping of Heterogeneous Real-time Systems
- New features of Polychrony
- Synthesis of latency-insensitive systems
- Periodic clock relations
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography