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

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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Introduction Meta-modelling Transformation Verication Validation Application Perspectives
Buttery example
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach
4 / 41

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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Introduction Meta-modelling Transformation Verication Validation Application Perspectives
Verication
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach
18 / 41

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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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:L'approche
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. 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