Wol

fgan

g P

ree

Uni

vers

ity o

f Sal

zbur

g, A

ustr

iaw

ww

.Sof

twar

eRes

earc

h.ne

t

A jo

int p

roje

ct o

fW

. Pre

e, G

. Stie

glba

uer

and

C. K

irsch

Mod

el-b

ased

Dev

elop

men

t with

Gio

tto@

Sim

ulin

kU

niv

ersi

tät

Sal

zbu

rg

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 2

Un

iver

sitä

tS

alzb

urg

Con

tent

s

Gio

tto@

Sim

ulin

k to

ol c

hain

�S

/G T

rans

lato

r:m

odel

tran

sfor

mat

ion,

Gio

tto c

ode

gene

ratio

n

�ill

ustr

ated

by

the

deve

lopm

ent o

f ath

rottl

e co

ntro

l sys

tem

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 3

Un

iver

sitä

tS

alzb

urg

Gio

tto-b

ased

dev

elop

men

t pro

cess

gene

rate

d

code

(fro

m th

e G

iotto

pap

er p

ublis

hed

in th

e IE

EE

Con

trol

Sys

tem

s M

agaz

ine,

Feb

. 200

3)

S/G

Tra

nsla

tor

gene

rate

s a

SL

mo

del

wit

h G

iott

o s

eman

tics

for

sim

ulat

ion

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 4

Un

iver

sitä

tS

alzb

urg

Cas

e st

udy:

cod

e ge

nera

tion

from

a G

iotto

@S

imul

ink

mod

el o

f a th

rottl

e co

ntro

l sys

tem

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 5

Un

iver

sitä

tS

alzb

urg

S/G

Tra

nsla

tor

�m

odel

tran

sfor

mat

ion

for

sim

ulat

ion

�m

odel

tran

sfor

mat

ion

for

func

tiona

lity

code

gene

ratio

n

�ge

nera

tion

of G

iotto

pro

gram

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 6

Un

iver

sitä

tS

alzb

urg

S/G

Tra

nlsa

tor

tool

SL

mod

el

SL

mod

el w

ithG

iotto

sem

antic

s

Gio

tto p

rogr

am

SL

mod

el w

ith d

river

sfo

r in

tegr

atio

n w

ith E

-mac

hine

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 7

Un

iver

sitä

tS

alzb

urg

Ste

p 1:

S/G

mod

el fo

r si

mul

atio

n

(fro

m th

e G

iotto

pap

er p

ublis

hed

in th

e IE

EE

Con

trol

Sys

tem

s M

agaz

ine,

Feb

. 200

3)

S/G

Tra

nsla

tor

gene

rate

s a

SL

mo

del

wit

h G

iott

o s

eman

tics

for

sim

ulat

ion

Ste

p 1

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 8

Un

iver

sitä

tS

alzb

urg

req

uir

ed in

pu

t fo

r th

e S

/G t

ran

slat

or

Pla

nt

Gio

ttoP

rogr

am

cont

rols

Gio

ttoT

ask

1..*

SL

Blo

ck*

mod

eled

usi

ng a

ny

SL

bloc

ks

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 9

Un

iver

sitä

tS

alzb

urg

Exa

mp

le:

two

Gio

tto

tas

ks w

ith

dif

fere

nt

freq

uen

cies

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

0U

niv

ersi

tät

Sal

zbu

rg

S/G

tra

nsl

ato

r is

fu

lly c

om

plia

nt

wit

h t

he

curr

ent

SL

syn

tax

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

1U

niv

ersi

tät

Sal

zbu

rg

Ste

p 2a

: S/G

mod

el fo

r th

e ge

nera

tion

of fu

nctio

nalit

yco

de th

at s

eam

less

ly in

tegr

ates

with

the

E-m

achi

ne

(fro

m th

e G

iotto

pap

er p

ublis

hed

in th

e IE

EE

Con

trol

Sys

tem

s M

agaz

ine,

Feb

. 200

3)

S/G

Tra

nsla

tor:

gene

rate

s a

SL

mo

del

wit

h

Gio

tto

sem

anti

cs

for

sim

ulat

ion

Ste

p 1

Ste

p 2a

:S

L m

odel

for

gene

ratin

g gl

ue c

ode

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

2U

niv

ersi

tät

Sal

zbu

rg

S/G

Tra

nlsa

tor

tool

SL

mod

el

SL

mod

el w

ithG

iotto

sem

antic

s

SL

mod

el w

ith d

river

sfo

r in

tegr

atio

n w

ith E

-mac

hine

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

3U

niv

ersi

tät

Sal

zbu

rg

prep

arat

ion

for

linki

ng ti

min

g co

de a

ndfu

nctio

nalit

y co

de (

I)

Fun

ctio

nalit

y pr

ogra

m(S

L →

C c

ode)

Tim

ing

prog

ram

(Gio

tto p

rogr

am)

E c

ode

Fun

ctio

nalit

yw

rapp

ers

Gio

ttoco

mpi

