Section: Contracts and Grants with Industry

ITEA2 project OPEES

Participants : Thierry Gautier, Yann Glouche, Yue Ma, Jean-Pierre Talpin.

The mission of OPEES is to build a community able to ensure long-term availability of innovative engineering technologies in the domain of dependable / critical software-intensive embedded systems. Its main objectives are to secure the industrial strategy, improve their competitiveness and develop the European software industry. A general kickoff meetin of the project is expected early 2010. The contribution of team Espresso in OPEES consists of the following:

• Provide the SME/Polychrony toolset as an infrastructure for the co-simulation and co-verification of embedded architectures designed with Geneauto, for its functional aspects, and AADL, for its non-functional aspects. The infrastructure will be evaluated through industry-scale case studies in collaboration with CS and Airbus

• Provide the SME/Polychrony distributed code generation and formal verification functionalities in order to provide means for model-checking automatically generated distributed C code with respect to intermediate representations of Geneauto/AADL specifications in SME/Polychrony.