Compiling Heterogeneous Models:  Motivations and ChallengesMatteo Bordin, Tonu Naks, Marc Pantel and Andres Toom          ...
The topic of this presentation                                 2
Original scope of the project (2010)• Evolve/Productize GeneAuto technology   – A model compiler for Simulink, Stateflow a...
Fast  forward  to  October  2011…                                    4
avioncis     Industrial users                   automotive         spaceTech providers                      Academia      ...
Model-based integrationQualifiable code generators Tunable & Open-Source
Positioning the P toolsetSpecification                                      •Conformity   Model                           ...
Or,  in  simpler  terms……  the  model  compiler  for                               8
Technical approach                     9
System Engineer                         Software Engineer                Automation EngineerSystem and platform           ...
Project P genealogy                      11
SPaCIFY          12
Ultimate goals: a tool provider perspective• To put an end to segregation   – Between system, software, control engineers•...
Ultimate goals: a scientist perspective• To put an end to segregation between   – System, software and control engineers  ...
The challenges                 15
Semantic convergence of DSLs (I)• P formalism is not the union of all input languages• Example: functional behavior   – Sy...
Example: semantic convergence of behavioral DSLs                     Formalism                                            ...
Semantic convergence: Current proposal• Derived mainly from TOPCASED-AADL and GeneAuto• Strong separation between   – Func...
Verification of model-based integration• Well beyond typing   – Clock constraints   – Synchronization   – Hard real time p...
Flexible & Open Qualification• Support for future input DSLs   – Separable qualification evidence for:         Importers  ...
Current state at T0+4                        21
Figuring out the consortium agreement                                        22
Synchronizing with on-going projects •   CHESS, VERDE      – Inspiration for component model and architecture modeling •  ...
Technical work• Migrating GeneAuto technology   – Due to unclear DO-178 qualifiability of technology• DO-178C –compliant q...
25
Upcoming SlideShare
Loading in …5
×

Project P erts2012

7,112 views

Published on

Matteo Bordin's presentation of the Project P and Hi-Moco research projects. These aim to address the the motivations and challenges of analysis and code generation from heterogeneous models when intra-view consistency, optimization and safety are major concerns. The full paper can be found at http://www.erts2012.org/Site/0P2RUC89/7A-2.pdf

Published in: Technology
  • Be the first to comment

  • Be the first to like this

Project P erts2012

  1. 1. Compiling Heterogeneous Models: Motivations and ChallengesMatteo Bordin, Tonu Naks, Marc Pantel and Andres Toom ERTS2 2012 – February 1st-3rd, Toulouse
  2. 2. The topic of this presentation 2
  3. 3. Original scope of the project (2010)• Evolve/Productize GeneAuto technology – A model compiler for Simulink, Stateflow and Scicos – ITEA project, 2005-2008 (see ERTS 2008/2010) – Mostly developed by IB Krates, IRIT and Alyotech – Validated in 2009-2010 by Airbus and Astrium (see ERTS 2010)• Emphasis on qualification in a DO-178 context• Small, focused project 3
  4. 4. Fast  forward  to  October  2011… 4
  5. 5. avioncis Industrial users automotive spaceTech providers Academia 5
  6. 6. Model-based integrationQualifiable code generators Tunable & Open-Source
  7. 7. Positioning the P toolsetSpecification •Conformity Model •Verifiability •Accuracy & Consistency •Compatibility Design Model • Compliance • Traceability • Accuracy • Consistency • Compliance Src Code • Robustness Executable 7
  8. 8. Or,  in  simpler  terms……  the  model  compiler  for 8
  9. 9. Technical approach 9
  10. 10. System Engineer Software Engineer Automation EngineerSystem and platform Architecture Control algorithms Signal processing Simulink® Behaviour Stateflow® subset subset subset importer importer importer Links between models Formalism Integration Code verification Generation Ada C VHDL 10
  11. 11. Project P genealogy 11
  12. 12. SPaCIFY 12
  13. 13. Ultimate goals: a tool provider perspective• To put an end to segregation – Between system, software, control engineers• To deploy a lean/agile qualification process – Qualify as you develop, easy re-qualification• To build an economically viable ecosystem – For both tech providers and service companies 13
  14. 14. Ultimate goals: a scientist perspective• To put an end to segregation between – System, software and control engineers – Industrial and academic partners – Formal methods and engineering tools• To define a common intermediate language – Providing a well defined semantics – To connect analysis, synthesis and verification tools based on different elementary formal languages – To compare, improve and combine these tools – To connect with industrial modeling tools 14
  15. 15. The challenges 15
  16. 16. Semantic convergence of DSLs (I)• P formalism is not the union of all input languages• Example: functional behavior – Synchronous state machines: Simulink, Stateflow – Asynchronous state machines: UML, AADL-BA – Execution protocols: AADL, UML• Example: architectural modeling – SysML/UML/MARTE – AADL/ARINC-653 – Autosar/East-ADL2 (TIMMO) 16
  17. 17. Example: semantic convergence of behavioral DSLs Formalism 17
  18. 18. Semantic convergence: Current proposal• Derived mainly from TOPCASED-AADL and GeneAuto• Strong separation between – Function (derived from Synchronous MoC) Black box: no interaction with architecture during execution Synchronous w.r.t. Architecture Can be internally concurrent – Architecture (derived from AADL MoC) Clock management Synchronous/Asynchronous communication Distribution/Process/Thread management 18
  19. 19. Verification of model-based integration• Well beyond typing – Clock constraints – Synchronization – Hard real time properties• Allocation of behavior – Extra functional properties are assumed to hold in simulation – Are they respected by the architecture?• Support for the synthesis of software architecture – Logical and physical 19
  20. 20. Flexible & Open Qualification• Support for future input DSLs – Separable qualification evidence for: Importers Code generators• Support for new code generation strategies – Separable qualification evidence for: Target independent model transformations “Printing phase”• Toolkit shipping with qualification infrastructure – To allow incremental re-qualification 20
  21. 21. Current state at T0+4 21
  22. 22. Figuring out the consortium agreement 22
  23. 23. Synchronizing with on-going projects • CHESS, VERDE – Inspiration for component model and architecture modeling • MBAT – Model verification of the P formalism • OPENCOSS & Safecer – Tooling for qualification artifact management • TASTE – AADL tooling • openETCS • CESAR • OPEES/PolarSys • ... 23
  24. 24. Technical work• Migrating GeneAuto technology – Due to unclear DO-178 qualifiability of technology• DO-178C –compliant qualification data – Migrating GeneAuto data – User-TOR, Developer-TOR,  …• Experimenting the Open-DO collaborative platform – Interactive wiki instead of emails – Wiki pages instead of Word for deliverables 24
  25. 25. 25

×