Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach

1,245 views

Published on

Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering

(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)

Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details

Published in: Technology, Education
  • Be the first to comment

  • Be the first to like this

Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach

  1. 1. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach Damien Foures - Vincent Albert - Jean-Claude Pascal - Alexandre Nketsa ISI Group - LAAS-CNRS; University of Toulouse, France March, 27th 2012 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 1 / 41
  2. 2. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Agenda 1 Introduction 2 Concepts of meta-modelling 3 Models transformation 4 Application 5 Further works Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 2 / 41
  3. 3. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  4. 4. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  5. 5. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  6. 6. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  7. 7. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  8. 8. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  9. 9. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  10. 10. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Introduction ISI Group (Ingénierie Système et Intégration) Heterogeneous systems design Simulation SysML (System Modeling Language) Transformation Using meta-modelling In conformance with OMG (Object Management Group) UML/SysML origin with INCOSE (The International Council on Systems Engineering) Goal: supply tools for the development process of heterogeneous systems Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 3 / 41
  11. 11. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Buttery example Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 4 / 41
  12. 12. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Buttery example Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 5 / 41
  13. 13. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Approach of ISI group Design Verification by Model-checking Requirements Elicitation Formal Verification Petri Net Model User Requirements SysML - Activity Diagram TINA Validation by Simulation Manual Transformation Automatic Transformation System Vision - VHDL-AMS Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 6 / 41
  14. 14. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Agenda 1 Introduction 2 Meta-modelling 3 Transformation 4 Verication Validation 5 Application 6 Perspectives Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 7 / 41
  15. 15. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Model Driven Engineering - (MDE) Historically: Documentation-oriented approach Complex Rambling Our approach: MDE Denition Software Engineering paradigm where models play a key role in all engineering activities (forward engineering, reverse engineering, software evolution...). Better management of complexity Everything is model Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 8 / 41
  16. 16. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Model Driven Engineering - (MDE) Historically: Documentation-oriented approach Complex Rambling Our approach: MDE Denition Software Engineering paradigm where models play a key role in all engineering activities (forward engineering, reverse engineering, software evolution...). Better management of complexity Everything is model Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 8 / 41
  17. 17. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Model Driven Engineering - (MDE) Historically: Documentation-oriented approach Complex Rambling Our approach: MDE Denition Software Engineering paradigm where models play a key role in all engineering activities (forward engineering, reverse engineering, software evolution...). Better management of complexity Everything is model Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 8 / 41
  18. 18. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Model Driven Engineering - (MDE) Historically: Documentation-oriented approach Complex Rambling Our approach: MDE Denition Software Engineering paradigm where models play a key role in all engineering activities (forward engineering, reverse engineering, software evolution...). Better management of complexity Everything is model Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 8 / 41
  19. 19. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Model Driven Engineering - (MDE) Historically: Documentation-oriented approach Complex Rambling Our approach: MDE Denition Software Engineering paradigm where models play a key role in all engineering activities (forward engineering, reverse engineering, software evolution...). Better management of complexity Everything is model Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 8 / 41
  20. 20. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Model Driven Engineering - (MDE) Historically: Documentation-oriented approach Complex Rambling Our approach: MDE Denition Software Engineering paradigm where models play a key role in all engineering activities (forward engineering, reverse engineering, software evolution...). Better management of complexity Everything is model Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 8 / 41
  21. 21. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Meta-modelling concepts M3 Meta-metamodel M2 Metamodel M1 Model M0 Real World Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 9 / 41
  22. 22. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Meta-modelling concepts M3 Meta-metamodel M2 Metamodel M1 Model M0 Real World Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 9 / 41
  23. 23. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Meta-modelling concepts M3 Meta-metamodel M2 Metamodel M1 Model M0 Real World Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 9 / 41
  24. 24. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Meta-modelling concepts M3 Meta-metamodel M2 Metamodel M1 Model M0 Real World Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 9 / 41
  25. 25. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Meta-modelling concepts Text Line Colors M3 Meta-metamodel M2 Metamodel M1 Model M0 Real World Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 9 / 41
  26. 26. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Meta-modelling concepts Meta-metamodel Conforms to M3 Meta-metamodel ECORE Conforms to Conforms to Conforms to M2 Metamodel Actvity Diagram Transformation Petri Net Transformation VHDL-AMS Metamodel .ecore Rules Metamodel Rules Metamodel .atl .ecore .atl Conforms to use Conforms to use Conforms to M1 Model Activity Diagram Transformation Petri Net Transformation Engine VHDL-AMS .xmi .xmi Engine .xmi modelised by M0 Real World Real System Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 9 / 41
  27. 27. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Agenda 1 Introduction 2 Meta-modelling 3 Transformation 4 Verication Validation 5 Application 6 Perspectives Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 10 / 41
  28. 28. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a ow in an activity stops Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 11 / 41
  29. 29. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a ow in an activity stops Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 11 / 41
  30. 30. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a ow in an activity stops ControlFlow1 FinalNode1 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 11 / 41
  31. 31. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a A1_ControlFlow1 ow in an activity stops P_ControlFlow1 ControlFlow1 A2_ControlFlow1 T_FinalNode1 A_FinalNode1 FinalNode1 P_FinalNode1 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 11 / 41
  32. 32. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a A1_ControlFlow1 A1_ControlFlow1 ow in an activity stops P_ControlFlow1 P_ControlFlow2 ControlFlow1 ControlFlow2 A2_ControlFlow1 A2_ControlFlow2 T_FinalNode1 A_FinalNode1 FinalNode1 P_FinalNode1 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 12 / 41
  33. 33. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a A1_ControlFlow1 A1_ControlFlow1 ow in an activity stops if one of its input is activated P_ControlFlow1 P_ControlFlow2 ControlFlow1 A2_ControlFlow1 A2_ControlFlow2 ControlFlow2 T_FinalNode1 A_FinalNode1 FinalNode1 P_FinalNode1 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 13 / 41
  34. 34. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts Be generic In conformance with OMG For example: Transposing AD properties in Petri Net. ActivityFinalNode Petri net Property : control node at which a A1_ControlFlow1 A1_ControlFlow1 ow in an activity stops if one of its input is activated P_ControlFlow1 P_ControlFlow2 ControlFlow1 A2_ControlFlow1 A2_ControlFlow2 ControlFlow2 T1_FinalNode1 T2_FinalNode1 A1_FinalNode1 A2_FinalNode1 FinalNode1 P_FinalNode1 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 14 / 41
  35. 35. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Mapping of concepts From PN to VHDL: Token Management place active desactive marque_init clk marque araz calcul marque active e desactive Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 15 / 41
  36. 36. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Buttery example Mapping of concepts: Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 16 / 41
  37. 37. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Agenda 1 Introduction 2 Meta-modelling 3 Transformation 4 Verication Validation 5 Application 6 Perspectives Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 17 / 41
  38. 38. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Verication Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 18 / 41
  39. 39. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Validation ⇒ To VHDL-AMS. NetList TINA VHDL files (Discret Part) Transformation Rules Transformation Rules Discret Part Activity Diagram VHDL-AMS files (Continuous Part) Transformation Rules Continuous Part Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 19 / 41
  40. 40. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Validation ⇒ To VHDL-AMS. NetList TINA VHDL files (Discret Part) Transformation Rules Transformation Rules Discret Part Activity Diagram VHDL-AMS files (Continuous Part) Transformation Rules Continuous Part Validate the continuous behaviour of the system Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 19 / 41
  41. 41. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Agenda 1 Introduction 2 Meta-modelling 3 Transformation 4 Verication Validation 5 Application 6 Perspectives Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 20 / 41
  42. 42. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Thermic Engine Injector Controller Objective: Control the gaz mix rate (air + fuel + recycled gaz) Control injection time Control the recycler valve position Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 21 / 41
  43. 43. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Thermic Engine Injector Controller Objective: Control the gaz mix rate (air + fuel + recycled gaz) Control injection time Control the recycler valve position Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 21 / 41
  44. 44. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Thermic Engine Injector Controller Objective: Control the gaz mix rate (air + fuel + recycled gaz) Control injection time Control the recycler valve position θaf = f (∆inj , ϕvolc , Teau , ωmot , τO ) 2 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 21 / 41
  45. 45. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Engine part behaviour description Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 22 / 41
  46. 46. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Thermic Engine Injector Controller AD Model 1.2: Admission 1.1:Engine 1.1.1: WarmUp 1:Injection Control System 1.1.2: ChooseRegulation 1.3: Exhaust 1.5: injector 1.6: Valve 1.4: Capteurs Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 23 / 41
  47. 47. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Thermic Engine Injector Controller AD Model 1.2: Admission 1.1:Engine 1.1.1: WarmUp 1:Injection Control System 1.1.2: ChooseRegulation 1.3: Exhaust 1.5: injector 1.6: Valve 1.4: Capteurs Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 23 / 41
  48. 48. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Example: Injector Thermic Engine Injector Controller AD Model 1.2: Admission 1.1:Engine 1.1.1: WarmUp 1:Injection Control System 1.1.2: ChooseRegulation 1.3: Exhaust 1.5: injector 1.6: Valve 1.4: Capteurs Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 23 / 41
  49. 49. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Validation The system has three phases Phase 1: Warm-up - High air/fuel rate Phase 2: ωmot 1000 rpm Phase 3: ωmot 2200 rpm Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 24 / 41
  50. 50. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Validation The system has three phases Phase 1: Warm-up - High air/fuel rate Phase 2: ωmot 1000 rpm Phase 3: ωmot 2200 rpm Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 24 / 41
  51. 51. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Validation The system has three phases Phase 1: Warm-up - High air/fuel rate Phase 2: ωmot 1000 rpm Phase 3: ωmot 2200 rpm Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 24 / 41
  52. 52. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Validation The system has three phases Phase 1: Warm-up - High air/fuel rate Phase 2: ωmot 1000 rpm Phase 3: ωmot 2200 rpm Engine speed in 10³ rpm Air/Fuel Rate in % S1 S2 S3 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 24 / 41
  53. 53. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Agenda 1 Introduction 2 Meta-modelling 3 Transformation 4 Verication Validation 5 Application 6 Perspectives Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 25 / 41
  54. 54. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  55. 55. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  56. 56. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  57. 57. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  58. 58. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  59. 59. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  60. 60. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  61. 61. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  62. 62. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  63. 63. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  64. 64. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  65. 65. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Conclusion and Perspectives Conclusion: Explore the MMDA SysML Design the MMPN in Ecore Language Dene and implement the transformation rules Verify formally these rules Establish a complete MDE chains from semi-formal models to formal models and simulation. Perspectives : Includes Co-design facilities in our approach Reward transformation Petri Net transparent to the user. Inject formal verication results back into AD model. Include in research platform to assess the validity of a simulation model. Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 26 / 41
  66. 66. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Platform to assess the validity of a simulation model knowledge User Developer Requirements User Specification Dev. Specification User Formal Specification Dev. Formal Specification Model Experimental Frame Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 27 / 41
  67. 67. Introduction Meta-modelling Transformation Verication Validation Application Perspectives MDA en action X.Blanc Paris, Mai 2005 OMG Unied Modeling Language (OMG UML) Superstructure OMG Version 2.3, May 2010 From Embedded Systems Requirement to Physical Representation: A Model-based Methodology in Accordance whith the EIA-632 Carlos E.Gomez,Jean-Claude Pascal and Philippe Esteban CNRS-LAAS Contribution a la spécication des sytèmes temps réel:Lapproche UML/PNO D. Jérome Delatour CNRS-LAAS Thèse 2003 Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 28 / 41
  68. 68. Introduction Meta-modelling Transformation Verication Validation Application Perspectives Thanks for your attention ! Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach 29 / 41

×