Section: Overall Objectives
Highlights
In 2009 version 1.0 of the UML Marte profile was adopted at OMG (officially as First Revision).
Team
aoste
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- K-periodically Routed extended Event Graphs
- CCSL: syntax and semantics
- UML profiles
- A semantic model for domain-specific languages
- Interoperability and system-level validation of IP component blocks
- Virtual Platform modeling
- Executable Timed Requirements for automotive applications
- Monoprocessor real-time scheduling
- Multiprocessor real-time scheduling
- Clock-driven real-time implementation of synchronous specifications
- From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography