Inria
/
Raweb 2009
Presentation of the Project espresso
Logo Inria
espresso
Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
2009 Research Team Activity Report
Rennes - Bretagne-Atlantique
Area :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Context and motivations
The polychronous approach
Highlights
Scientific Foundations
Application Domains
Software
The Polychrony workbench
Eclipse plugins for Polychrony
Integrated Modular Avionics design using Polychrony
Multi-clocked mode automata
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
ANR project Topcased
RNTL project Spacify
ANR project FotoVP
Fondation EADS
Artemisia project CESAR
ANR project OpenEmbeDD
ITEA2 project OPEES
Other Grants and Activities
National Actions
European Actions
Research visitors
Dissemination
Advisory
Tutorials
Invited Lectures
Workshops
Conferences
Teaching
Bibliography
Major publications
Publications of the year
References in notes