Inria
/
Raweb 2008
Presentation of the Project Espresso
Logo Inria
Espresso
Modélisation de systèmes réactifs polychrones
2008 Research Team Activity Report
Rennes - Bretagne-Atlantique
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Context and motivations
The polychronous approach
Scientific Foundations
Application Domains
Software
The Polychrony workbench
Integrated Modular Avionics design using Polychrony
Multi-clocked mode automata
Eclipse plugins for Polychrony
New Results
New features of Polychrony
New features of the Eclipse plug-ins
Polychrony integration in the TopCased platform
Merging synchrony and asynchrony in a uniform framework
Periodic clock relations
A contract-based module system
Verification of GALS architectures
Virtual prototyping of avionic architecture descriptions
Modular compilation of imperative synchronous programs
Virtual prototyping of imperative programs
Contracts and Grants with Industry
Network of excellence Artist2
RNTL project OpenEmbeDD
ANR project Topcased
RNTL project Spacify
ANR project FotoVP
EADS Grant
Dissemination
Advisory
Conferences
Thesis
Teaching
Visits
Bibliography
Major publications
Publications of the year
References in notes
