Previous | 
Home
Section: Partnerships and Cooperations
National Initiatives
ANR
RT-Simex
Participants : Julien deAntoni, Frédéric Mallet.
The RT-Simex project is dedicated to the reverse engineering of analysis traces of simulation and execution back up to the source code, or in our case most likely into the original models in a Marte profile representation. The prime contractor is Obeo , a software publishing company based in Nantes. The project ended in April 2012.
HeLP
Participants : Carlos Gomez Cardenas, Ameni Khecharem, Robert de Simone, Jean-Vivien Millo.
The ANR HeLP project deals with joint modeling of functional behavior and energy consumption for the design of low-power heterogeneous SoCs. Partners are ST Microelectronics and Docea Power (SME) as industrial; Inria, UNS (UMR LEAT), and VERIMAG (coordinator) as academics. Our goal in this project is twofold: first, combine SoC modeling with temporal behavior and logical time with energy/power modeling as extra annotations on MARTE models; second, compare the capacities of high-level SystemC TLM abstraction with that of Esterel seen as a multiclock formalism based on logical abstract time.
The PhD thesis of Carlos Gomez, while not formerly funded by this project, is closely linked to its results (by providing a MDE metamodel with non-functional multiview aspects, such as performance, power and temperature. Several transformation links were realized, towards AcePlorer tool by DOCEA POWER, partner of the project, or also (as part of Ameni Khecharem internship) towards Scilab for simulation execution. Some of this work will be continued in the forthcoming ANR HOPE project.
HOPE
Participants : Carlos Gomez Cardenas, Ameni Khecharem, Robert de Simone.
This project was only recently started, with a kick-off meeting in November. Original proponents were UMR LEAT, Texas Instruments, Synopsys, Docea Power, Magillem, and ourselves. It seems that, due to internal reorganisation, TI might withdraw from the project. Other major semiconductor industrial partners in PACA are being approched for replacement (mainly Intel). The purpose of the HOPE project is to focus on high-level modeling and early estimation of hierarchical power management techniques, with potential synthesis in the end if feasible.
GeMoC
Participants : Matias Vara Larsen, Julien deAntoni, Frédéric Mallet.
This project was only recently started, with a kick-off meeting in December. It is admistratively handled by CNRS for our joint team, on the UMR I3S side. Partners are Inria (Triskell EPI), ENSTA-Bretagne, IRIT, Obeo, Thales TRT.
The project focuses on the modeling of heterogeneous systems using Models of Computation and Communication for embedded and real-time systems, described using generic means of MDE techniques (and in our case the MARTE profile, and most specifically its Time Model, which allows to specify precise timely constraints for operational semantic definition).
FUI
FUI P
Participants : Abderraouf Benyahia, Dumitru Potop Butucaru, Yves Sorel.
The goal of project P is to support the model-driven engineering of high-integrity embedded real-time systems by providing an open code generation framework able to verify the semantic consistency of systems described using safe subsets of heterogeneous modeling languages, then to generate optimized source code for multiple programming (Ada, C/C++) and synthesis (VHDL, SystemC) languages, and finally to support a multi-domain (avionics, space, and automotive) certification process by providing open qualification material. Modeling languages range from behavioural to architectural languages and present a synchronous and asynchronous semantics (Simulink/Matlab, Scicos, Xcos, SysML, MARTE, UML),
See also: http://www.open-do.org/projects/p/
Partners of the project are: industrial partners (Airbus, Astrium, Continental, Rockwell Collins, Safran, Thales), SMEs (AdaCore, Altair, Scilab Enterprise, STI), service companies (ACG, Aboard Engineering, Atos Origins) and research centers (CNRS, ENPC, Inria, ONERA).
FUI PARSEC
Participants : Dumitru Potop Butucaru, Thomas Carle, Zhen Zhang, Yves Sorel.
The PARSEC Project aims at providing development tools for critical real-time distributed systems requiring certification according to the most stringent standards such as DO-178B (avionics), IEC 61508 (transportation) or Common Criteria for Information Technology Security Evaluation. The approach proposed by PARSEC provides an integrated toolset that helps software engineers to meet the requirements associated to the certification of critical embedded software. Partners of the project are: Alstom, Thales, Ellidiss, OpenWide, Systerel, CEA, InriaS, Telecom ParisTech.