Team Espresso

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Contracts and Grants with Industry

IST project Speeds

Participants : Lionel Morel, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin.

The Espresso project-team is involved in the activity of the IST project SPEEDS (Speculative and Exploratory Design in Systems Engineering, ).

SPEEDS is a concerted effort to define the new generation of end-to-end methodologies, processes and supporting tools for safety-critical embedded system design. It aims at improving substantially the competitiveness of the European industry in this critical economic sector by marrying design competence with deep technical insights and theoretical foundations.

The project will enable European systems industry to evolve from model-based design of embedded systems, towards integrated component based construction of complete virtual system models. It will include:

For ensuring a good acceptance of the SPEEDS approach from the industrial partners, system modeling will be adressed using the following layers:

The project thus includes the definition of a formal model for heterogeneous embedded systems called "HRC" for Heterogeneous Rich Components.

The contribution of the Espresso project-team is to demonstrate how the design of such HRC-based systems can benefit from the existing design and validation experience related to Polychronous systems.

Starting from SignalMeta[19] , a profile implementing the Polychronous MoCC[9] , a Polychronous Profile will be defined as a library of derived concepts for the HRC meta-model. This will define a one-to-one mapping between the Polychronous MoCC and the Polychronous Profile of HRC. Symmetrically, a mapping (eventually partial) from HRC to the Polychronous Profile will be developped.


Logo Inria