Presentazione pieroni

Distributed Simulation
and
Inherently Distributed Systems
Giuseppe Iazeolla, Andrea D’Ambrogio, Alessandra Pieroni
University of Rome “TorVergata”
Daniele Gianni
ESA ESTEC

Presented by Alessandra Pieroni

DSIMday Giornata di studio MIMOS sulla Simulazione Distribuita - 11 Marzo 2011

Context


Simulation-driven design of systems

Execution Platform

Simulator

System to be designed


This Presentation

Context application to
Inherently Distributed System
(IDS)


Definitions

Inherently Distributed Systems (IDS)

systems that are distributed by their own nature

their subsystems are physically

and

geographically separated


Example IDS’s
distributed computer systems
m geographically separated hosts

wireless systems
(e.g. WiFi/WiMax (IEEE 802.11/16))
1 base-station for each m subscriber-stations
k terminal equipments for each SS

satellite constellations
m spatially separated orbiting satellites,
1 ground segment and 1 user segment


Known paradigms for IDS
simulation
• Type-1: Local Simulation (LS)
simulator run by a single host

• Type-2: Distributed Simulation (DS)
simulator run by a number of hosts
to achieve

scalability, aggregation, reusability and
parallelism

Type-3 paradigms for DS

• naturally Distributed Simulation
(nDS) locates the federates in the same geographic
positions of the IDS subsystems

• naturally Distributed Simulation in-the-loop
(nDS-il) as nDS but one federate left in its natural
form


Type-3 paradigms for DS
(obtain Scalability, Paralellism and Representativeness)

m HOSTs
(where to locate them ?)

Simulator is partitioned into m federates

System to design is IDS (with m subsystems)


Example application of 4 paradigms to
the
simulation driven design of
wireless systems


The LS paradigm for Wireless systems

"", # ""‐ # ""# (
2
"$ '( )*+#
%& "$ '( )*+#
%& "$
%&'( )*+#

! "#$ % ' ()*+ , ‐#& /#. &
& & . "(
2 , %#
01 . 3 # &

! "# "$ /'0# 2*+%#
. 1'(
"$%&'( )*+#
#

(m+2 subsystems run by 1 single simulation platform)


The DS paradigm for Wireless systems

(m+2 subsystems run by m+2 simulation platforms)
platform locations are anywhere
(no relationship with the subsystems locations)


The nDS paradigm for Wireless systems

the m+2 simulation platforms are located in the
same geographic locations of the m+2 subsystems


