Project-P Open Workshop

Model-driven engineering and qualifiable code generator

http://www.open-do.org/projects/p/

Project P is a three-year research project 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).

With the project now drawing to an end comes the final presentation of all the work that has been produced over the past 3 years...

Continental France, Project P leader, and all the project partners are pleased to invite you to the presentation of the final results of Project P

The event will take place on Tuesday 16th June 2015 from 1:30pm to 5:30pm at Pôle Systematic - Palaiseau, Amphitheatre building N°3 - Nano-Innov

To find out more about access, please click here: http://www.systematic-paris-region.org/sites/defau...

Agenda

1:45pm - 2:00pm: Welcome

2:00pm - 4:00pm : Presentations

Introduction to Project-P (Continental)

Development and qualification of a generic code generation framework (ACGs)

QGen: a qualifiable code generator for Simulink/Stateflow models (AdaCore)

Operational use of a code generator (Sagem and Thales Alenia Space)

Overview of other generators used in the project (AdaCore)

A code generator for UML models (ATOS Origin)

A formal verification perspective (IRIT)

4:00pm - 5:30pm : Workshop Demonstrations

Model Verification and Code Generation with QGen (AdaCore)

Hardware code generation with GAUT (LabSticc)

Software code generation for XCOS models (Scilab Enterprise)

Code generation from NSP language and Scicos (Inria/Altair/ENPC)

Multi-formalism (UML and Simulink) code generation (ATOS/AdaCore)

Generated code interoperability and schedulability analysis with SynDEx (INRIA)

Verification of formal requirements for generated code (IRIT, ONERA)

Description of formal requirements for generated code (IRIT)

Registration is mandatory and closes on June 10th 2015 …to do so, please click here

Philippe CUENOT
Continental Automotive France
Tel : 05-61-19-88-88
philippe.cuenot@continental-corporation.com