Team
espresso
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Polychrony and Kahn Process Networks
- An algebraic theory of data-flow processing
- New features of Polychrony
- Integration of Polychrony in the TopCased platform
- Verifications of GALS architectures
- A contract-based module system
- Virtual prototyping of avionic architecture descriptions
- A compilation tool-chain for Synoptic, a space application DSL
- Virtual prototyping of imperative programs
- A simulation infrastructure for CCSL, the timing model of UML MARTE
- Clock-driven real-time implementation of synchronous specifications
- From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations
- A Megamodel for Cartography of Software Engineering Platforms
Contracts and Grants with Industry
Other Grants and Activities
Bibliography