nDS-il paradigm for Wireless systems
""0# ""1# ""! #
"$%&'( )*+# "$%&'( )*+# "$%&'( )*+#
,‐ '( . *+%0/# ,‐ '( . *+%1/# ,‐ '( . *+%# /#
!

$% '() % , ‐. (
& *+
/01‐&2*‐34*3‐%#

! "# %&'( )*+#
"$ #
,‐ '( . *+%# "#/#
!

as nDS for the first m+1 subsystems
while the (m+2)th subsystem is left in its real form


Example application of 4 paradigms to
the
simulation driven design of
Satellite Systems


The LS paradigm for Satellite Systems

(m+2 subsystems run by 1 single simulation platform)

The DS paradigm for Satellite Systems

(m+2 subsystems run by m+2 simulation platform) platform locations are anywhere
(no relationship with the subsystems locations)

The nDS paradigm for Satellite Systems

the m+2 simulation platforms are located in the same geographic
locations of the m+2 subsystems


The nDS-il paradigm for Satellite Systems

as nDS for the first m+1 subsystems
while the (m+2)th subsystem is left in its real form

New Software technologies
for the nDS and nDS-il paradigms

an environment (nDSEnv)

a language (nDSLang)

together give a complete
software suite that ease the
development of nDS and nDS-il
systems


Using the
nDSEnv and nDSLang

You may develop a DS systems with no
knowledge of HLA
– First develop the LS system
– By use of a mechanical process then produce the
equivalent DS system
The process generates only a very limited
additional amount of LOCs
The production of the DS system is practically
effortless


Example use of nDSEnv and nDSLang

m-node communication system
Connection matrix
D1 D2 D3 … Dm
S1 p1,1 p1,2 p1,3 … p1,m
S2 p2,1 p2,2 p2,3 … p2,m
S3 p3,1 p3,2 p3,3 … p3,m
… … … … … …
Sm pm,1 pm,2 pm,3 … pm,m
(S= sending node, D= destination node)


Example use of nDSEnv and nDSLang

LS version
one standard single-platform simulator

define the m nodes

define the mxm links

run the experiments

DSIMday Giornata studi MIMOS Simulazione
DSIMday Giornata di studio MIMOS sulla Simulazione Distribuita - 11 Marzo 2011 - 11 Marzo 2011
Distribuita

Transformation from LS into DS
DS version (assume 2 Federates)

federate1: nodes 1 and 2
federate2: remaining m-2 nodes

D1 D2 D3 … Dm
S1 p1,1 p1,2 p1,3 … p1,m
S2 p2,1 p2,2 p2,3 … p2,m
S3 p3,1 p3,2 p3,3 … p3,m
… … … … … …
Sm pm,1 pm,2 pm,3 … pm,m


The DS Federate1 consists of nodes S1 and S2 :
Such nodes are local to federate1 and their
declaration follows the same statements of the LS
system, that can therefore be reused in the DS
code
The DS Federate2 consists of nodes S3 through Sm :
Such nodes are local to federate2 and their
declaration follows the same statements of the LS
system, that can therefore be reused in the DS
code

only need to modify are those link declarations that cross the
border between the two sub-matrices, i.e.:

links from S1 to D3, D4, D5, ..., Dm
links to S1 from D3, D4, D5, ..., Dm

links from S2 to D3, D4, D5, ..., Dm
links to S2 from D3, D4, D5, ..., Dm



The DS version of the system is easily derived from the
original LS version (and also easily automated)

The largest part of the DS code is reused from the LS code

The only statements to modify are the interface declarations
between federates


Research open problems
(nDS-il)
1) Reproducibility:
• The real federate introduces simulation-external
phenomena that cannot be reproduced
• This may make the “reproducibility” of simulation
experiments problematic

2) Interface to the real federate:
• The federate that simulates e.g. the SS station of
a wireless system, needs to drive a physical
antenna to send packets to the real
interconnection infrastructure
• This requires creating an interface between the
SS federate and its antenna system


Research open problems
(nDS-il)
3) Relationship problems between the federates network
(FN) and the real network (RN)
• FN is the network used by the federates to
exchange synchronization and communication
messages (could be a dedicated WAN, a public
WAN or the Internet itself ).
• RN is the network part of the simulated system
• The FN delays should be compatible with the RN
time scale….


Example relationship between federates
network (FN) and the real network (RN)

SS1 simulator SS2 simulator Simulator Platform
platform platform SS N

Internet Connection
among Simulators
- RTI messages -

Real Communication Medium

Simulator Platform
BS


Conclusions

The DS approach to inherently distributed
systems yields simulation scalability,
aggregation, reusability and parallelism

The nDS and nDS-il approaches yield the
additional feature of simulation
representativeness


Conclusions
The existing distributed simulation tools (such as HLA)
may represent an obstacle to the wide adoption of the
paradigms

A HLA-transparent simulation environment and a
simulation language (nDSEnv and nDSLang) have
been introduced

Such technologies overcome the HLA difficulties and
allow developing an nDS or nDS-il system as it was a
conventional LS system


Conclusions

nDSEnv and nDSLang give facilities rarely found in
existing distributed simulation technologies:
a Java-based language is used
the skills needed to develop a nDS or nDS-il
simulation system are brought down to the
standard skills of a LS one
once an LS system is obtained, bringing it into
nDS or nDS-il form can be done with practically
no extra effort and without any HLA skill


