Introduction Meta-modelling Transformation Veri�cation & 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

1 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Agenda

1 Introduction

2 Concepts of meta-modelling

3 Models transformation

4 Application

5 Further works

2 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Introduction

ISI Group (Ingénierie Système et Intégration)

I Heterogeneous systems designI Simulation

SysML (System Modeling Language) Transformation

I Using meta-modelling

In conformance with OMG (Object Management Group)

I UML/SysML origin with INCOSE (The International Council on SystemsEngineering)

Goal: supply tools for the development process of heterogeneous systems

3 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Butter�y example

4 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Butter�y example

5 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Approach of ISI group

Design

Formal Verification

RequirementsElicitation

SysML - Activity Diagram

Petri Net ModelTINA

Validation by Simulation

System Vision - VHDL-AMS

Verification by Model-checking

User Requirements

Automatic Transformation

Manual Transformation

6 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

4 Veri�cation & Validation

5 Application

6 Perspectives

7 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Model Driven Engineering - (MDE)

Historically: Documentation-oriented approach

I ComplexI Rambling

Our approach: MDE

De�nition

Software Engineering paradigm where models play a key role in all engineeringactivities (forward engineering, reverse engineering, software evolution...).

Better management of complexity

I Everything is model

8 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Model Driven Engineering - (MDE)

Historically: Documentation-oriented approach

I ComplexI Rambling

Our approach: MDE

De�nition

Software Engineering paradigm where models play a key role in all engineeringactivities (forward engineering, reverse engineering, software evolution...).

Better management of complexity

I Everything is model

8 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Model Driven Engineering - (MDE)

Historically: Documentation-oriented approach

I ComplexI Rambling

Our approach: MDE

De�nition

Software Engineering paradigm where models play a key role in all engineeringactivities (forward engineering, reverse engineering, software evolution...).

Better management of complexity

I Everything is model

8 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Model Driven Engineering - (MDE)

Historically: Documentation-oriented approach

I ComplexI Rambling

Our approach: MDE

De�nition

Software Engineering paradigm where models play a key role in all engineeringactivities (forward engineering, reverse engineering, software evolution...).

Better management of complexity

I Everything is model

8 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Model Driven Engineering - (MDE)

Historically: Documentation-oriented approach

I ComplexI Rambling

Our approach: MDE

De�nition

Software Engineering paradigm where models play a key role in all engineeringactivities (forward engineering, reverse engineering, software evolution...).

Better management of complexity

I Everything is model

8 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Model Driven Engineering - (MDE)

Historically: Documentation-oriented approach

I ComplexI Rambling

Our approach: MDE

De�nition

Software Engineering paradigm where models play a key role in all engineeringactivities (forward engineering, reverse engineering, software evolution...).

Better management of complexity

I Everything is model

8 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Meta-modelling concepts

9 / 41

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

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

.xmi

Conforms to

Conforms to

Conforms to

Conforms to

modelised by

use

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Conforms to

.xmi

Meta-metamodel ECORE

Transformation Rules

Transformation Engine

.atl

use

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Meta-modelling concepts

9 / 41

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

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

.xmi

Conforms to

Conforms to

Conforms to

Conforms to

modelised by

use

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Conforms to

.xmi

Meta-metamodel ECORE

Transformation Rules

Transformation Engine

.atl

use

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Meta-modelling concepts

9 / 41

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

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

.xmi

Conforms to

Conforms to

Conforms to

Conforms to

modelised by

use

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Conforms to

.xmi

Meta-metamodel ECORE

Transformation Rules

Transformation Engine

.atl

use

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Meta-modelling concepts

9 / 41

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

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

.xmi

Conforms to

Conforms to

Conforms to

Conforms to

modelised by

use

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Conforms to

.xmi

Meta-metamodel ECORE

Transformation Rules

Transformation Engine

.atl

use

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Meta-modelling concepts

9 / 41

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

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

.xmi

Conforms to

Conforms to

Conforms to

Conforms to

modelised by

use

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Conforms to

.xmi

Meta-metamodel ECORE

Transformation Rules

Transformation Engine

.atl

use

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Meta-modelling concepts

9 / 41

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

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

.xmi

Conforms to

Conforms to

Conforms to

Conforms to

modelised by

use

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Conforms to

.xmi

Meta-metamodel ECORE

Transformation Rules

Transformation Engine

.atl

use

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

4 Veri�cation & Validation

5 Application

6 Perspectives

10 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops

FinalNode1

ControlFlow1ControlFlow2

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

P_ControlFlow2

A2_ControlFlow2

A1_ControlFlow1

12 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops if one of itsinput is activated

FinalNode1

ControlFlow1ControlFlow2

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

P_ControlFlow2

A2_ControlFlow2

A1_ControlFlow1

13 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

Be generic

In conformance with OMG

For example: Transposing AD properties in Petri Net.

ActivityFinalNode

Property : control node at which a�ow in an activity stops if one of itsinput is activated

FinalNode1

