- 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).
- Generate optimized source code for multiple programming (Ada, C/C++) and syntesis (VHDL, SystemC) languages.
- 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).
Take a look at the following presentation to get a better idea of Project P.
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, paper and slides
- EE Times
- Electornic Specifier
- Silicon.fr
If you are a member of the project, you can access the wiki here.