Inria
/
Raweb 2005
Presentation of the Project Espresso
Logo Inria
Espresso
Environnement de spécification de programmes réactifs synchrones
2005 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
The APEX RTOS library
Signal-Meta, MIMAD, and their Interpreters
SystemCXML: Extracting SystemC structural information
A model of Signal in Coq
New Results
The UML profile MARTE for Real-Time and Embedded Systems Design
SIGNAL Metamodel
Compositional modeling and transformation of multi-clocked mode automata
A modeling paradigm for Integrated Modular Avionics design
Dealing with Real-Time Issues within the Polychronous Framework
A methodology to automatic building of formal models from SystemC description
Extreme Formal Modeling
Co-design with data-flow and polyhedral models
Synthesis of GALS architectures
Verification of GALS architectures
Toward multi-clocked synchronous stream functions
New features in Polychrony
Contracts and Grants with Industry
Carroll project Protes (10/2003-10/2005)
Network of excellence Artist2
Other Grants and Activities
INRIA associated projects program
Dissemination
Advisory
Conferences
Events
Thesis
Teaching
Visits
Bibliography
Major publications
Publications of the year
References in notes
