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

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

Agenda

1 Introduction

2 Concepts of meta-modelling

3 Models transformation

4 Application

5 Further works

2 / 41

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

Introduction

3 / 41

Introduction

3 / 41

Introduction

3 / 41

Introduction

3 / 41

Introduction

3 / 41

Introduction

3 / 41

Introduction

3 / 41

Butter�y example

4 / 41

Butter�y example

5 / 41

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

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

4 Veri�cation & Validation

5 Application

6 Perspectives

7 / 41

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

I ComplexI Rambling

Our approach: MDE

De�nition

8 / 41

I ComplexI Rambling

Our approach: MDE

De�nition

8 / 41

I ComplexI Rambling

Our approach: MDE

De�nition

8 / 41

I ComplexI Rambling

Our approach: MDE

De�nition

8 / 41

I ComplexI Rambling

Our approach: MDE

De�nition

8 / 41

Meta-modelling concepts

9 / 41

Real System

Activity Diagram

Actvity Diagram Metamodel

Transformation Rules

Petri Net Metamodel

Transformation Engine

Petri Net.xmi

.ecore .atl .ecore

Conforms to

modelised by

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

Meta-metamodel ECORE

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

9 / 41

Real System

Activity Diagram

Petri Net Metamodel

Petri Net.xmi

.ecore .atl .ecore

Conforms to

modelised by

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

9 / 41

Real System

Activity Diagram

Petri Net Metamodel

Petri Net.xmi

.ecore .atl .ecore

Conforms to

modelised by

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

9 / 41

Real System

Activity Diagram

Petri Net Metamodel

Petri Net.xmi

.ecore .atl .ecore

Conforms to

modelised by

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

9 / 41

Real System

Activity Diagram

Petri Net Metamodel

Petri Net.xmi

.ecore .atl .ecore

Conforms to

modelised by

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

9 / 41

Real System

Activity Diagram

Petri Net Metamodel

Petri Net.xmi

.ecore .atl .ecore

Conforms to

modelised by

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

VHDL-AMSMetamodel

VHDL-AMS

Conforms to

M0 Real World

M1 Model

M2 Metamodel

M3 Meta-metamodel

TextLineColors

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

5 Application

6 Perspectives

10 / 41

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

Mapping of concepts

Be generic

ActivityFinalNode

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

Mapping of concepts

Be generic

ActivityFinalNode

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

Mapping of concepts

Be generic

ActivityFinalNode

FinalNode1

ControlFlow1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

11 / 41

Mapping of concepts

Be generic

ActivityFinalNode

FinalNode1

ControlFlow1ControlFlow2

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

P_ControlFlow2

A2_ControlFlow2

A1_ControlFlow1

12 / 41

Mapping of concepts

Be generic

ActivityFinalNode

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

FinalNode1

Petri net

T_FinalNode1

A_FinalNode1

P_FinalNode1

A1_ControlFlow1

P_ControlFlow1

A2_ControlFlow1

P_ControlFlow2

A2_ControlFlow2

A1_ControlFlow1

13 / 41

Mapping of concepts

Be generic

ActivityFinalNode

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

FinalNode1

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

Mapping of concepts

From PN to VHDL:

Token Management

active

desactive

arazmarque

marque_init

marque

active

calcul

desactive

15 / 41

Butter�y example

Mapping of concepts:

16 / 41

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

5 Application

6 Perspectives

17 / 41

Veri�cation

18 / 41

Validation⇒ To VHDL-AMS.

NetList TINA

Continuous Part

Discret Part

tion R

VHDL files (Discret Part)

VHDL-AMS files (Continuous Part)Activity Diagram

Validate the continuous behaviour of the system

19 / 41

Validation⇒ To VHDL-AMS.

NetList TINA

Continuous Part

Discret Part

tion R

VHDL files (Discret Part)

VHDL-AMS files (Continuous Part)Activity Diagram

Validate the continuous behaviour of the system

19 / 41

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

5 Application

6 Perspectives

20 / 41

Example: Injector

Thermic Engine Injector Controller

21 / 41

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)

Example: Injector

21 / 41

Example: Injector

21 / 41

Example: Injector

