- 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.
Take a look at the following presentation to get a better idea of Project P.
Dissemination and media coverageAdditional 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
If you are a member of the project, you can access the wiki here.