Inria
/
Raweb 2007
Presentation of the Project Espresso
Logo Inria
Espresso
Modélisation de systèmes réactifs polychrones
2007 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
A model of Signal in Coq
An Eclipse plugin for Polychrony
Multi-clocked mode automata
New Results
New features of Polychrony
New features of the Eclipse plug-ins
Periodic clock relations
Compositional design of isochronous systems
A contract-based module system
Verification of GALS architectures
Virtual prototyping of avionic architecture descriptions
Contracts and Grants with Industry
IST project Speeds
Network of excellence Artist2
RNTL project OpenEmbeDD
ANR project Topcased
RNTL project Spacify
ANR project FotoVP
Fondation EADS Grant
Other Grants and Activities
INRIA associated projects program
Dissemination
Advisory
Conferences
Thesis
Teaching
Visits
Bibliography
Major publications
Publications of the year
References in notes
