Upload
others
View
7
Download
0
Embed Size (px)
Citation preview
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.