Engine part behaviour description

22 / 41

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

Example: Injector

1.2: Admission

1.3: Exhaust

1.4: Capteurs

1.1:Engine

1.1.1: WarmUp

1.6: Valve

23 / 41

Example: Injector

1.2: Admission

1.3: Exhaust

1.4: Capteurs

1.1:Engine

1.1.1: WarmUp

1.6: Valve

23 / 41

Validation

The system has three phases

Phase 1: Warm-up - High air/fuel rate

Phase 2: ωmot > 1000 rpm

Air/Fuel Rate in %

S1 S2 S3

Engine speed in 10³ rpm

24 / 41

Validation

Air/Fuel Rate in %

S1 S2 S3

24 / 41

Validation

Air/Fuel Rate in %

S1 S2 S3

24 / 41

Validation

Air/Fuel Rate in %

S1 S2 S3

24 / 41

Agenda

1 Introduction

2 Meta-modelling

3 Transformation

5 Application

6 Perspectives

25 / 41

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

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Conclusion:

simulation.

Perspectives :

26 / 41

Platform to assess the validity of a simulation model

Requirements

User Developer

User Formal Specification

Dev. Specification

Dev. Formal Specification

Experimental Frame

User Specification

knowledge

27 / 41

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

Thanks for your attention !

29 / 41

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

Technology

Future Direction of MBSE with SysML v2...SysML Background SysML v1 adopted in 2006 Continued evolution to address user and vendor needs SysML v1.5: current version SysML v1.6: in process

Systems Modeling Language (SysML) · User Guide - Systems Modeling Language (SysML)7 September, 2020 Systems Modeling Language (SysML) Enterprise Architect's implementation of SysML

Architectural Modeling in SysML · SysML: Systems Modeling Language • In 2001, the International Council on Systems Engineering established a Model Driven Systems Design workgroup

SysML-based systems engineering using a model-driven ......SysML-based systems engineering using a model-driven development approach. Page 4 Process overview Figure 1 shows the integrated

SysML Overview

Integrating Reasoning with SysML - omgwiki.org Figure 1 is a schematic diagram that shows the relationship between a SysML model and an interpretation. In this case the model represents

Modeling Failure Modes with SysML - NASA · PDF fileModeling Failure Modes with SysML ... SysML Model • Detailed ... ♦ Further develop SysML to FMEA Generation and FMEA to SysML

SysML Webinar

SysML - Diagramme structurelstvaira.free.fr/dev/sysml/sysml-blocs.pdfNOTION DE BLOC Notiondebloc Lebloc(«block »)enSysMLestl’équivalentdela classeenUML.L’instancedeblocestune«

SysML Modelling Language explained - OMG SysML

Beyond System Modeling: Extending SysML for Goal …€¦ · Beyond System Modeling: Extending SysML for Goal-driven Generative Design Massimiliano Moruzzi Product Manager ... •Enterprise

SYSML Modelling

Automotive System and Software Architecture - …aserebre/2IW80/2013-2014/Automotive... · · 2014-03-25Automotive System and Software Architecture ... SysML Diagram Taxonomy SysML

Data Driven In-Cylinder Pressure Diagram Based

Systems Modeling Language (SysML)...User Guide - Systems Modeling Language (SysML)3 June, 2020 Systems Modeling Language (SysML) Enterprise Architect's implementation of SysML 1.5

VALIDATION AND VERIFICATION OF SYSML ACTIVITY …aircconline.com/ijsea/V9N4/9418ijsea07.pdf · the correctness of SysML diagram, we applying TBFV method into SysML diagram. In this

1 Model Driven Development. 2 DoDAF/ModAF/ SysML and AP233 Architecture –DODAF MODAF Modelling –UML –SysML Interchange –AP 233AP 233 –XMI

Pattern-based Requirements Model using SysML for a ... · PDF fileproposed approach follows the Development Process for ... lexical, and machine is modeled ... block diagram of SysML

Systems Modeling Language (SysML) Tutorial - OMG SysML

The MODAF System Viewpoint - assets.publishing.service.gov.uk · • UML composite structure diagram. • SysML blocks diagram. Detailed Product Description The primary purpose of