Les

info

rmat

ions

con

tenu

es d

ans

ce d

ocum

ent

sont

la

prop

riété

exc

lusi

ve d

u G

roup

eT

hom

son-

CS

FE

lles

ne d

oive

nt p

as ê

tre d

ivul

guée

s sa

ns l’

acco

rd é

crit

de T

hom

son-

CS

F O

ptro

niqu

e.

Info

rmat

ion

incl

uded

in th

is d

ocum

ent

are

Tho

mso

n-C

SF

gro

up's

ow

n pr

oper

ty.

Thes

e on

essh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

wirt

ten

cons

ent o

f Tho

mso

n-C

SF

Opt

roni

que.

THOMSON-CSF OPTRONIQUETHOMSON-CSF OPTRONIQUE

Page Page 11

4th Biennial Ptolemy MiniconferenceIn

form

atio

n in

clud

ed in

this

doc

umen

t are

TH

AL

ES

Gro

up o

wn

prop

erty

.T

hese

one

s sh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

writ

ten

cons

ent o

f TH

ALE

S O

ptro

niqu

e.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

1

DT/GEO

System Behaviour Analysiswith UML and Ptolemy

4th Biennal Ptolemy Miniconfence22-23 March 2001

Xavier Warzee, Jean-Charles CausseThales Optronique

andDominique Marcadet,

Julien Raimbault, Mickaël Levier, Supelec

4th Biennial Ptolemy Miniconference

Info

rmat

ion

incl

uded

in th

is d

ocum

ent a

re T

HA

LE

S G

roup

ow

n pr

oper

ty.

The

se o

nes

shal

l not

be

disc

lose

d w

ithou

t the

prio

r w

ritte

n co

nsen

t of T

HA

LES

Opt

roni

que.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

2

DT/GEO

Scope and goals

á Complex System analysis and designu Requirements hard to capture:

l more and more missions assigned to systems (complex supervision),l more and more behavioral requirements,

l more and more capabilities to support (heterogeneous systems).

u Models used to capture requirements !u Current practices:

l UML used to capture requirements,

l DOORS/Telelogic used for tracability between requirements and models.

u How to describe unambiguously operational scenarios ?u How to check dynamic properties such as Concurrency ?

á How to check early the correctness and the completeness ofthese models ?

Les

info

rmat

ions

con

tenu

es d

ans

ce d

ocum

ent

sont

la

prop

riété

exc

lusi

ve d

u G

roup

eT

hom

son-

CS

FE

lles

ne d

oive

nt p

as ê

tre d

ivul

guée

s sa

ns l’

acco

rd é

crit

de T

hom

son-

CS

F O

ptro

niqu

e.

Info

rmat

ion

incl

uded

in th

is d

ocum

ent

are

Tho

mso

n-C

SF

gro

up's

ow

n pr

oper

ty.

Thes

e on

essh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

wirt

ten

cons

ent o

f Tho

mso

n-C

SF

Opt

roni

que.

THOMSON-CSF OPTRONIQUETHOMSON-CSF OPTRONIQUE

Page Page 22

4th Biennial Ptolemy MiniconferenceIn

form

atio

n in

clud

ed in

this

doc

umen

t are

TH

AL

ES

Gro

up o

wn

prop

erty

.T

hese

one

s sh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

writ

ten

cons

ent o

f TH

ALE

S O

ptro

niqu

e.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

3

DT/GEO

System requirements specification with UML

á Capture missions of the systemu Static models:

l definition of scenarios with the following types of entity:? external actors,

? system capabilities (e.g. target detection),? functions (e.g. target tracking, range computing),? components (e.g. laser, camera, sensors, boards).

u Dynamic models:l Use Cases

? interactions between the system and external actors.

l Message Sequence Charts, Activity Charts? interaction between entities of the system.

l StateCharts? States and modes.

4th Biennial Ptolemy Miniconference

Info

rmat

ion

incl

uded

in th

is d

ocum

ent a

re T

HA

LE

S G

roup

ow

n pr

oper

ty.

The

se o

nes

shal

l not

be

disc

lose

d w

ithou

t the

prio

r w

ritte

n co

nsen

t of T

HA

LES

Opt

roni

que.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

4

DT/GEO

System requirements specificationuser

requirements

Mission andoperationalscenarios

specification andmodeling

"mission" use cases diagrams andOperational scenario Sequence

Diagrams

External systems and actors

system requirements

Functional Architecture

"capability"package

"services" Use case

SystemStateChartDiagram

States andModes