Bibliography
R efere n ce s S im u la tio n C o n fe re n c e , p p . 4 6 8 -4 7 4 , D e c .1 9 9 7 .
[1 ] A . D ’ A m b r o g io , D . G ia n n i, G . Ia z e o lla , A . P ie r o n i, “ D is tr ib u te d [19] B .P . Z ie g le r, G . B a ll, H . C ho, J .S . L ee, H . S a rjo u g h ia n ,
S im u la tio n o f C o m p le x S y s te m s b y U s e o f a n H L A -tr a n s p a r e n t “ I m p le m e n ta tio n o f th e d e v s fo r m a lis m o v e r th e h la /r ti: p r o b le m s
S im u la tio n Language”, IC S C 2 0 0 8 , P ro c . 7 th In te r n a tio n a l a n d s o lu tio n s ” , P r o c . 1 9 9 9 S im u la tio n In te r o p e r a b ility W o r k s h o p
C o n fere n c e on S y ste m S im u la tio n and S c ie n tific C o m p u tin g , (s iw 9 9 ).
B e ijin g , C h in a , O c t. 1 0 -1 2 , 2 0 0 8 . [20] P . S c h a f e r , “ H a r d w a r e -in -th e - lo o p s im u la tio n o f m u ltib o d y s y s te m
[2 ] A . D ’ A m b r o g io , D . G ia n n i, G . Ia z e o lla , “ S o ftw a r e T e c h o n o lo g ie s m o d e ls w ith tr a n s p u te r ” , C o n tr o l E n g in e e r in g P r a c tic e , v o l.1 , is s u e
fo r th e e ffo r tle s s d e v e lo p m e n t o f d is tr ib u te d s im u la tio n s y s te m s ” , 4 , p p 3 3 -3 8 , E ls e v ie r, A u g 1 9 9 3 .
S im u la tio n : T ra n s a c tio n s of th e S o c ie ty for M o d e llin g and [21] R . Is e r m a n n , J . S c h a f fn it, S . S in s e l, “ H a r d w a r e - in - th e -lo o p fo r th e
S im u la tio n In te r n a tio n a l, u n d e r r e v is io n , S C S , S a n D ie g o , U S A . d e s ig n a n d te s tin g o f e n g in e - c o n tr o l s y s te m s ” , C o n tr o l E n g in e e r in g
[3 ] A . D ’ A m b r o g io , D . G ia n n i, G . Ia z e o lla , A . P ie r o n i, “ P r o d u c in g P r a c tic e , v o l.7 , is s u e 5 , p p . 6 4 3 - 6 5 3 , E ls e v ie r , M a y 1 9 9 9 .
s im u la tio n sequ en ces by u se of a J a v a -b a se d g e n e r a liz e d [22] B .M . H an son , M .C . L e v e s le y , K .W a tte rs o n , P .G . W a lk e r ,
fr a m e w o r k ” , E S M 2 0 0 8 , E u r o p e a n M o d e llin g S y m p o s iu m 2 0 0 8 , “ H a r d w a r e - in - th e - lo o p - s im u la tio n o f th e c a r d io v a s c u la r s y s te m ,
L iv e rp o o l H o p e U n iv e rsity , U K , S e p t. 8 -1 0 , 2 0 0 8 . w ith a s s is t d e v ic e te s tin g a p p lic a tio n ” , In s titu te o f th e P h y s ic s a n d
[4 ] A . D ’ A m b r o g io , D . G ia n n i, A L a n g u a g e to E n a b le D is tr ib u te d E n g in e e r i n g in M e d ic in e , v o l.2 9 , is s u e 3 , p p . 3 6 7 -3 7 4 ,.
S im u la tio n o f E x te n d e d Q u e u e in g N e tw o r k s , J o u r n a l o f C o m p u te r s , [23] J. S in s e l, S. Is e rm a n n , R . S c h a ffn it, “ H a r d w a r e -in -th e -lo o p
V O L .2 , N O . 4 , p p . 7 6 -8 6 , J u n e 2 0 0 7 . s im u la tio n fo r th e in v e s tig a tio n o f tr u c k d ie s e l in je c tio n s y s te m s ” ,
[5 ] A . D 'A m b r o g i o , D . G ia n n i and G . Ia z e o lla , “ jE Q N : a P r o c e e d in g s o f th e A m e r ic a n C o n tro l C o n f e r e n c e , v o l.1 , p p . 4 9 8 -
J a v a b a s e d L a n g u a g e fo r th e D is tr ib u te d S im u la tio n o f Q u e u e in g 502, 1998.
N e tw o r k s ” , L N C S v o l. 4 2 6 3 /2 0 0 6 , P r o c e e d in g s of th e 2 1 st [24] R .B ie g e le is e n , E .E a s o n , M .M ic h e ls o n , C .R e d d y , “ N e tw o r k in th e
In te r n a tio n a l S y m p o s iu m o n C o m p u te r a n d In f o r m a tio n S c ie n c e s lo o p u s in g H LA, d is tr ib u te d O PN ET s im u la tio n s , and 3D
( I S C I S '0 6 ) , I s t a n b u l , T u r k e y , N o v 1 - 3 , 2 0 0 6 . v is u a liz a tio n s ” , IE E E M ilita ry C o m m u n ic a tio n s C o n f e r e n c e , 1 6 6 7 -
[6 ] “ IE E E S ta n d a r d fo r D is tr ib u te d In te r a c tiv e S im u la tio n ” - 1 6 7 1 v o l. 3 . M IL C O M 2 0 0 5 .
A p p lic a ti o n p r o t o c o ls , S td 1 2 7 8 .1 A , 1 9 9 8 .
[7 ] “ I E E E S ta n d a r d fo r M o d e lin g a n d S im u la tio n ( M & S ) H ig h L e v e l
A r c h ite c tu r e (H L A ) – fr a m e w o r k a n d r u le s ” , S td 1 5 1 6 , 2 0 0 0 .
[8 ] G . R ile y , M . A m m a r, R . F u jim o to , A . P a r k , K . P e r u m a lla a n d D . X u ,
“ A F e d e r a te d A p p r o a c h to D is tr ib u te d N e tw o r k S im u la tio n ” , A C M
T r a n s a c tio n o n M o d e lin g a n d C o m p u te r S im u la tio n ( T O M A C S ) ,
V o l. 1 4 , n . 2 , A p r , 2 0 0 4 .
[9 ] F . K u h l, R . W e a th e rly a n d J . D a h m a n n , “ C r e a tin g C o m p u te r
S im u la tio n S y s te m s : An In tr o d u c tio n to th e H ig h L evel
A r c h ite c tu r e ” , P re n tic e H a ll, 1 9 9 9 .
[1 0 ] A . D 'A m b r o g i o , D . G i a n n i a n d G . Ia z e o l la , “ S i m J : A F r a m e w o r k t o
D e v e lo p D is tr ib u te d S im u la to r s ” , P r o c e e d in g s o f th e 2 0 0 6 S u m m e r
C o m p u te r S im u la tio n C o n f e r e n c e , C a lg a r y , C a n a d a , A u g . 2 0 0 6 .
[1 1 ] K a rls s o n M ., O ls s o n L ., “ p R T I™ 1 5 1 6 ” - R a tio n a le a n d D e s ig n ,
P r o c e e d in g s o f 2 0 0 1 F a ll S im u la tio n In te r o p e r a b ility W o r k s h o p ,
0 1 F - S IW -0 3 8 , S im u la tio n In te r o p e r a b ility S ta n d a rd s O r g a n iz a tio n ,
S e p te m b e r 2 0 0 1 .
[1 2 ] A . D 'A m b r o g i o , D . G i a n n i , G . Ia z e o l la , “ S o ft w a r e T e c h n o l o g ie s fo r
th e I n te r o p e r a b ility a n d R e u s a b ility o f D is tr ib u te d S im u la to r s ” ,
P ro c . E u ro S IW 2 0 0 7 , S im u la tio n In te ro p e r a b ility S ta n d a rd s
O r g a n iz a tio n , G e n o v a , Ita ly , J u n e 1 8 -2 0 , 2 0 0 7 .
[1 3 ] A . D 'A m b r o g i o , D . G ia n n i , G . Ia z e o l l a , “ A L a y e r e d A r c h i te c t u r e f o r
th e M o d e l- d r iv e n D e v e lo p m e n t o f D is tr ib u te d S im u la to r s ” , P r o c .
S IM U T o o ls ’ 0 8 , In te r n a tio n a l C o n f e r e n c e o n S im u la tio n T o o ls a n d
T e c h n iq u e s f o r C o m m u n ic a tio n , N e tw o r k s a n d S y s te m s , M a r s e ille ,
F ra n c e , M a rc h 3 -7 , 2 0 0 8 .
[1 4 ] A . D 'A m b r o g i o , D . G ia n n i , G . Ia z e o ll a , “ D i s S i m J A D E : A fr a m e w o r k
fo r th e d e v e lo p m e n t of A g e n t-b a s e d D is tr ib u te d S im u la tio n
S y ste m s” , P ro c . S IM U T o o ls ’ 0 9 , In te rn a tio n a l C o n fere n c e on
S im u la tio n T o o ls a n d T e c h n iq u e s f o r C o m m u n ic a tio n , N e tw o r k s a n d
S y ste m s, R o m e , 2 0 0 9 .
[1 5 ] A . D ’ A m b r o g io , D . G ia n n i, G . Ia z e o lla , A . P ie r o n i, “ P r o d u c in g
s im u la tio n sequ en ces by u se of a J a v a -b a se d g e n e r a liz e d
fr a m e w o r k ” E M S 2 0 0 8 , E u r o p e a n M o d e llin g S y m p o s iu m 2008,
L iv e rp o o l H o p e U n iv e rsity , U K , S e p t. 8 -1 0 2 0 0 8 .
[1 6 ] A . D ’A m b ro g io , D . G ia n n i, G . Ia z e o lla , “ O n to lo g y -b a s e d
s p e c ific a tio n of s im u la tio n seq uen ces”, IJ S S S T ( In te r n a tio n a l
J o u r n a l o f S im u la tio n S y s te m s , S c ie n c e a n d T e c h n o lo g y ) , V o l. X ,
n o . 1 - B , S p e c ia l Is s u e o n In te r n e t M o d e llin g , S e m a n tic W e b a n d
O n to lo g ie s , M a y 2 0 0 9 .
[1 7 ] A . D ’ A m b r o g io , D . G ia n n i, G . Ia z e o lla , A . P ie ro n i “ H L A -
t r a n s p a r e n t d i s tr ib u t e d s i m u la t io n o f a g e n t b a s e d s y s te m s ” , in
M o d e li n g S im u la t io n a n d O p t im i z a ti o n , C h .1 , In - T e c h E d .s , 2 0 0 9 .
[1 8 ] E .H . P a g e , R .L . M o o s e , S .P . G r if f in , “ w e b - b a s e d s im u la tio n in
s im ja v a u s in g r e m o te m e th o d in v o c a tio n ” , p r o c . 1 9 9 7 W in te r

ACK

Work partially supported by funds from the FIRB
project on “Software frameworks and
technologies for distributed simulation”, from the
FIRB project on “Performance evaluation of
complex systems”, from the University of Rome
TorVergata research on “Performance modeling
of service-oriented architectures” and from the
CERTIA Research Center.


Thank you for
your kind attention…


Presentazione pieroni

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Andere mochten auch

Andere mochten auch (19)

Ähnlich wie Presentazione pieroni

Ähnlich wie Presentazione pieroni (20)

Mehr von Daniele Gianni

Mehr von Daniele Gianni (11)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Presentazione pieroni