Modeling Railway Control Systems Using Graph Grammars: a Case Study

(1)

HAL Id: inria-00073479

https://hal.inria.fr/inria-00073479

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Grammars: a Case Study

Anne-Alexandra Holzbacher, Michaël Périn, Mario Südholt

To cite this version:

Anne-Alexandra Holzbacher, Michaël Périn, Mario Südholt. Modeling Railway Control Systems Using Graph Grammars: a Case Study. [Research Report] RR-3210, INRIA. 1997. �inria-00073479�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Modeling Railway Control Systems using Graph Grammars:

a Case Study

Anne-Alexandra Holzbacher, Michaël Périn, Mario Südholt

N ˚ 3210

juillet 1997

TH `EME 2

(3)

(4)

12."%3 4'

57668:9;57<=8:>%?@6A%BC?ED#F@<=GIH?@JLK%8IBCMONQP!RSJLK?$T8U<WVYX8IBR=6Z[NQP\?@B RSFE]T

^

AK%F@<=_CZ

`bac

d[ed7f7gihkjd[l$mnd#onpOqrmtsLmtd[o

dLubsLvOotsLwxoQy{z@e7|protmt}@w~d

pI;dLubvOlx~d

vxp

u.~d

d[s a d s a

d+lOfLg*{wxmtoondLu[OrgifIvqOd[y

[:U$Or

l#u

a

mty

dLp

uL¡¢£d£xdL¤Od[onpOv

vOmon¢£v:zsCprlu

pro@y{z@yud[e¦¥§¨d.v

d©evOmtlxotzªsCprl$sCd

l~d[7¢bmnu

a

u a

d¬«C;®C¯±°²³{´#²³µC¶¸·S¯¹´ µ[¯±º³´pO»u

a

dsCprlu

pro%yzyud[e¼vOlx½mtu{y¿¾ÀÁ²Â·Ãµ7´LÄIÅÆº~¯±·±Á0Ç¢Wdª~pl~pOuWxmy{sLwxy{y

a d

du

a

dªmte$otd[ed[lu{vu{mtprlÈ~dLu{vOmotypO»Éu

a

d4sCpreprl~d[lu{y£»Sp

emtlxq#u

a

dªsCprlu

proyz@y{ud[eÊ¥

`a

dypO»=uË¢£v

d

v s a mnud[sCu{w

dmty#s a v

vOsCud

mtÌLd[Í|@z!v

a

mtd

v s a

zÎpO»sCprlu

protond

y#¢

a

pryd½otd[v[¤Od[yv

dÈotp@sLvOosCprl¸u

prototd

y

sCprlxl~d[sCud[mtl2v\l~dLu¹¢£p

{Ï

u a

vuYemte½mtsLyu

a

dEwxlx~d

onz@ml~q

vOmton¢©v[zÐupOpronpOqOzO¥(Ñy{mtl~q\vÍ$v

u{mtsLwxotv

Ò

³²Ó$¶

Ò

³²ÂÂ²O³¡W¢WdÈ»=p

e½vOotonzÎ~dCÔl~d½vEsLotvOy{y#pO»bypO»Su¹¢©v

dYv

s a

mtud[sCu{w

d[y7»=p

u a d

vOmton¢©v[z¨sCprlu

pro

yzyud[eÕd[lxy{w

mtl~qydL¤Od

vOo~d[y{m

v|$ond7

pOd

u{mnd[y|¸zsCprlxyu

wxsCu{mtprl¥

`a

d~zlxvOemts7dL¤Oprotw~u{mtprlpO»Wu a d

v s a mnud[sCu{w

dmtyep~d[otond[k|¸zEvÈy{dLupO»Öµ [³¾·SÁ²O¯±·ÃÁÐ³×º@Åt´×«¢

a

ms

a

~dCÔl~dq

v

a u

vOlxy»Sp

evu{mtprlxyL¥

v

u{mtsLwxov

d[e

a

vOy{mtymty$otvOsCd[prlÈu

a

dÄO´C³×·Ø£µ ²O¯±·ÃÁ¦pO»u

a

d[y{d

wxotd[y¢bmnu a

d[yd[sCuup7xd[y{m

v|$otd.

pO~Ù

d

u{mnd[yªd[l$sCp@~d[¨mlu

a

dq

vOeev

yL¥Ñy mtl~qYu

a

dq

v

a q

vOe½ev

vOlxÎu

a

dsCp@p

xmtlxvu{mtprl

wxond[yªvOyv

»Sp

evOoxyd[sLmÚÔ%sLvu{mnprlpO»u a d

vOmon¢£v:zsCprlu

proyzyud[eÊ¡¢£db~d

mn¤OdbvOl½me$ond[ed[l¸u{vu{mnprlmtlÛ£prlÛ£p@p

¡

vOl¨d[l¸¤@m

prlxed[l¸uª»=p

sCprl$sLw

{

d[l¸usCp¸p

xmtlxvud[Î

pOq

vOeemtlxq¢

a

prydsCp@p

xmtlxvu{mtprlEovOl~qrwxvqOdd

Ù

emnu{y4w$yªupk~dCÔl~du

a

dÈypO»=uË¢£v

d½v

s a

mnud[sCu{w

dpO»£u

a

dsCprl¸u

proy{z@yud[evOlx¨mnu{y~zlxvOems#dL¤Oprotwxu{mnprl

v|$yu

vOsCu{mtl~q½v:¢£v:zÊ»

preÜu

a

dmte$otd[ed[lu{vu{mtprlÊ~dLu{vOmtoty.pO»Ýmnu{ysCpre%prlxd[lu{yL¥

Þkß¸àá{âã IäO

y{pO»=uË¢£v

dv

s a

mnud[sCu{w

dO¡0q

v

a q

vOeev

¡Ýv

s a

mnud[sCu{w

d½y{u¹zondO¡0xz@lxvOe½mtsv

s a

mnud[s×Ù

u{w

vOoep@xmnÔsLvu{mnprl¡»Sp

evOoQedLu

a

p@xy

åÚæç

èËéëê[ì

ç

è£íQîné¹ïÃðCñ

òóIôöõ÷ëø;ùOú ÷ÃûôöõÉüýøÿþ[ûëø;ý:øCøË÷ëõÃôúýú~ûëóIøü{÷Ãûëô øù:÷ëø;õÃø;ýLûëøü{û$ò !#"$%'&

()*$+,.-./$)10.2435768)9.:;.554;46=<>:@?

AB"$C"$DÉø;ýUýIø;õ

?

FEø;ùIü ÷ÃûëøHG.øÿý[ûISý$Úú÷JGü{ûëôK4LUø

MNPO$Q

;.:$3R5TSJ6U1V8*$+,W$X243R:$368)Y<Z>:

Unit´e de recherche INRIA Rennes

(5)

ß ß

Û©d

vxp

ub

jd[yd[l¸udov½sCprlxsCdLxu{mtprlöw$lkyzyu

c

d[ed~d7sCprl¸u

prondprw

b

j

d[yd[vOwk»=d

j

d[yL¥

prwxyl~prwxyypreed[y

mtlxsLmn$vOotd[ed[lu7vuu{vOs a jd[y

c

v£jd[s

m

dYd[l ud

ed[y~dq

v

a

d[ydLu~du

vOlxy»Sp

Ù

evu{mnprl$yÈ~dq

v

a

d[y[¡Å²³;µL¶·±¯¹´{µ[¯±º³{´¨Ån Ò ·±µ[·Ã´LÅ=Åt´Îxw yz@y{u

c

d[edÎxdksCprlu

pronddLuEÅ! ´LÄIÅÆº~¯±·±Á ¾¸´¨µ´[¯Ã¯¹´

²³µC¶·±¯¹´{µ:¯±º³´kÇQl~prwxyªl~d£jd[s

mn¤Oprl$yª$vOyd[lE£jdLu{vOmo0o"ömte$o×jd[ed[l¸u{vu{mnprlÎ~d[yªsCprepry{vOl¸u{y4xwEyz@y{u

c

d[edO¥

öv

s a

mnud[sCu{w

donpOqrmtsLmnd[ototd7}@w~dlxprwxyb

pOpryprlxy%prw

ondyzyu

c

d[ed~dsCprlu

protdd[yu

a

mjd v s a mt}¸wxdO¥

o

y#övqrmnuöwxlÊv

|

d#~d#sCprl¸u

prond[w

yb~prl¸ubond[yb»=d[w$mtotond[y©yprl¸u~d[ysCprlu

prond[w

yonp@sLvOwYsCprlxlxd[sCu¸jd[yªd[l

jdCÙ

yd[vOwÈ~devOlxm

c

d d c v

dL

pxwxm

d£ov4upOpronpOqrmndxw

jd[y{d[vOw½»Sd

{

j

dO¥

c

$

$v

u{m

xd Ò ³²ÂÂ²O·=³{´×«¾´ Ò ³;²Ó¶´×«×¡

l~prwxybWjdCÔlxmty{y{prlxy©»=p

ed[otond[ed[l¸u.wxl~dsLotvOy ydöv

s a

mnud[sCu{w

d[y}¸w$m¤jd mÚÔd4$v

sCprlxyu

wxsCu{mnprl¦~d[y

pÙ

m×jdLu@jd[y4yu

wxsCu{w

d[ototd[ybmtep

u{vOl¸ud[yprw

ondyzyu

c

d[ed~dsCprlu

protdO¥ª%öv

s a

mnud[sCu{w

dxwEyzyu

c

d[edd[yu

y{wxy sCdLxu{mn|$ondËjdL¤Oprotw~d

d[lÐsCprw

yd&jd[sLw~u{mtprl¡Wd[l¸u

dÊvOw~u

d[yprw

d[lx

dÈd[lÐsCprexud¦ond[yepxmÚÙ

ÔsLvu{mnprl$yupOpronpOqrmt}@w~d[y#$w

jd[yd[vOw\»=d

j

dO¥¦Qd[y#ep@xmnÔsLvu{mnprlxyxz@lxvOe½mt}¸wxd[y4~dÈo'öv

s a

mnud[sCu{w

d½yprl¸u

epWjd[otmty@jdLd[y$v

xd[y³(´Ò Åt´×«¾´µ :³;¾O·=Á²r¯±·±ÁÐ}@wxmQ£jdCÔl$mty{yd[l¸ub~d[ybu

vOlxy»Sp

evu{mnprl$yby{w

ond[yq

v

a

d[y

~d[yv

s a

mnud[sCu{w

d[yL¥

prwxyÈypreed[y½d[l ed[y{w

d¦~d¦¤jd mÚÔ$d

}¸w~d¦otd[y

c

dLqrond[y~dksCp@p

xmtlxvu{mtprl dCÙj

yd

¤Od[l¸uond[y

pO

mjdLu¸jd[yyu

wxsCu{w

d[otond[ymtlxxw$mnud[y$v

otd[yq

vOeevOm

d[y[¥*)ªw~u

dond[w

w~u{motmty{vu{mnprl

c

vY~d[y

Ôlxy7övOlxvOonzydO¡Ýond[y

c

dLqrond[y~dÈsCp@p

xmtl$vu{mnprlÍyd

¤Od[lu~d½y©jd[sLmnÔsLvu{mnprlxy»Sp

ed[otond[y%prw

sCprlxyu

wxm

d

wxlÎ

pOupOu¹z@%dÈxw¨yzyu

c

d[ed½~dsCprl¸u

prondO¥

prwxywxu{mtotmtyprl$y4Û©prlÛ£p@p

¡QwxlÎd[l¸¤@m

prlxl~d[ed[l¸u4prw

otv

pOq

vOeevu{mnprl sCprlxsLw

d[ludÊsCp@p

~prlxl£jdLdO¡W~prluondYotvOl~qrvqOdÊ~dYsCp@p

xmtlxvu{mtprl¡WÛÛ©¡Éd

edLu~d

£jd[s

m

do'öv

s a

mnud[sCu{w

donpOqrmsLmnd[otondªxwÊyzyu

c

d[eddLuby{prl dL¤Oprotw~u{mnprl¦xz@lxvOe½mt}¸wxdd[lÊ»±vOmty{vOl¸uv|$yuj

vOsCu{mnprl

~d[y£WjdLu{vOmtoty£ömteojd[ed[lu{vu{mtprlÈ~d[y£sCprepry{vOl¸u{yL¥Qd[y©y{memtotmnu{w$~d[y0d[lu

dªond[y

c

dLqrond[y©~dsCp@p

xmlxvu{mnprl

dLuond[w

me$o×jd[ed[l¸u{vu{mnprlYd[lkÛÛ©Íl~prwxy©d

edLuud[l¸ud[l¸¤@mty vqOd

wxl~d4vOw~uprevu{my{vu{mnprlÊ$v

u{mnd[otondªxw

psCd[y{y{w$y.ömte$o×jd[ed[lu{vu{mnprlQ¥

+ ã : á -, ß v s a

mnud[sCu{w

d[yÝonpOqrmtsLmtd[otond[yL¡Uq

vOeevOm

d[y~dq

v

a

d[yL¡OyuËz@otd£v

s a

mnud[sCu{w

vOoÃ¡Oep@$mÚÔsLvu{mnprl

~zlxvOemt}@w~d4öv

s a

mnud[sCu{w

d[yL¡$e\jdLu

a

p~d[y»Sp

ed[oond[yL¥

(6)

2%W%"

: ã ä ÉOã

ã

Í ,

ß

ã

ß

,â

à! ã

:

ã

,#"

à

L

ß

$ % ã Í ,& ß('

=ã É

*)YU,+-.)I ÍxI /

@¥t 0d[y{s

mn|mtl~q21@pO»Su¹¢©v

d $ s a

mnud[sCu{w

d[yÑy{ml~q½h

v

a h

vOeev

y ¥¥¥4¥#¥¥¥4¥¥¥ 3

@¥t¥t h v

a h

vOe½ev

yL¥ ¥#¥4¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥

@¥t¥f $ s a mnud[sCu{w

d41u¹zondvOlx65Ewxonu{mnond87ªmndL¢by ¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥

@¥t¥ Û£p@p

xmlxvu{mnprl

w$ond[yb¥#¥4¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ 9

@¥f vOmon¢£v:z

`

pOpronpOqOz:7mtdL¢ vOlxÛ£prl¸u

pro;7ªmndL¢ ¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ 9

@¥f@¥t 0dCÔlxmtu{mnprlYpO»Ýu a d

dLuË¢Wp

Ï

pO»ÝÉp@sLvOo0Û£prlu

protond

y.¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥

@¥f@¥f 0dCÔlxmtu{mnprlYpO»Ýu

a

d7Û£prl¸u

pro<mnd

v s a z ¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ L

@¥f@¥

d[otvu{mtl~qu

a

d#u¹¢£p27ªmndL¢by ¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ O

@¥ 0dCÔlxmnu{mtprlYpO»=0zlxvOemts

$ s a

mnud[sCu{w

vOo0Û

a

vOl~qOd[y ¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ O

@¥@¥t Û a

vOl~qrmtl~qu a d

vOmton¢©v[z

`

pOpronpOqOz>0zlxvOemtsLvOototzÖ¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ [f

@¥@¥f ?¤Oprotw~u{mnprlÊpO»0u

a

dÛ©prlu

pro<mnd

v s a

z(¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ C

@+,

ß ß

:~

ã ã 7ãã

Iä

/

~¥t

`a

d l¸ud

»SvOsCd[ypO»ÝQpsLvOoQvOlx

dLqrmnprlxvOoÛ£prl¸u

prototd

y ¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ 9

~¥f

`a

d $

xxmtu{mnprlYpO»0v

otvu»Sp

e ¥4¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥4¥#¥¥¥4¥¥¥ [

A 6S[-[ã ã ã ÉB+-+ ã $ BC

ß ß ß ß ,

DFEQ @+,ß ã ä ß HG~~ ã B$

(7)

ª%' 0{

l!u

a

mty$vd

¡¢£d½

pOpryd½vkxd[y{mnqrl¨»Sp

v

vOmton¢©v[z¨sCprl¸u

pro£yz@y{ud[e»SprotonpU¢bmtl~qÊu a d

d[}@wxm

d[ed[l¸u{y

pO»rë¥

`a

d#sCprlu

protond[

vOmton¢©v[zYl~dLu¹¢£p

{Ï

sCprlxy{myu{ypO»Ýu

vOs

Ï

yL¡{wxlxsCu{mnprlxybvOlxkyu{vu{mtprlxy¢bmtu

a

prl~d

p ep

d$otvu»Sp

ey[¥=?WvOs a u

vOmtlu

v[¤Od

yd[yWu

a

dblxdLu¹¢£p

{Ï

»=proonp:¢bml~qv4qronpO|$vOoy{s

a

d[xwxond.¢

a

mts

a

xdCÔl~d[y

v¨u{mtedLu{v|$ondÊvOlx v

prw~ud¦sCprlxy{mty{u{mtl~qÎpO»4yu{vu{mnprlxyL¥

`ba

d

vOmton¢©v[z\sCprlu

probyzyud[e*sCpreewxlxmsLvud[y

¢bmnu a u

vOmtl$y¤mtv v\epO|$mond¦¢bmtxdv

d[v l~dLuË¢Wp

{Ï

5k§

$

¥

uewxyud[lxy{w

dku

a

vuu

vOmtlxy~p l~pOu

sCprototm~d¦vOlx u a vu½u

a

dLz

d[yd[sCuvOy½ewxs

a

vOypry{y{mt|$ondYu

a

d[m

y{s

a

d[$wxondO¥

u½e½v[z ev

Ï

dEu

v[¤Od[ootmtl~q

ep

dsCpre»=p

u{v|$ond|@zv[¤Oprmtxml~q#v|

wxxus

a

vOlxqOd[yWmtlu

vOmtlydLd[xyL¥

lvOxxmtu{mnprl¡Ou

a

dbsCprl¸u

pro%yzyud[e

ewxyu

pU¤@m~d.u

a

dbyu{vudeprlxmnup

mtl~qªpO»u

a

du

vOmtlxyÝprl½u a d

vOmtot¢£v:zlxdLu¹¢£p

{Ï

vOlxd&d[sLw~udsCp

{

d[sCu{mn¤Od

vOsCu{mnprlxy7prl\u

vOmtl y{s

a

d[$wxond[y#mt»©lxdLd[~d[¥

`a

d½upOpronpOqOz¨pO»u a d

vOmton¢©v[z!lxdLu¹¢£p

{Ï

ev:zÍs

a

vOlxqOdÈ»Sp

d&~vOe$ondY¤mtvku

a

dYvO$xmnu{mnprl pO»bu

vOs

Ï

y[¥

`

vOmtlxyev:zÍ|dÊ~z@l$vOemtsLvOotonz¨mtl¸u

pxwxsCd[ p

d[epU¤Od[ vu

yu{vu{mnprl$y©pO»Qu a d

vOmton¢©v[zÈl~dLu¹¢£p

{Ï

¥£hd[l~d

vOoonz½yd[v

Ï

mtl~q~¡epryu©$v

vOedLud

y©pO»Éu a d

vOmtot¢£v:z½l~dLu¹¢£p

{Ï

sLvOl¦¤v

zYxw

ml~q7u

a

dd&@d[sLwxu{mnprlÊpO»Ýu

a

dsCprl¸u

proÉyzyud[eÊ¥

§¨d

a

v[¤OdkvOxxd[ prl~d¦vOy{y{wxexu{mnprl\up!u

a

dÊ

pO|$ond[e ~dCÔlxmtu{mnprl½¢£d

d[}@wxm

d»Sp

d[vOs a u

vOmtlÐv

~dLu{vOmtotd[y{s

a

d[xwxotd#¢

a

ms

a

xdCÔl~d[ymnu{ybu{medLu{v|$ondvOlxmtu{y

prwxud7qrmn¤mtl~qE²Å=Å$u

a

d7otvOsCd[yu

a

vumtuewxyu

u v:¤Od

ydO¡·S´ 4u

vOs

Ï

y[¡w$lxsCu{mnprlxyvOlxE$otvu»Sp

eyL¥

`a

mtyy s

a

d[xw$ondmy~dCÔ%l~d[Ep Ù¹otml~dO¥ 0w

mtl~qÈ

pÙ

q

vOe d&d[sLw~u{mnprlQ¡$vu

vOmtlÊy{s

a

d[xwxotdªe½v[zY|dªy w~|d[sCu.up½sCp

{

d[sCu{mn¤Od7vOsCu{mnprlxy.|@zÈu

a

dsCprlu

proyzyud[eÊ¥

§mnu a

dLqrv

½upu a d

d[}@wxm

d[ed[l¸u{y£~dCÔl~d[Èmtl½u

a

dsLvOyd4yu{wxxz!"r#ë¡@u

a

dªyprotw~u{mnprl½¢Wd

d[y{d[lu©vOÙ

d[y yd[yvuv

a

mnq

a

Ù¹ondL¤Od[opO»%v|yu

vOsCu{mnprlepryu

d[}@wxm

d[ed[l¸u{yÝd&~sCdLxu»Sp

u a

d.»±vOwxonu;Ùëuprond

vOl$sCdvOyd[sCu{yL¥

lu

a

dy{pO»=uË¢£v

dv

s a

mnud[sCu{w

d¢Wd

pOprydl~d&uL¡¸u

a

d»Sw$lxsCu{mnprlxvOotmtu{mnd[yÝpO»u a d

vOmtot¢£v:zsCprl¸u

pro%yzyud[e

v d½$mtyu

mn|w~ud[vOeprl~qkmnu{ysCpre%prlxd[lu{y7mtl¨v¦evOlxlxd

u a

vu

prepOud[y

d[vOoÚÙëu{med

d[yprlxy{mt¤Od[l~d[y{yL¥

§¨dÊ~pÎl~pOu7xmy{sLwxy{y a d

du

a

dme$ond[ed[l¸u{vu{mnprl ~dLu{vOmtoty7pO»u

a

dYyzyud[e sCpre%prlxd[lu{yL¥

umty7¢£p

u a

l~pOu{mtsLml~qu

a

vuÝmlv

pOq

vOeemtlxqd[l¸¤@m

prlxed[l¸u¢mnu

a

v4y{dL$v

vud.~dCÔlxmtu{mnprl#pO»u

a

d.yzyud[ev

s a

mnud[s×Ù

u{w

dªvOlxÈu

a

dªsCpreprl~d[lu©sCp~d[y

´$Ò WmtlÛ£prl%Û£p¸p

¡¸d[vOs

a

sCpreprl~d[l¸u£sCp~dªsLvOlY|%dd&@

d[y{yd[mtl

u a d

pOq

vOe½emtl~q#ovOl~qrwxvqOd¢

a

mts

a

|dLuud

y{wxmnu{yWmnu{y»±wxlxsCu{mtprlxvOotmnuËzO¡»Sp

mtl$yu{vOlxsCd

d[vOoÚÙëu{mtedvOyd[sCu{yL¥

`a

d$vd

mty4yu

w$sCu{w

d[!vOy#»=prototp:¢byL¥&%Ým

yuL¡Q¢£d½mtl~»Sp

evOototzkxmty{sLw$y{yªprw

~d[y mnqrlÎ

pOpry{vOoÝ»Sp

u a d

vOmtot¢£v:zksCprlu

proyz@y{ud[e

1d[sCu{mnprl!f

¥41@d[sCprlxQ¡%¢£d»=p

evOotonz¦~dCÔ%l~d7u

a

dyuËz@otdpO»Wu

a

dypO»=uË¢£v

d

v s a mnud[sCu{w

dpO»u

a

dsCprl¸u

proÝyzyud[e3wxy{ml~qq

v

a q

vOe½ev

yªvOlxE¢Wd~d[y{s

mn|d#u

a

d~zlxvOemts#dL¤OpÙ

otw~u{mtprl¦pO»u

a

dv

s a

mtud[sCu{w

dmtl¦ud

e½ypO»sCp@p

xmlxvu{mnprl

wxond[y

1d[sCu{mnprlE

¥

`a

m

¡x¢£dmte$ond[ed[l¸ubv

sCp@p

xmtlxvu{mtprl

wxond4mtlkÛ£prl%Û£p¸p

'<bpro 3

1@d[sCu{mnprl¦

¥(%0mlxvOotonzO¡¢£d#xmty{sLw$y{y©u

a

dotmte½mnu{vu{mnprlxy£pO»0prw

vx

prvOs

a

mlYud

ey.pO»Ýd[vOydpO»wxy{dvOlxYd&@

d[y{y{mn¤Od[lxd[y{yL¥

) * [bQ&,+Ö"{ Î- {2 2%¨ 7"x&

Û£preond& yz@y{ud[e sLvOl |dydLd[l2vOyYvÍydLupO»#mtl$xmn¤mtxwxvOo£sCpreprl~d[l¸u{yvOl$ vOl2v

s a

mtud[sCu{w

dÎ~dCÔxÙ

lxmtlxqu

a

d[m

otml

Ï

y.vOl$¦mtl¸ud

vOsCu{mnprlxyL¥

$

l¦d&$otmtsLmnu.~d[y s

mnxu{mnprl¦pO»Ýv½yz@y{ud[e v s a mnud[sCu{w

d

pU¤@mtxd[ybv

qronpO|$vOo

a

mnq

a

Ù¹ondL¤Od[o$¤mndL¢2pO»Qu

a

dªyzyud[eÖ¢

a

mts

a

»±vOsLmtotmnu{vud[y£u

a

dªxmd

d[l¸u

a

vOy{d[yWpO»Qy{pO»=uË¢£v

d4d[lxqrmtl~dLdCÙ

mtlxq-öhªv

/.¡ 1xh4/.#ë¥8<bd

dO¡%¢£d7

d[yd[luu

a

dÔ

yub~d[y mnqrl¦

a

vOyd#pO»v

vOmton¢©v[zÊsCprl¸u

proÝyzyud[e!©u a d

mtl~»Sp

evOo~dCÔ%lxmnu{mnprlÈpO»0mtu{y.sCpreprl~d[lu{ybvOlxÊmnu{y.ypO»Su¹¢©v

d#v

s a

mnud[sCu{w

dO¥§¨d

pOpryd4vyprow~u{mnprlYmtl

¢ a ms

a

sCprlu

pro~pO»$u a d

vOmton¢©v[z7myÉÔ

yuxmtyu

mn|$w~ud[7vOeprl~qonpsLvOo~sCprlu

protond

ysCprlxlxd[sCud[mtlv4l~dLu¹¢£p

{Ï

vOlxÊu

a

d[l¦sCd[lu

vOotmtyd[¦w$y{mtl~qvsCprl¸u

pro

a

mtd

v s a z

ydLd%Ýmnqrw

d

¥

0£ã r , 7ã

: ã ,,ß I/1

§¨dÈxdCÔl~d½v¦otp@sLvOosCprl¸u

prototd

»Sp

d[vOs a u

vOs

Ï

¡{wxlxsCu{mnprl!vOl$!$otvu»Sp

e3pO»

u a d

Ï-

µÃ®23%0mtqrw

d7

mnq a u ¥ $

onpsLvOo$sCprl¸u

protond

»=p

v

mtl

d[vOoÚÙëu{mted¢bmnu a u a

du

vOmtlxysLw

{

d[l¸u{onz¦vuªu

a

d~dL¤mtsCd7vOlxEev:zepxmn»SzYu

a

d[m

~dLu{vOmtond[y{s

a

d[$wxondO¥

(8)

Platform controller Junction controller Hengelo

A2

P1

Berlin B H

H H

R R

R

several levels

local high-level

regional

Hierarchy of controllers

Track controller

J2 H

J3 A1

Amsterdam

P2 Paris

J1

J5 J4

t9

connection t8

t7 t5

t6

t3 t4

t2 t1

t11 t10

t12 t13

Extended view of a simple network of local controllers 1 level

1 level

(network)

%Ýmnqrw

d

$ s a

mnud[sCu{w

dpO»Ýu a d

pro1@zyud[e

$ u

vOs

Ï

sCprl¸u

protond

ev[zepxmn»Sz#u

a

dy{%dLd[pO»u

vOmlxysLw

{

d[lu{onz7prlu

a

du

vOs

Ï

Ç@v£{wxlxsCu{mtprlsCprlu

proond

ev:z

d[xm

d[sCu.u

vOmlxy.u a

prwxq a u a

d[ypron¤Od4pOud[l¸u{mtvOoQsCprototmy{mnprlxyLÇ~votvu»=p

e sCprlu

proond

ev:zYxd[otv[zu

vOmtlxy.vOl$

a

vOlxxotd[y©u

a

dvOxxmnu{mtprlvOl$

d[epU¤IvOoÉpO»u

vOmlxy.mtlYu a d

vOmon¢£v:zlxdLu¹¢£p

{Ï

¥W§¨d

~pl~pOu©

pU¤@m~dotp@sLvOosCprl¸u

protond

yW»Sp

yu{vu{mnprl$yLÇxvu

a

d4sCprlu

proond

pO»xu

a

d.yu{vu{mtprl7otvu»=p

e ¢ a d

d£mtumtyL¥0§

a

d[l~dL¤Od

pry{y{mn|$otdO¡Iy{s

a

d[xwxotdWsCprlxyu

vOmtlu{yÝv

d.yprot¤Od[7|@z#onpsLvOo

sCprl¸u

protond

y£mtlp

~d

up7

prepOud

d[vOoÚÙëu{med

d[yprlxy mn¤Od[l~d[y{yL¥

`a

myxmty{u

mn|$w~u{mtprl7pO»QsCprl¸u

pro|dLu¹¢£dLd[l

onpsLvOo.sCprlu

protond

y

p:¤mt~d[yed[vOl$y»=p

sCprl$sLw

{

d[lxsCz vOlx u a

wxylxvu{w

vOotonz otd[vOxyupÍv¨xmty{u

mn|$w~ud[

d&d[sLw~u{mnprl¦pO»ÝonpsLvOoQsCprl¸u

protond

yprl¦vsCpre$wxud

l~dLu¹¢£p

{Ï

¥

kß

âã

ã 0Wã

,

7ã

:

ã ,,ß

I/1

QpsLvOo0sCprlu

proond

y a

v[¤Odv½¤mndL¢¿pO»u

a

d7y{z@yud[eÕyu{vud¢

a

ms

a

mtyotmte½mnud[ÍupÎu

a

dÊu

vOmtlxysLw

{

d[l¸u{onzÍvuu

a

d¦xdL¤@mtsCdYu

a

dLz\sCprlu

proÃ¥

l\p

~d

up¨~d[sLmt~dÊsCp

{

d[sCu{mn¤Od

vOsCu{mnprlxyprl¨y{s

a

d[$wxond[yL¡QvYonpsLvOosCprlu

protond

ev:z

d[}@wxm

dmtlx»=p

e½vu{mnprlÎv|%prwxuu

a

du

vOmtlxy4onpsLvud[¨vu

l~d[mnq

a

|prw

mtlxq½~dL¤mtsCd[yL¥

`a

wxyL¡mnuªev[zEmtlud

vOsCu¢mnu a u a

dsCprl¸u

prototd

yªevOlxvqrmtl~qYmnu{yªl~d[mnq

a

|prw

mtlxq

~dL¤mtsCd[yL¥

$ u

vOs

Ï

sCprl¸u

protond

sCpree7w$lxmtsLvud[y¢mnu

a

u¹¢£p.{wxlxsCu{mnprlsCprl¸u

prototd

yL¡ruË¢Wp7$otvu»Sp

esCprlu

proÚÙ

ond

ybp

v4w$lxsCu{mnprl¦vOlxv½otvu»=p

eÜsCprlu

protond

¥ $

{wxlxsCu{mnprlksCprlu

proond

mlud

vOsCu{y¢bmnu a u a

dLd7u

vOs

Ï

sCprl¸u

protond

y[¥ %~p

y{mte$omtsLmnu¹zO¡¢Wdprlxonz¨sCprlxy mt~d

{wxlxsCu{mtprlxyotmtl

Ï

mtlxqÊu a

dLd½u

vOs

Ï

y7¢

a

mts

a

sLvOl y{d

¤Od

Ï

mtl~q7ep

dªu

a

vOlu a

dLdªu

vOs

Ï

yL¥

$

$otvu»Sp

e¼sCprl¸u

protond

a

prl~dp

uË¢Wp\u

vOs

Ï

sCprlu

proond

yL¥

`a

dkmtl¸ud

vOsCu{mnprlxyÈ|dLu¹¢£dLd[l2otp@sLvOosCprlu

proond

y½xdCÔl~dkv ypO»=uË¢£v

d

v s a mnud[sCu{w

d#¢

a

mts

a

emtemtsLy©u

a

d4upO%protpOqOzpO»Ýu a d

{Ï

¥

7ã

:

ã

,

ß

IxI

à 1

0wxdÊupEu

a

d[m

otmtemnud[ ¤mndL¢¼pO»bu

a

prototd

yv

d

l~pOukv|ond¨up

d[yprot¤Od!vOotosCprlxyu

vOmtlu{y¦prl u a d!u

vOmlxyÊy{s

a

d[xwxond[yL¥ 5p

dLpU¤Od

¡u

a

dÍeprlxmnup

mtlxq\pO»

u a

dÎyzyud[e vOotyp

d[}¸wxm

d[yÈv\ep

dEsCd[lu

vOotmtyd[2¤mndL¢ pO»u

a

dEyzyud[e yu{vudO¥ %~p

u a

d[yd

d[vOy{prlxyL¡

¢£dÈy{w~d

meprydv

a

mtd

v s a

zÎpO»

dLqrmnprlxvOo£vOlx

a

mnq

a

Ù¹ondL¤Od[oWsCprlu

protond

y#p:¤Od

u a

dl~dLu¹¢£p

{Ï

pO»onpsLvOo

sCprl¸u

protond

y

µÃ®2 %Ýmnqrw

dbWondL»Su ¥ %Ým

yuL¡I¢£d$v

u{mtu{mnprlu a d

Ï

mtlup

dLqrmnprlxysCprlxl~d[sCud[7|¸z

u vOs

Ï

yL¥

$

dLqrmnprl$vOosCprl¸u

protond

sCd[lu

vOomtyd[yÉy{u{vud£mtlx»=p

e½vu{mnprlvOlxsCprl¸u

proty0~d[sLmty mnprlxyQsCp

{

d[yprlxxmtl~q

upv

dLqrmnprl#pO»~u a d

vOmon¢£v:z4l~dLu¹¢£p

{Ï

¥ umtl¸ud

vOsCu{y¢bmtotoOvOooronpsLvOosCprl¸u

protond

yÉpO»~u a d

dLqrmnprl¡

d[}¸wxd[yu{mtl~q

u a d[m

yu{vudO¡QqOdLuu{ml~qYu

a

d[m

vOotv

eyªvOlxEyd[lxxml~q½u

a

d[eÕsCpree½vOlxxy¢bmnu

a

sCp

{

d[sCu{mn¤OdvOsCu{mtprlxyL¥ ?vOs

a