specificationand Modeling

Capabilitiesand services

functionspecification

andmodeling

Constraints(cost, time-to-

market,performance,

Reuse…)Technico-

operationalSimulation

User View

Les

info

rmat

ions

con

tenu

es d

ans

ce d

ocum

ent

sont

la

prop

riété

exc

lusi

ve d

u G

roup

eT

hom

son-

CS

FE

lles

ne d

oive

nt p

as ê

tre d

ivul

guée

s sa

ns l’

acco

rd é

crit

de T

hom

son-

CS

F O

ptro

niqu

e.

Info

rmat

ion

incl

uded

in th

is d

ocum

ent

are

Tho

mso

n-C

SF

gro

up's

ow

n pr

oper

ty.

Thes

e on

essh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

wirt

ten

cons

ent o

f Tho

mso

n-C

SF

Opt

roni

que.

THOMSON-CSF OPTRONIQUETHOMSON-CSF OPTRONIQUE

Page Page 33

4th Biennial Ptolemy MiniconferenceIn

form

atio

n in

clud

ed in

this

doc

umen

t are

TH

AL

ES

Gro

up o

wn

prop

erty

.T

hese

one

s sh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

writ

ten

cons

ent o

f TH

ALE

S O

ptro

niqu

e.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

5

DT/GEO

Executable UML specifications

á Gap between the static and dynamic models:u how to check consistency and completeness ?u First answer with Rhapsody from Ilogix :

l Animation of UML models,

l Limitations:? background in software and Object-Oriented technologies needed !? Only one type of semantics for animation (StateCharts).

u Esterel Studiol powerful solution for reactive systems,l formal verification of the control part based on the Esterel language,

l Limitations:? Only one type of semantics (the Synchronous hypothesis).

4th Biennial Ptolemy Miniconference

Info

rmat

ion

incl

uded

in th

is d

ocum

ent a

re T

HA

LE

S G

roup

ow

n pr

oper

ty.

The

se o

nes

shal

l not

be

disc

lose

d w

ithou

t the

prio

r w

ritte

n co

nsen

t of T

HA

LES

Opt

roni

que.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

6

DT/GEO

From UML to Ptolemy II

á Use of Ptolemy II to execute UML modelsu UML

l MSCs to describe scenarios,l stereotypes to capture capabilities, functions,

l statecharts to capture modes and states.

u Generation of MoML files from the UML modelsl use of Rose/Rational

? plug-in developed to parse the UML models,

l generation of XML files,l launch of Ptolemy II to execute the models (now Ptolemy II models),l (optional) addition of blocks to generate inputs, and display outputs,

l (optional) addition of other models if not done in UML,? Continuous Time models to simulate physical values evolving during

simulations.

Les

info

rmat

ions

con

tenu

es d

ans

ce d

ocum

ent

sont

la

prop

riété

exc

lusi

ve d

u G

roup

eT

hom

son-

CS

FE

lles

ne d

oive

nt p

as ê

tre d

ivul

guée

s sa

ns l’

acco

rd é

crit

de T

hom

son-

CS

F O

ptro

niqu

e.

Info

rmat

ion

incl

uded

in th

is d

ocum

ent

are

Tho

mso

n-C

SF

gro

up's

ow

n pr

oper

ty.

Thes

e on

essh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

wirt

ten

cons

ent o

f Tho

mso

n-C

SF

Opt

roni

que.

THOMSON-CSF OPTRONIQUETHOMSON-CSF OPTRONIQUE

Page Page 44

4th Biennial Ptolemy MiniconferenceIn

form

atio

n in

clud

ed in

this

doc

umen

t are

TH

AL

ES

Gro

up o

wn

prop

erty

.T

hese

one

s sh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

writ

ten

cons

ent o

f TH

ALE

S O

ptro

niqu

e.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

7

DT/GEO

Rose Add-in : SDF and DE domains

á Use of UML with specific rulesu Choice of Class Diagramu UML Classes as Ptolemy actors

l One UML class stereotype for each Ptolemy classl UML class attributes describe Ptolemy actor

properties

u UML associations as Ptolemy Linksl UML association roles describe Ptolemy actor ports

and port properties

á Creation of a user interfaceu Inserting actors into the diagramu Hierarchical organization of the actors

l Modificationl Definitionl Deletion

4th Biennial Ptolemy Miniconference

Info

rmat

ion

incl

uded

in th

is d

ocum

ent a

re T

HA

LE

S G

roup

ow

n pr

oper

ty.

The

se o