ControlFlow1ControlFlow2

Petri net

T2_FinalNode1

A1_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

P_ControlFlow2

A2_ControlFlow2

A1_ControlFlow1

T1_FinalNode1

A2_FinalNode1

14 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Mapping of concepts

From PN to VHDL:

Token Management

active

desactive

clk

arazmarque

place

marque_init

marque

e

active

calcul

desactive

15 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Butter�y example

Mapping of concepts:

16 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

4 Veri�cation & Validation

5 Application

6 Perspectives

17 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Veri�cation

18 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Validation⇒ To VHDL-AMS.

NetList TINA

Transformation Rules

Continuous Part

Discret Part

Trans

forma

tion R

ules

VHDL files (Discret Part)

VHDL-AMS files (Continuous Part)Activity Diagram

Transformation Rules

Validate the continuous behaviour of the system

19 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Validation⇒ To VHDL-AMS.

NetList TINA

Transformation Rules

Continuous Part

Discret Part

Trans

forma

tion R

ules

VHDL files (Discret Part)

VHDL-AMS files (Continuous Part)Activity Diagram

Transformation Rules

Validate the continuous behaviour of the system

19 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

4 Veri�cation & Validation

5 Application

6 Perspectives

20 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Thermic Engine Injector Controller

21 / 41

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

Objective: Control the gaz mix rate (air +fuel + recycled gaz)

Control injection time

Control the recycler valve position

θaf = f (∆inj , ϕvolc ,Teau, ωmot , τO2)

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Thermic Engine Injector Controller

21 / 41

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

Objective: Control the gaz mix rate (air +fuel + recycled gaz)

Control injection time

Control the recycler valve position

θaf = f (∆inj , ϕvolc ,Teau, ωmot , τO2)

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Thermic Engine Injector Controller

21 / 41

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

Objective: Control the gaz mix rate (air +fuel + recycled gaz)

Control injection time

Control the recycler valve position

θaf = f (∆inj , ϕvolc ,Teau, ωmot , τO2)

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Engine part behaviour description

22 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Thermic Engine Injector Controller AD Model

1:Injection Control System

1.2: Admission

1.3: Exhaust

1.4: Capteurs

1.1:Engine

1.1.1: WarmUp

1.1.2: ChooseRegulation1.5: injector

1.6: Valve

23 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Thermic Engine Injector Controller AD Model

1:Injection Control System

1.2: Admission

1.3: Exhaust

1.4: Capteurs

1.1:Engine

1.1.1: WarmUp

1.1.2: ChooseRegulation1.5: injector

1.6: Valve

23 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Example: Injector

Thermic Engine Injector Controller AD Model

1:Injection Control System

1.2: Admission

1.3: Exhaust

1.4: Capteurs

1.1:Engine

1.1.1: WarmUp

1.1.2: ChooseRegulation1.5: injector

1.6: Valve

23 / 41

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

Introduction Meta-modelling Transformation Veri�cation & 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

Air/Fuel Rate in %

S1 S2 S3

Engine speed in 10³ rpm

24 / 41

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

Introduction Meta-modelling Transformation Veri�cation & 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

Air/Fuel Rate in %

S1 S2 S3

Engine speed in 10³ rpm

24 / 41

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

Introduction Meta-modelling Transformation Veri�cation & 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

Air/Fuel Rate in %

S1 S2 S3

Engine speed in 10³ rpm

24 / 41

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

Introduction Meta-modelling Transformation Veri�cation & 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

Air/Fuel Rate in %

S1 S2 S3

Engine speed in 10³ rpm

24 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

4 Veri�cation & Validation

5 Application

6 Perspectives

25 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Conclusion and Perspectives

Conclusion:

I Explore the MMDA SysMLI Design the MMPN in Ecore LanguageI De�ne and implement the transformation rulesI Verify formally these rulesI Establish a complete MDE chains from semi-formal models to formal models and

simulation.

Perspectives :

I Includes Co-design facilities in our approachI Reward transformation

Petri Net transparent to the user.Inject formal veri�cation results back into AD model.

I Include in research platform to assess the validity of a simulation model.

26 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Platform to assess the validity of a simulation model

Requirements

User Developer

User Formal Specification

Dev. Specification

Dev. Formal Specification

Model

Experimental Frame

User Specification

knowledge

27 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

MDA en actionX.BlancParis, Mai 2005

OMG Uni�ed Modeling Language (OMG UML) SuperstructureOMGVersion 2.3, May 2010

From Embedded Systems Requirement to Physical Representation: AModel-based Methodology in Accordance whith the EIA-632Carlos E.Gomez,Jean-Claude Pascal and Philippe EstebanCNRS-LAAS

Contribution a la spéci�cation des sytèmes temps réel:L'approcheUML/PNOD. Jérome DelatourCNRS-LAAS Thèse 2003

28 / 41

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

Introduction Meta-modelling Transformation Veri�cation & Validation Application Perspectives

Thanks for your attention !

29 / 41

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