ler

E m

achi

ne

inte

rpre

tsca

lls

Fun

ctio

nalit

y lib

rary

C c

ompi

ler

call

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

4U

niv

ersi

tät

Sal

zbu

rg

prep

arat

ion

for

linki

ng ti

min

g co

de a

ndfu

nctio

nalit

y co

de (

II)

�G

iotto

pro

gram

seg

men

ttask GiottoTask1( … )output ( … ) state ( …) {

schedule GiottoTask1();

}

�F

unct

iona

lity

wra

pper

void task_GiottoTask1() {

GiottoTask1();

}

�F

unct

iona

lity

code

void GiottoTask1(void) {

local_GiottoTask1_output_1=GiottoTask1_input1+GiottoTask_input_2;

}

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

5U

niv

ersi

tät

Sal

zbu

rg

prep

arat

ion

for

linki

ng ti

min

g co

de a

ndfu

nctio

nalit

y co

de (

III)

tran

spor

t and

con

vert

val

ues

betw

een

task

por

ts:

�vi

a g

loba

l var

iabl

es (

Sim

ulin

k/R

TW

)

�vi

a th

e G

iotto

driv

er c

once

pt

Gio

ttodr

iver

s

Gio

ttota

skG

iotto

task

Gio

tto d

river

s ar

e ca

lled

by

the

E-m

achi

ne

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

6U

niv

ersi

tät

Sal

zbu

rg

Ste

p 2b

: gen

erat

ion

of th

e G

iotto

pro

gram

(fro

m th

e G

iotto

pap

er p

ublis

hed

in th

e IE

EE

Con

trol

Sys

tem

s M

agaz

ine,

Feb

. 200

3)

S/G

Tra

nsla

tor:

gene

rate

s a

SL

mo

del

wit

h

Gio

tto

sem

anti

cs

for

sim

ulat

ion

Ste

p 1

Ste

p 2a

:S

L m

odel

for

gene

ratin

g gl

ue c

ode

Ste

p 2b

:G

iotto

pro

gram

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

7U

niv

ersi

tät

Sal

zbu

rg

S/G

Tra

nlsa

tor

tool

SL

mod

el

SL

mod

el w

ithG

iotto

sem

antic

s

Gio

tto p

rogr

am

SL

mod

el w

ith d

river

sfo

r in

tegr

atio

n w

ith E

-mac

hine

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

8U

niv

ersi

tät

Sal

zbu

rg

Ste

p 2c

: gen

erat

ion

of th

e fu

nctio

nalit

y pr

ogra

m w

ithth

e R

TW

Em

bedd

ed C

oder

(fro

m th

e G

iotto

pap

er p

ublis

hed

in th

e IE

EE

Con

trol

Sys

tem

s M

agaz

ine,

Feb

. 200

3)

S/G

Tra

nsla

tor:

gene

rate

s a

SL

mo

del

wit

h

Gio

tto

sem

anti

cs

for

sim

ulat

ion

Ste

p 1

Ste

p 2a

:S

L m

odel

for

gene

ratin

g gl

ue c

ode

Ste

p 2b

:G

iotto

pro

gram

Ste

p 2c

:C

pro

gram

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 1

9U

niv

ersi

tät

Sal

zbu

rg

thro

ttle

cont

rol s

yste

m @

wor

k

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 2

0U

niv

ersi

tät

Sal

zbu

rg

how

long

it to

ok to

...

�up

grad

e th

e S

/G T

rans

lato

r: 4

p. m

on

ths

�a

rede

sign

that

str

eam

lines

the

arch

itect

ure

and

mak

es th

e to

ol fu

lly c

ompl

iant

with

SL

synt

ax: 2

.5 m

�ge

nera

tion

of S

L m

odel

for

glu

e co

de g

ener

atio

n: 1

m�

reim

plem

enta

tion

of th

e C

# ve

rsio

n in

Jav

a: 0

.5 m

�im

plem

ent t

he E

TC

cas

e st

udy:

0.7

p. m

on

ths

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 2

1U

niv

ersi

tät

Sal

zbu

rg

Fut

ure

plan

s

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 2

2U

niv

ersi

tät

Sal

zbu

rg

Nex

t ste

ps

shor

t ter

m:

�ill

ustr

ate

com

posi

tion

and

time

safe

ty c

heck

s in

the

real

m o

f the

ET

C c

ase

stud

y

�in

tegr

atio

n of

Gio

tto m

odes

into

Sim

ulin

k

mid

-ter

m:

�S

/G-b

ased

pro

toty

pe im

plem

enta

tions

of m

ore

com

plex

con

trol

sys

tem

com

pone

nts

�co

ncep

ts fo

r co

ntro

l sys

tem

pro

duct

fam

ilies

© 2

003,

W. P

ree,

G. S

tiegl

baue

r, C

. Kirs

ch 2

3U

niv

ersi

tät

Sal

zbu

rg

The

end

Tha

nk y

ou fo

r yo

ur a

ttent

ion!