Parallel DEVS & DEVSJAVA Presented by Ximeng Sun Mar 16, 2005 - - PowerPoint PPT Presentation

▶
parallel devs devsjava
SMART_READER_LITE
LIVE PREVIEW

Parallel DEVS & DEVSJAVA Presented by Ximeng Sun Mar 16, 2005 - - PowerPoint PPT Presentation

Aug 28, 2023 118 likes •539 views

Parallel DEVS & DEVSJAVA Presented by Ximeng Sun Mar 16, 2005 References Bernard P. Zergler, Herbert Praehofer, and Tag Gon Kim. Theory of Modeling and Simulation. Academic Press, 2000. Bernard P. Zergler, Hessam S. Sarjoughian.

slide-1
SLIDE 1

Parallel DEVS & DEVSJAVA

Presented by Ximeng Sun Mar 16, 2005

slide-2
SLIDE 2

References

Bernard P. Zergler, Herbert Praehofer, and Tag Gon

Kim. Theory of Modeling and Simulation. Academic Press, 2000.

Bernard P. Zergler, Hessam S. Sarjoughian.

Introduction to DEVS Modeling and Simulation with JAVA. http://www.acims.arizona.edu/SOFTWARE/software .shtml#DEVSJAVA

slide-3
SLIDE 3

Outline

Classic DEVS quick review Why Parallel DEVS Parallel DEVS Formalism

Atomic Model Coupled Model Closure under Coupling

Parallel DEVS Simulation Protocol DEVSJAVA

slide-4
SLIDE 4

Classic DEVS quick review Why Parallel DEVS Parallel DEVS Formalism

Atomic Model Coupled Model Closure under Coupling

Parallel DEVS Simulation Protocol DEVSJAVA

slide-5
SLIDE 5

Classic DEVS formalism

slide-6
SLIDE 6

DEVS in action

slide-7
SLIDE 7

Classic DEVS Coupled Model

. . D : the set of the components names. Md : component DEVS models EIC : external input coupling connects external inputs to

component inputs

EOC : external output coupling connects component

  • utputs to external outputs

IC : internal coupling connects component outputs to

component inputs

.

slide-8
SLIDE 8

Classic DEVS quick review Why Parallel DEVS Parallel DEVS Formalism

Atomic Model Coupled Model Closure under Coupling

Parallel DEVS Simulation Protocol DEVSJAVA

slide-9
SLIDE 9

Simple Pipeline model

slide-10
SLIDE 10

In Action

slide-11
SLIDE 11

Q? For p1 which one is correct: δ int –> δ ext

  • r

δ ext –> δ int

Simultaneous events

slide-12
SLIDE 12

Indirect control

In Classic DEVS, only one would be chosen

to execute by Select function.

Select: s –> p1 ≡ internal-transition-first Select: s –> p0 ≡ external-transition-first

slide-13
SLIDE 13

If there’s a feedback…

slide-14
SLIDE 14

Lose input anyway

In Classic DEVS, always make the same

choice among imminent components.

Select: s –> p0|p1 ≡ p0|p1 loses input

slide-15
SLIDE 15

Classic DEVS quick review Why Parallel DEVS Parallel DEVS Formalism

Atomic Model Coupled Model Closure under Coupling

Parallel DEVS Simulation Protocol DEVSJAVA

slide-16
SLIDE 16

Xb is a set of bags over elements in X.

Parallel DEVS Atomic Model

slide-17
SLIDE 17

Extensions of Classic DEVS

Allowing bags of inputs to the external

function

Inputs may arrive in any order Inputs with the same identity may arrive from

  • ne or more sources

Introducing confluent transition function

Localize collision tie-breaking control

slide-18
SLIDE 18

Confluent Transition Function

Collision: e = ta(s) Classic DEVS: by Select function, at

coupled model level – Global decision

Parallel DEVS: by , to each individual

component – Local decision

Default: δcon(s,x) =δext(δint(s),0,x) Or: δcon(s,x) =δint(δext(s,ta(s),x))

slide-19
SLIDE 19

Parallel DEVS Coupled Model

. Identical to Classic DEVS, except for the absence

  • f the Select function

X : a set of input events Y : a set of output events D : a set of component references Md : a Parallel DEVS model, for each Id : a set of influencers of d ,

for each

Zi,d : a set of output-to-input translation functions, for

each

slide-20
SLIDE 20

Previous example

slide-21
SLIDE 21

Handling of imminent components in Parallel DEVS

slide-22
SLIDE 22

Problem in Classic DEVS solved

slide-23
SLIDE 23

Closure under Coupling of Parallel DEVS

Partition components into 4 sets:

.

imminent components

.

components about to receive inputs

  • (confluent components)
  • (imminent components

receiving no input)

  • (components receiving input

but not imminent)

  • .

(remaining components)

Resultant of the coupled model:

slide-24
SLIDE 24

Closure under Coupling of Parallel DEVS

Functions of the Resultant:

Output Function: Internal Transition Function:

slide-25
SLIDE 25

Closure under Coupling of Parallel DEVS

External Transition Function:

slide-26
SLIDE 26

Confluent Transition Function:

slide-27
SLIDE 27

Generic Transition Function

Component is ? Confluent: Imminent only: Recipient only:

slide-28
SLIDE 28

Classic DEVS quick review Why Parallel DEVS Parallel DEVS Formalism

Atomic Model Coupled Model Closure under Coupling

Parallel DEVS Simulation Protocol DEVSJAVA

slide-29
SLIDE 29

Hierarchical Model

coordinator coordinator simulator simulator simulator Coupled Model Coupled Model Atomic Model Atomic Model Atomic Model

slide-30
SLIDE 30

Atomic Model Simulator

slide-31
SLIDE 31

Coupled Model Simulator

slide-32
SLIDE 32

Classic DEVS quick review Why Parallel DEVS Parallel DEVS Formalism

Atomic Model Coupled Model Closure under Coupling

Parallel DEVS Simulation Protocol DEVSJAVA

slide-33
SLIDE 33

DEVSJAVA

DEVS-based, Object-Oriented Modeling and

Simulation environment.

Written in Java and supports parallel

execution on a uni-processor

Simulation Viewer for animating simulation

in V2.7

slide-34
SLIDE 34

Package Diagram

slide-35
SLIDE 35

DEVSJAVA Class hierarchy of container classes

slide-36
SLIDE 36

DEVSJAVA Class hierarchy of DEVS classes

slide-37
SLIDE 37

Simple Pipeline in DEVSJAVA

slide-38
SLIDE 38

Simulation Viewer

slide-39
SLIDE 39

More complicated example

slide-40
SLIDE 40

Sources

DEVSJAVA - Modeling and Simulation

environment for developing DEVS-based models by Hessam Sarjoughian, Bernard Zeigler.

http://www.acims.arizona.edu/SOFTWARE/software.s

html#DEVSJAVA (need a license)

slide-41
SLIDE 41

Question?