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, http://www.speeds.eu.com/ ).
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:
-
Construction of early system prototypes during the design stage.
-
Thorough quality and stability assessment at early design stages.
-
Active treatment of design assumptions to guide system development.
-
Support for concurrent multi-organization development of complex designs.
For ensuring a good acceptance of the SPEEDS approach from the industrial partners, system modeling will be adressed using the following layers:
-
Users will stay with their usual design tools and high-level languages;
-
A SPEEDS core meta-model will provide a low-level common modeling language, independant from the pre-cited tools. Translation from these high-level languages to the core meta-model will be ensured;
-
A rigorous formal semantics of the core meta-model will ensure the consistency of SPEEDS modeling and provides a basis for system analysis.
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.
