Section: Other Grants and Activities
Relations with other INRIA teams
We have strong ties with INRIA teams ESPRESSO and DaRT through the PROTES initiative on synchronous and more generally RTE (Real-Time Embedded) modeling in UML. We conduct joint work with POP-ART on fault tolerance and adaptive scheduling for robotic applications. Together with the S4 team we regularly attend the same events gathering the ``Synchronous languages'' community.
We also collaborate with IMARA team which develops with SynDEx new applications onto automatic vehicles such as the CyCab, and with METALAU on coupling of Scilab/Scicos with AAA/SynDEx. Historical links are preserved with the team SOSSO, on adaptive scheduling for applications mixing soft and hard real-time.
RNTL platform Open-eMbeDD
This collaboration has just been accepted in the RNTL Call for Proposals on Embedded System design. It is due to start beginning of year 2006. The partners are: INRIA, CEA-List, Thales, Airbus, France Telecom, CS, LAAS, and VERIMAG. The focus is on the use of model-driven approaches to combine various specification formalisms, analysis and modeling techniques, into an interoperable framework. We contribute in this direction through the MARTE profile, our work on compilation-by-transformation of synchronous program, and the AAA-SynDEx methodology.
RNTL project MemVatex
This collaboration has just been accepted in the RNTL Call for Proposals on Embedded System design. It is due to start beginning of year 2006. The partners are: Siemens-VDO, INRIA, CEA-List, CNRS-UTC, and Embelec. The focus is on the use of a model-based approach to the modeling of automotive components, and specially on the validation and tracability aspects of such a design flow.
RNTL project ECLIPSE
The goal of Eclipse is to providea seamless environment from specification/modeling/simulation with Scilab/Scicos to optimized implementation with AAA/SynDEx. It was started in 2003 for a duration of two years and a half. The partners are: PSA, CS-SI, CRIL, ESIEE, INRIA. A translator from Scicos to SynDEx algorithm is now available. It has been used by PSA to model, simulate and implement onto a multi-processor architecture, a complex application coupling an assisted steering with an ESP.
CNRS AS CAT
The Specific Action (AS) CAT (Composants Architectures Temps réel) has been created at CNRS with the objective of finding new research directions in the domain of component based engineering for real-time and embedded architecture design.
The partners of the AS are working in different domains such as software engineering, realtime systems and model checking. The main idea is to promote the component at the early stage of the developpement phase, and to integrate in a component informations about its execution support and some physical characteristics such (performances, QoS ...).
The delivery report of the AS has been published in March 2005  .