Inria
/
Raweb 2006
Presentation of the Project Espresso
Logo Inria
Espresso
Modélisation de systèmes réactifs polychrones
2006 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
Affine clock calculus
A meta-model of Polychrony
New Results
The UML profile MARTE for Real-Time and Embedded Systems Design
A meta-model of Polychrony
Multi-clocked mode automata
A modeling paradigm for Integrated Modular Avionics design
An Eclipse plugin for Polychrony
Rapid Prototyping of Heterogeneous Real-time Systems
New features of Polychrony
Synthesis of latency-insensitive systems
Periodic clock relations
Contracts and Grants with Industry
Carroll project Cortess (10/2006-10/2007)
Network of excellence Artist2
Sub-contractant for MBDA
Fondation EADS Grant
AESE project Topcased
RNTL project OpenEmbeDD
Rockwell-Collins France
IST project Speeds
Other Grants and Activities
INRIA associated projects program
Dissemination
Advisory
Conferences
Events
Teaching
Visits
Bibliography
Major publications
Publications of the year
References in notes
