Project P

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:

1. Verify the semantic consistency of systems described using safe subsets of heterogeneous modeling languages, ranging from behavioural to architectural languages and presenting a synchronous and asynchronous semantics (Simulink/Matlab, Scicos, Xcos, SysML, MARTE, UML).
2. Generate optimized source code for multiple programming (Ada, C/C++) and syntesis (VHDL, SystemC) languages.
3. Support a multi-domain (avionics, space, and automotive) certification process by providing open qualification material.

Project P is a three-years research projects funded within the French FUI 2011 funding framework. It sees the collaboration of major 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). If you are a member of the project, you can access the wiki here.

Dissemination and media coverage

Additional info and coverage of Project P can be found here:

• Bordin M, Naks T., Pantel M., Toom A.: Compiling Heterogeneous Models: Motivations and Challenges, ERTS 2012, slides
• EE Times
• Electornic Specifier
• Silicon.fr