nes

shal

l not

be

disc

lose

d w

ithou

t the

prio

r w

ritte

n co

nsen

t of T

HA

LES

Opt

roni

que.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

8

DT/GEO

Rose Add-in : SDF and DE domains

á Code generationu Diagram parsingu Parameters management

l Choice of a domain director(SDF, DE)

l Model or class

u XML code overviewu Exporting XML code to a

file

Les

info

rmat

ions

con

tenu

es d

ans

ce d

ocum

ent

sont

la

prop

riété

exc

lusi

ve d

u G

roup

eT

hom

son-

CS

FE

lles

ne d

oive

nt p

as ê

tre d

ivul

guée

s sa

ns l’

acco

rd é

crit

de T

hom

son-

CS

F O

ptro

niqu

e.

Info

rmat

ion

incl

uded

in th

is d

ocum

ent

are

Tho

mso

n-C

SF

gro

up's

ow

n pr

oper

ty.

Thes

e on

essh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

wirt

ten

cons

ent o

f Tho

mso

n-C

SF

Opt

roni

que.

THOMSON-CSF OPTRONIQUETHOMSON-CSF OPTRONIQUE

Page Page 55

4th Biennial Ptolemy MiniconferenceIn

form

atio

n in

clud

ed in

this

doc

umen

t are

TH

AL

ES

Gro

up o

wn

prop

erty

.T

hese

one

s sh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

writ

ten

cons

ent o

f TH

ALE

S O

ptro

niqu

e.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

9

DT/GEO

Rose Add-in : SDF and DE domains

á Interaction with Ptolemy IIu Importing XML file in Vergilu (optional) Modifications through

Vergil interfaceu Simulation

4th Biennial Ptolemy Miniconference

Info

rmat

ion

incl

uded

in th

is d

ocum

ent a

re T

HA

LE

S G

roup

ow

n pr

oper

ty.

The

se o

nes

shal

l not

be

disc

lose

d w

ithou

t the

prio

r w

ritte

n co

nsen

t of T

HA

LES

Opt

roni

que.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

10

DT/GEO

Rose Add-in : FSM domain

á Mapping between UMLStateCharts and FSM domain

u Under Constructionu Whereas DE and SDF domains

needed rules to be described inUML, a simple Mapping ispossible between UMLStateCharts and Ptolemy FiniteState Machines

Les

info

rmat

ions

con

tenu

es d

ans

ce d

ocum

ent

sont

la

prop

riété

exc

lusi

ve d

u G

roup

eT

hom

son-

CS

FE

lles

ne d

oive

nt p

as ê

tre d

ivul

guée

s sa

ns l’

acco

rd é

crit

de T

hom

son-

CS

F O

ptro

niqu

e.

Info

rmat

ion

incl

uded

in th

is d

ocum

ent

are

Tho

mso

n-C

SF

gro

up's

ow

n pr

oper

ty.

Thes

e on

essh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

wirt

ten

cons

ent o

f Tho

mso

n-C

SF

Opt

roni

que.

THOMSON-CSF OPTRONIQUETHOMSON-CSF OPTRONIQUE

Page Page 66

4th Biennial Ptolemy MiniconferenceIn

form

atio

n in

clud

ed in

this

doc

umen

t are

TH

AL

ES

Gro

up o

wn

prop

erty

.T

hese

one

s sh

all n

ot b

e di

sclo

sed

with

out t

he p

rior

writ

ten

cons

ent o

f TH

ALE

S O

ptro

niqu

e.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

11

DT/GEO

Rose Add-in : Goals

á Mapping between actions’meaning in StateCharts andFSM actions

á Management of hierarchicalgraphs using severaldomains (SDF, DE andFSM)

DE

FSM

4th Biennial Ptolemy Miniconference

Info

rmat

ion

incl

uded

in th

is d

ocum

ent a

re T

HA

LE

S G

roup

ow

n pr

oper

ty.

The

se o

nes

shal

l not

be

disc

lose

d w

ithou

t the

prio

r w

ritte

n co

nsen

t of T

HA

LES

Opt

roni

que.

THALES OPTRONIQUE

RE

F. T

O_E

N_C

C

12

DT/GEO

UML and Ptolemy II : perspectives

á Integration of other Ptolemy II domainsá XSLT to convert from XMI to MoMLá XSLT to convert from MoML to XMI

u => From Ptolemy II to UML.

á Use of RoseRT instead of Rose ?u Mapping of UML-RT capsules and ports to Ptolemy II actors and

ports.