Using Formal Methods in a Retrospective Safety Case

http://www.diva-portal.org

Postprint

This is the accepted version of a paper presented at Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP September 21-24 2004, Potsdam, Germany.

Citation for the original published paper:

Eriksson, L-H. (2004)

Using Formal Methods in a Retrospective Safety Case

In: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings (pp.

31-44). Springer Berlin/Heidelberg

Springer Lecture Notes in Computer Science

N.B. When citing this work, cite the original published paper.

Permanent link to this version:

http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-70497

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


57698;:=<?>'@AB8DCFEHG8;CIEJ:;:=KLA

M/NBOQPSRUT(VXWQWV;Y9O

Z([]\Q^*_?`ba.[]cd`#efhgicLfje_ba^`bkleUcnmo[]p=qrcLeUsleUturv

wx\r\Lyb^sz^{w(cLkl|}[;_by?k~`u

€e*‚nƒUƒU„

…L†ˆ‡„U‰dŠ'‹}‰{w(ŒŒ …LxŽoL…d‘ [“’9[]c

”•ˆ–]—]˜*™Qš—U› moe/’L^]uœ`bqr[#’9[]|}[]sleU\La.[]cd`oefJyb^fF[;`u ‡p;_bk~`bklp“^s9yXu9yX`b[]a.y1klyˆ`be(^sz^_btU[

[;‚/`b[]cd`{tUžrkz’9[“’ ŸduyX`=^cQ’L^_=’Ly¡`bqQ^`¢a^£}[ ’L[;a^cQ’9y{ec¤ŸJe`bq¤’9[]|}[]sle\ra.[]cd`

\9_bedp][]y?y^cr’ yXu9yX`b[]a¦¥džr^slk~`ud§9€[;fFe_b[`bqL[^U’9|}[]cd`#efo`bqr[;y?[yX`=^cr’r^_=’9y



’L[]|}[;s

‡

e\ra.[]cd` ‘ ^y`iu9\rklp“^sls~un’LeUcL[œeUc¨^ª©ŸJ[]yX`x\L_=^p;`bkly?[]«.ŸQ^y?kzy ‘ qrklp=q¬p]ežrsz’¨’Lk~­®[;_

a¡žrp=q¬ŸJ[;`

‘

[][]cª^\L\rslklp“^`bkleUcª^_b[]^y]§

ea.[¡yb^*fj[;`iu

‡

pD_bkl`bklp“^sˆyXu9yX`b[]a.y{¯°[U§t9§J_=^kls

‡

‘ ^“u klcd`b[;_bsledpD£/klcrty=±qQ^“|}[œ^szecrt{`b[;pDqLcrklp“^sB^cQ’+[;p]eUcLeUa.klp“^sBslk~fj[;`bkla.[y?e{`bqr^`

`be/’L^“u

‘

[nqr^*|U[+a^c/usz[;t}^pDu²yb^fj[D`u

‡

p;_bk~`bkzp]^syXuLyX`b[;a.y{klc¤e\J[;_=^`bklec

‘

qrklp=q

‘ [;_b[.’L[;|}[]sleU\J[“’H^p]p]e_=’9klcrt+`be \L_=^p;`bkly?[]y`bqQ^*` ‘ eUžrsz’HŸJ[¡_b[]tU^_=’9[“’ª^yžrcr^p ‡

p][;\L`=^ŸLsl['`be/’L^]ud§rwxy?žQ^sls~u



y?žrp=q¬yXu9yX`b[]a.y^_b[^slsle

‘

[“’¬`be¢p;eUcd`bklc9žL[œeU\J[;_=^*`bklcrt

Ÿduª|9k~_?`bžL[¢ef\r^yX`¡\J[;_?fje_ba^crp;[U§1g³f`bqr[;_b[.kly¡’LežrŸL`^ŸJeUž9`¡`bqL[.kzcd`b[]t_bk~`uªef

^.sl[]t}^p;uHyXu9yX`b[]a  ^cH^s~`b[;_bcr^`bkl|}['`be_b[;\rsz^p][;a.[]cd`(p]ežrsz’¨ŸJ['a^£/klcrt^©i_b[;` ‡

_bey?\J[]p;`bkl|}[]«¬yb^*fj[;`iup“^y?[’9[]a.eUcLyX`?_=^`bklcrt `bqQ^`(`bqr[¢sl[]tU^p;uªyXu9yX`b[]a´klyœklcQ’L[;[“’

yb^*fj[`be¬žry?[U§Sw(y?klcLt¨^y[;‚L^a.\Lsz[¢^np“^y?[.`=^£}[]cµfI_beUa¶_=^kls‘ ^]uy?kltcQ^slslklcrt 1‘ [

‘

klslsy?qLe

‘

qLe

‘

fFe_ba^s7|}[;_bk~·rp“^`bkleUcªp“^cµŸJ[¢žry?[“’klc^+_b[;`?_bey?\J[]p;`bkl|}[.yb^*fj[;`iu

p“^y?[U§SgcH`bqrklyœ^\L\rslklp“^`bkleceffje_ba^sha.[;`bqre/’9yy?[]|}[;_=^sh\Q^_?`bklp]žLsz^_'\L_beŸrsl[]a.y

^*_bkzy?[



y?žLpDq ^y{žrcLp][;_?`=^kzcd`iu²^ŸJežL`{`bqL[e_bkltUklcQ^s#_b[“¥džrk~_b[]a.[]cd`by¡^cQ’`bqL[ _b[

‡

¥džrk~_b[“’+yb^fj[D`u+sz[;|}[]soefˆ`bqr[œ|^_bkleUžLyyXuLyX`b[;a¸fjžrcLp;`bkleUcLy]§r¹[ ‘ klsls1’9kly?p]žry?yy?žrp=q

\9_beUŸrsl[]a.y7^cQ’¡`bqL[x^\r\9_be}^p=q{`=^£}[]c{`be'’9[“^s

‘

kl`bq¢`bqL[]aºklc¢`bqr[#[;‚L^a.\rsl[p“^y?[U§

» ¼r½¾J¿®ÀœÁ¡ÂÃo¾®ÄbÀ½

Å

AÇÆr6/AQÈB698DÉ%Ê/Ë;ÌÎÍ9Ï9Ï9ϲËbÐxK¤ËD8]6/CFAB:¬Ñ*KLÒIÒFCjÓJ@ÓÔÌ®@6LÓQ<KLAÔA®@U6/8nËDÌB@ՐK98;Ðx@Ö9Cj6/A×QCFÒIÒj6/ÖL@

K/زÙ

Ú

:=Ë;6BÛoÑ6/ÈB:DCIABÖ¬ËDÌ®@nÓJ@6/ËDÌK/Ø'ÜUݬÞS@K9Þ®ÒF@ 69ABÓCFAdßbÈ®8;CI@U:œËDKªà9Ϩá¬K98;@9â

Ú

Ö9Kd×L@8;A®á¬@ArË

Ñ*K9á¬á¬Cj:D:DCIKLAäãIÜ*å#Ð69:ØæK98;án@UÓË;KµCFAQ×9@U:bË;CIÖr6dËD@ ËDÌ®@¨6LÑÑ*CjÓJ@ALËUâ1çXË¢Ð69:{ÓJ@ËD@8;á¬CIAB@Ó ËDÌB6/Ë

K9A®@.K9ØË;Ì®@.Ë;8;69CIAB:'ÌB69ÓµÞB6L:D:D@Ó6H:DCIÖLAB6/҈МÌBCFÑ]̲:DÌ®K9ÈBÒFÓµÌB6}×L@.èS@@A²6dːéLÓ®6/ABÖ9@8]é®â®êÌB@

Ñ*K9á¬á¬Cj:D:DCIKLAnÑK9È®ÒjÓ ëBABÓnA®K/Ë;Ì®CFA®Ö.:=Þo@ÑCzëSÑ6/ÒFÒIÉ Ðœ8DKLA®Ö¡ÐœCIËDÌnË;Ì®@œ:=CFÖ9AB69ÒIÒFCFA®Ö.:=ÉJ:=ËD@áìËDÌB6/Ë

Ñ*K9ÈBÒFÓ ÌB6}×9@nÑ6/ÈS:=@UÓËDÌB@n:DCIÖLAB6/ÒË;KªCFABÑ*KL8D8;@Ñ*ËDÒFÉ:=Ì®KdÐì6µé9ÑÒI@U6/8]éH69:DÞo@ѓËUÛ1A®K98.Ñ*KLÈ®ÒjÓ²CIË

ÓJ@*Ë;@8;ánCFA®@µÐœCzË;ÌÇÑ@8DË;69CIArËbÉíËDÌS6dˬCzËHÓJCjÓä:DÌ®KdÐî6%é9Ó®69A®Ö9@8;é 69:DÞS@UѓËâ#êÌ®@ÑK9ABÑÒIÈB:DCFK9A

Ð(6L:#ËDÌS6d˝Ë;Ì®@¡Ñ6/ÈB:D@'K9؈ËDÌ®@{69ÑÑCFÓ®@Ar˝Ð69:@CzË;Ì®@8(6.Ë;@Ñ]Ì®A®CjÑ69ÒBá¨6/ÒIØæÈ®ABÑ*ËDCFK9AHKL8x6Ó®8DCF×9@8

@8;8DKL8ÛQè®ÈJ˜Ë;ÌB6dË'CIË'Ð69:(A®K/Ë'ÞoKL:;:DCIè®ÒF@{ËDKH:=Ë;6/ËD@¢ÐœÌ®CjÑ]Ìhâ

vmqr[ ‘ e_b£{\9_b[]y?[]cd`b[“’qr[;_b[]klc ‘ ^y’LeUcL[ ‘ qrklsl[#`bqr[^ž9`bqre_ ‘ ^y7[]a.\rsle“ud[“’Ÿdu¡gicQ’9žryX`?_bklsleUtUkl£

ŽSï

k  € 

€e“‚ƒ

ï

„‹

ˆ…9†h‡

Š“‹ƒ+ðñ

mòœóôœõœò

Ž1öªS…d‘

[“’9[]cS§®g

‘

kly?q`be`bqQ^cr£¨aunfje_ba.[;_

:=ÉJ:=ËD@á¨:CIAH×QCF@ÐÎK/Ø1Ë;KQÓB6}Éoú:8;@ ÷ È®CF8;@á¬@ArË;:â9êKJÓ®6}É Ë;Ì®@8;@698D@6ArÈBá èo@8K9Øh:bË]6/ABÓ®698;ÓB:

û

@9âÖBâhü(GÕ¡G5G(üøGÕ¡ý9Ï®Ü}Í/þãIÜÏdåXÛSGxÕ¡ý9Ï®ÜUÍ9ÿãzÜLÜ*åXÛSGÕ
{ý9Ï®ÜUÍ9ÝãzÜ}Í}å(ØæK98¡ËDÌB@+ÓJ@×9@ÒFK9Þ®<

án@ArËK9ØB8;69CIÒFÐ6}É¡:DCIÖLAB6/ÒFÒICFA®Ö{:=ÉJ:=ËD@á¨:â8D@×QCIKLÈB:=ÒFÉ9ÛUÓJ@×L@ÒFK9Þ®á¬@ALËK/ØS:DCFÖ9AB69ÒIÒFCIAB֐:=ÉJ:=ËD@á¬:

Ð(6L:¢ËbÉQÞ®CFÑ6/ÒFÒIÉ%ÓJK9AB@HK9A6DèS@U:bË ÞB8;6LѓËDCj:D@éèB6L:=Cj:.МCIËDÌ8;@Òj6dË;CI×L@ÒFÉØæ@ÐîÓJ@×9@ÒIKLÞ®á¬@ArË

8DÈ®ÒF@:Û}ËDK.6{Òj6/8;Ö9@@ùQËD@ArËÖLÈ®CFÓ®@Ó+èrÉËDÌ®@EQA®KdМÒF@ÓJÖL@xK9ØS@*ùJÞo@8;CI@ABÑ*@UÓ @A®Ö9CFA®@@8]:âdêÌ®Cj:CF:

6n:DCIËDÈB6/ËDCFK9AµA®K/˜ÒFCIá¬CIËD@ÓËDK¬8]6/CFÒIÐ6}ɨ:=CFÖ9AS6/ÒFÒICFA®Ö¬:=ÉJ:=ËD@á¨:è®È®ËCj:Ö9@A®@8]6/ÒFÒFɨ8D@ÒI@×}69ArËxË;K

=ÒF@ÖL6LÑ*ÉJé{:D6/Øæ@*ËbÉr<XÑ8DCIËDCjÑ69ÒJ:=ÉJ:=ËD@á¨:МCIËD̨ÒFK9A®Ö{Ë;@Ñ]Ì®A®CjÑ69ÒB6/ASÓ @UÑ*K9ABK9á¬CFÑ6/ÒJÒFCzØæ@ËDCFá¬@9âLêÌB@

Ñ*K9ArË;CIAQÈ®@UÓ¨K9Þo@8]6dË;CIKLAnK9Ø7:=ÈSÑ]Ì:=ÉJ:=ËD@á¬:ËDKJÓ®6}ɬCj:#ËbÉQÞ®CjÑ6/ÒFÒFÉná¬K9ËDCF×}6/ËD@UÓ¨èQÉnKLÞS@8;6/ËDCFK9AB69Ò

@*ùJÞS@8DCF@ASÑ*@¢ÐœCzË;Ì®K9È®Ë'CIABÑCFÓ®@ArË;:Û®è®ÈJË'Cj:Ë;ÌB6dː69ÒIÐ6}ÉJ:x:DÈ HÑ*CF@ArË

ç?A¤Ë;Ì®@HKLÞ®CIABCIKLA%K9ØËDÌ®@ Ù

Ú

:bË]6Ñ*KLáná¬Cj:D:DCFK9A 6:D6/Øæ@*Ëbɤ8D@×rCF@Ð4K/Ø(ËDÌB@H@*ùJCj:bË;CIA®Ö8]6/CFÒI<

Ð(6}ÉÇ:=CFÖ9AB69ÒIÒFCFA®Ö:=ÉJ:=ËD@á Ð69:¨AB@Ñ*@U:D:;6/8;É9â8;CIá¨6/8;CFÒIÉ Ë;Ì®Cj:ªÑK9ABÑ@8;A®@ÓäËDÌB@²ÞB6/8DËDCjÑ*ÈBÒF698

:=CFÖ9AB69ÒIÒFCFA®Ö+:DÉJ:bË;@á

û  

(CIAµK9Þo@8]6dË;CIKLAHK9AªËDÌ®@¢8]6/CFÒIÐ6}ÉnÒICFA®@¢ÐœÌ®@8;@¡ËDÌ®@.Ñ*KLÒIÒFCI<

:=CFK9A¬KJÑÑÈ®8D8;@Ó ûÕ! "x<?ÿ$#%èBÈJË(69ÒF:DK'&+6/ÒIËDÌ®KLÈ®Ö9̬ÒF@:;:È®8;Ö9@ArË(& K/Øh6.ÓJC)o@8D@ALË(:=CFÖ9AB69ÒIÒFCFA®Ö

:=ÉJ:=ËD@á ûÕ! QçX<?þ9à$xМ̮CFÑ]̪Ð(6L:xËDÌ®@¢á¬KL:=Ë(МCjÓJ@<X:DÞ®8;@69Óª:=ÉJ:=ËD@á¶CIAµÈB:D@¡CFAµÕK98;Ð(6}ÉLârêÌB@

8D@U:=È®ÒI˜Ð(6L:6+ÓJ@UÑ*Cj:=CFK9AµèQɨËDÌB@¢Õ¡6dË;CIKLAB6/҈Õ'KL8DÐ(@ÖLCF69A+*'69CIÒ Ú ÓJá¬CIA®Cj:=ËD8]6dËDCFK9A ûÆL@8;AQèB6/A®<

@×9@8DEL@*Ë,&Æ-".''ËDKá¬69E9@n6/=8;@*Ë;8DKr:=Þo@Ñ*ËDCF×9@é¨:;6dØæ@ËbɵÑ69:D@ØæKL8'ËDÌB@nÕ' "x<Xÿ#nèB69:D@ÓKLA

ËDÌ®@+ü(GxՐG5G(üÎ:=Ë;69ABÓ®698;Ó®:(ØæKL8œ8;69CIÒFÐ6}ɬ:DCFÖ9AB69ÒIÒFCIABÖ¬:DÉJ:bË;@á¨:â

Ú Ñ@ArËD8]6/ÒÞB698=Ë¢K/Ø6ª:;6dØæ@ËbÉ Ñ6L:=@n69ÑÑ*K98]ÓJCFA®ÖªËDKªËDÌ®@H:=Ë;69ABÓ®6/8]Ó²GxÕ0{ý9Ï®Ü}Í/ÝHCj:{ËDÌB@

Dê@Ñ]Ì®A®CjÑ69Ò1 J6/Øæ@*ËbÉ+*'@ÞoK98DË;é¬ÐœÌ®CjÑ]ÌÞ®8D@U:=@ArË;:Ë;Ì®@ 6/8;Ö9ÈBán@ArË;:(ËDÌS6dË'Ë;Ì®@.ËD@UÑ]Ì®A®CjÑ69Ò7ÓJ@*<

:=CFÖ9A+K/ØBË;Ì®@œ:=CFÖ9AS6/ÒFÒICFA®Ö¡:DÉJ:bË;@á¦Cj:#:=KLÈ®ABӈâdêÌ®@0 QÐ(@Ó®CF:DÌ+ÑK9AB:DÈ®ÒIË;6/ASÑ*É.ç?ABÓJÈS:bË;8DCFÒIKLÖ9CFE.5hÊ9C

Ú

"ÎÐ69:@á¬Þ®ÒIKdÉL@Ó¬Ë;K+ÓJ@×9@ÒIKLÞ¨ËDÌ®@¢ê@Ñ]Ì®A®CjÑ69Ò2 ®6dØæ@*ËbÉ3*'@ÞoK98D˝ØæK98xËDÌB@{Õ' "x<Xÿ#.:;6dØæ@*ËbÉ

Ñ69:D@6/ASÓK9AµËDÌ®@CI8{:=ÈBÖ9Ö9@U:bË;CIKLAØæKL8Dá¨69Òh×9@8DCIëSÑ6/ËDCFK9AÐ69:ÈB:D@Ó6L:ËDÌ®@ èB69:DCFÑán@U6/AB:'K/Ø

6/AB69ÒIÉJ:DCIA®Ö+ËDÌB@.CIArËD@8DÒFKJÑ]EQCIA®Ö¬ÓJ@U:=CFÖ9Ahâ

êÌ®CF:ÞB6/Þo@8µÓJ@:;Ñ*8;CFèS@U:¨ËDÌB@ 8;K9ÒF@²K/Ø¢ØæK98;á¨6/Ò¡án@ËDÌ®KJÓ®:ªCFAøÑ698D8;ÉQCIA®ÖíKLÈJËË;Ì®@ 8;@*ËD<

8DKr:=Þo@Ñ*ËDCF×9@:D6/Øæ@*ËbÉÔÑ69:D@9â#ç?Aº:=@UѓË;CIKLAÎÍ ËDÌB@Ö9@AB@8]6/Ò':=ËD8;ÈBѓË;È®8D@69ABÓäÑK9ArËD@ArË;:¬K/Ø{ËDÌB@

8D@ËD8;KL:DÞS@UѓËDCF×9@H:;6dØæ@ËbÉ%Ñ69:D@HCj:+ÓJ@U:DÑ8DCFèo@ÓíМ̮CFÒI@ËDÌ®@ËDÌ®@ªÞB6/8DËDCjÑ*ÈBÒF698ØæK98;á¨6/Òxán@ËDÌ®KJÓ®:

Þ®8DKJÑ@:;:xÈS:=@UÓªCj:œÓJ@U:DÑ8DCFèS@UÓCFA:=@UѓË;CIKLAµàBâ Q@Ñ*ËDCFK9AµÊ¬Ó®CF:;Ñ*ÈB:;:D@:(ËDÌB@.Þ®8DKLè®ÒF@á¨:@ABÑK9È®A®<

ËD@8;@Ó+6/ABÓ @*ùJÞo@8;CI@ABÑ*@U:7á¨69Ó®@xМ̮CFÒF@(6LѓËDÈS6/ÒFÒIÉÑ6/8;8DÉQCFA®Ö'K9ȮˁË;Ì®@xÐ(K98;E1âUêÌB@(ÑK9ABÑÒIÈB:DCFK9A

:=@UѓËDCFK9Aý+@ABÓB:ËDÌ®@.ÞS6/Þo@8Uâ

4 57608:9.;(<8ˆ¾%=?>@;BA$8

CEDGF HJIKLI-MNPO

Ú

ÑÑK98]ÓJCFA®Ö¨ËDKGÕ
{ý9Ï®ÜUÍ9Ý®ÛB6ª:D6/Øæ@*ËbÉÑ6L:=@ CF:+bË;Ì®@nÓ®KQÑÈ®á¬@ArËD@UÓ²ÓJ@ánKLAB:=ËD8]6dËDCFK9A²ËDÌB6/Ë

ËDÌ®@¬:=ÉJ:=ËD@á ÑK9á¬Þ®ÒFCI@U:ÐœCIËD̤ËDÌB@n:DÞS@UÑ*CIëB@Ó :D6/Øæ@*ËbÉ8D@

÷

È®CI8;@á¬@ALË]:DéBâ

Ú

ÒI8;@6LÓJɵËDÌ®Cj:¢ÓJ@*ë®<

A®CzË;CIKLA¤Cj:¡ËD8;K9È®èBÒI@U:=KLán@ ØæK98.6Q=8;@*ËD8;KL:DÞo@ѓË;CI×L@éH:;6dØæ@ËbÉÑ69:D@9Û1CFA²Ë;ÌB6dË.CFA¤6/ÒFÒÒICFE9@ÒICFÌ®KQKJÓ

ËDÌ®@8D@¢6/8;@'A®KnÞ®8;K9Þo@8R;:=Þo@ÑCzëS@Ó®é+:D6/Øæ@*Ëbɬ8D@ ÷ È®CI8;@á¬@ALË]:CFAHË;Ì®@¢:=@AB:=@¡K/ØhË;Ì®@S rË;69ABÓ®6/8]Ó

:=È®CIË;69è®ÒF@¢ØæK98ËDÌB@.@*ùJCF:=ËDCFA®ÖH:DÉJ:bË;@áâ®ç?AµËDÌ®@Ñ69:D@¢K/Ø#Õ! "x<?ÿ$#QÛQË;Ì®@:;6dØæ@*ËbÉ8D@ ÷ ÈBCI8;@á¬@ArË]:

ÌB69ÓËDK¨èo@Ñ*KLánÞBCIÒF@ÓØæ8DKLá6n×d6/8;CI@ËbÉHK/Ø:=KLÈ®8]Ñ*@:â

Š؜ÑK9È®8]:D@9ÛhË;Ì®Cj:+:DÌ®K9ÈBÒFÓíA®K9Ë+èo@HË]6/E9@AíËDK²á¬@U6/A Ë;ÌB6dË+ËDÌ®@µÕ! "x<?ÿ$#:DÉJ:bË;@áÐ(6L:

ÓJ@×L@ÒFK9Þo@Ó+МCzË;Ì®K9ÈJË69ArÉ+:D6/Øæ@*ËbÉ.8;@ ÷ È®CF8D@án@ArË;:ÛUKLA®ÒFÉ.ËDÌB6/ËL&.CFAn8D@ËD8;KL:DÞS@UѓË1&¢Ë;Ì®@':;6dØæ@*ËbÉ

8D@ ÷ ÈBCI8;@á¬@ArË]:#ÈB:D@Ó¬Ð(@8;@œA®K/Ëx6L:Ñ*KLá¬Þ®ÒI@ËD@'KL8Ð(@ÒFÒz<?ÓJ@*ëSA®@Ó¨6L:#ËDÌB@! rË;69ABÓ®698;Ón8;@ ÷ È®CF8D@U:

K/؁AB@Ð :DÉJ:bË;@á¨:âJç?ABÓJ@@UӈۮCI˜CF:œ:=Ë;6/ËD@ÓªCFAªË;Ì®@T rË;69ABÓ®698;ÓªCzË]:=@ÒzØbÛQË;ÌB6dË'CIË'Cj:CIArËD@ABÓJ@UÓHË;K

WEXZYV[ I\^]JI$_LKL`[ `bacK

Ú

Þ®8;@ÑCF:D@xÓ®@*ëBA®CIËDCFK9AnK/ØbÛdKL88D@Øæ@8;@ABÑ@ËDKSÛ}ËDÌ®@:DÉQ:=ËD@á¦ËDK{М̮CjÑ]Ì

ËDÌ®@d J6dØæ@ËbÉü(69:D@'8D@Øæ@8]:ÛLCIASÑ*ÒFÈBÓJCFA®Ö ×L@8]:=CFK9A¬AQÈ®á èo@8]:69ABÓ¨á¬KJÓJCIëSÑ6/ËDCFK9AH:=Ë;6dË;ÈB:xK/Ø

6/ÒF҈8D@

÷

È®CI8;@á¬@ALË]:Û®Ó®@:DCIÖLAµ69ABÓ6/Þ®Þ®ÒFCjÑ6dË;CIKLAµÓ®KQÑÈ®á¬@ArË;6/ËDCFK9Ahâ

egf NPOb`[hXji NPKLNPkcI$\lI$K [nm I$opaqM [ êÌ®@.@×QCFÓJ@ABÑ*@¢K9Øsr¡ÈB69ÒICIËbÉut²69AB6/ÖL@á¬@ArËUâ

W

NPvwI [Xji

NPK1NkqI\xIK [nm

I$opaqM

[

êÌ®@¢@×QCjÓJ@ASÑ*@.K/ØB J6dØæ@ËbÉ+t²69AB6/ÖL@á¬@ArËUâ

y

Iz|{1KL`bz-NPO

W

NPvwI [Xm

I$opaqM

[ êÌ®@¢@×rCjÓJ@ABÑ*@.K9ØL}®ÈBABѓË;CIKLAB6/Ò769ABÓµê7@UÑ]Ì®A®CjÑ6/Ò~ ®6dØæ@*ËbÉLâ

m IObN [ I W NPvwI [X€ N Y I Y *'@*Øæ@8;@ASÑ*@:hËDK
J6/Øæ@*ËbÉü(69:D@:ˆK9Ø®6/AQÉ¡:DÈ®èJ<?:=ÉJ:=ËD@á¬:hK98h@

÷

ÈBCIÞJ<

á¬@ArË'K9AµÐœÌ®CjÑ]̪Ë;Ì®@.á¨6/CFA‚ ®6dØæ@*ËbÉü(69:D@.ÓJ@Þo@ABÓB:Û®CIØ#6/AQÉ9â

€ acKLzƒOfLY `bacK Ú :DÈ®á¬á¨6/8;É K/Ø{ËDÌ®@@×rCjÓJ@ABÑ*@Þ®8;@:D@ArËD@UÓCFAÇËDÌ®@K9ËDÌ®@8¨ÞB6/8DË;:nK/Ø{ËDÌB@

J6dØæ@ËbÉü(69:D@9ÛL69ABÓH69AH6/8;Ö9È®á¬@ArËË;ÌB6dË(ËDÌB@¡:DÉQ:=ËD@á´CF:x69ÓJ@ ÷ ÈS6dËD@ÒIɬ:;6dØæ@9ÛQ:DÈ®èJßb@Ñ*˝Ë;K

Ñ*KLánÞBÒICj6/ABÑ@¢ÐœCzË;̪Ë;Ì®@:DÞS@UÑ*CIëB@Ó6/ÞBÞ®ÒICjÑ6/ËDCFK9AÑ*KLABÓJCIËDCFK9AB:â

êÌ®@¢Þ®8DCFABÑCIÞB69҈ÞB6/8DË;:K9؁Ë;Ì®@:;6dØæ@*ËbɪÑ69:D@¢ÐœCIÒF҈èo@ÓJCF:;Ñ*ÈS:D:D@ÓªCIAµË;È®8DA7â

CEDC WZXZY„[ I\^]+I$_(K1`[ `GaqK

êÌ®@%Õ' "x<Xÿ#%Cj:ª69AøCFALË;@8;ÒIKJÑ]EQCFA®Ö ËbÉQÞS@%CFA ÈB:D@%6/ˤÜÿäÓJC)o@8D@AL˵CIAS:bË]6/ÒFÒF6/ËDCFK9AB:â(êÌB@

CIAB:=Ë;69ÒIÒj6dË;CIKLAB:.6/8;@¨Ö9@A®@8]6/ÒFÒFÉ×9@8;É :DCIá¬CFÒF698ہÓJC…)1@8;CFA®ÖK9A®ÒFÉ CFA ÓJ@*Ë]6/CFÒiâ Å A®@¨ÞB6/8DËDCjÑ*ÈBÒF698

CIAB:=Ë;69ÒIÒj6dË;CIKLAhÛ®Ë;ÌB6dË¡K/Øs*œ@AS6¨8;69CIÒFÐ6}É:bË]6dË;CIKLAhÛ®Ð69:':D@ÒF@Ñ*ËD@ÓµË;KHèo@ËDÌB@8D@Þ®8;@:D@ArË;6/ËDCF×9@

:=ÉJ:=ËD@á´Ë;K+МÌBCFÑ]ÌËDÌ®@.:;6dØæ@*ËbÉHÑ69:D@8;@*Øæ@8;:âJêÌ®@{Ó®C…)1@8;@ABÑ@:(èo@*ËbÐ(@@AËDÌ®@¢CFAB:=Ë;6/ÒFÒj6dËDCFK9AS:

Ðx@8D@¨ÓJ@@á¬@Ó¤ËDKèo@:DK:=á¨6/ÒFÒ#Ë;ÌB6dËA®K²:D@ÞS6/8]6dËD@¬:;6dØæ@*ËbÉ%Ñ6L:=@U:¢Ðx@8D@¬A®@@ÓJ@UÓ ØæKL8.ËDÌB@

K/ËDÌB@8œCFAB:bË]6/ÒFÒF6/ËDCFK9AB:èo@:DCjÓJ@T*œ@AS6®â

êÌ®@.:bË;8DÈBÑ*ËDÈ®8;@¢K/Ø#6/AÕ! "x<?ÿ$# CFAB:bË]6/ÒFÒF6/ËDCFK9AµCF:œ:DÌ®KdМAµCIAµëBÖLÈ®8;@nÜLâ

êÌ®@œCIArË;@8;ÒIKJÑ]EQCIABÖ.ÒIKLÖ9CjÑxCj:@ABÑ*KJÓJ@UÓ¬CIA¨6Tx5ü

û

8DKLÖ98]6/á¬á¨6/è®ÒF@(57K9ÖLCFÑ'üxK9ArË;8DKLÒIÒF@8

Þ®8DKLÖ98]6/á⃆ºÌB@AªËDÌ®@.Õ! P"<?ÿ$#.Ð(6L:xÓ®@×9@ÒIKLÞS@UӈÛrËDÌ®@¢ÈB:D@{K/Ø7CFABÓJÈB:=ËD8;ÉH:=Ë;6/ASÓ®6/8]Óux5ü¡ú:

CIA8]6/CFÒIÐ6}ÉHCFArËD@8;ÒFKQÑ]EQCFA®Ö¨Ð69:œÈ®AQÈB:DÈB69ҁ6/ASÓµËDÌ®@8D@.Ð69:'Ó®K9È®èJË{èSK9ËD̲69èSKLÈJË'ËDÌB@+:;6dØæ@*ËbÉ

CIArËD@Ö98;CzËbÉ K9Ø'ËDÌB@‚x5ü´69ABÓäÌ®KdжËDKíÓJ@ánKLAB:=ËD8]6dËD@ªËDÌB@:;6dØæ@ËbÉ K/Ø¡ËDÌ®@Þ®8;K9ÖL8;69á69ABÓ

K/ØË;Ì®@g5ü¸CzË]:=@ÒzØbâ Ú ÒF:DKBۈ6:=CFA®ÖLÒI@nÑ]ÌB6/A®AB@ÒB5ü Ð(6L:{ÈB:=@UӲМCIËDÌ%A®KÓJȮޮÒFCFÑ6dË;CIKLA¤KL8

8D@UÓJÈ®ABÓ®69ABÑ*É@CIËDÌ®@8œCIA:DK/Ø°ËbÐ6/8;@¡KL8œÌB6/8]ÓJÐ6/8;@9â

ê7K¬6}×9KLCFÓHËDÌ®@.:;6dØæ@*ËbÉCF:;:=ÈB@:(МCzË;ÌÈB:=CFA®Ö¨6n:=CFA®Ö9ÒF@.Ñ]ÌB6/ABA®@Òh:=Ë;69ABÓ®6/8]Óux5ü¡ÛJ6ná¬CIAJ<

CIá¨6/ÒCFArËD@8;ÒFKQÑ]EQCFA®ÖèS69:D@Ó²KLA²Ë;8;6LÓJCzË;CIKLAB6/Ò8;@Òj6}ɪË;@Ñ]Ì®ABK9ÒFK9Ö9ÉÐ69:{69Ó®Ó®@Ó%69:{6l=ëBÒzË;@8]é

èS@ËbÐx@@AªËDÌ®@S5üÎ6/ASÓ¨ËDÌB@¡Ë;8;6LÑ]EJ:=CjÓJ@{K9èJßb@UѓË;:âJGÒF@Ñ*ËD8;CFÑ6/Ò1Ñ*CF8;ÑÈ®CzË]:(Øæ8DKLá´ËDÌ®@Sx5üäË;K

ËDÌ®@nËD8]69Ñ]EJ:DCFÓ®@ K9è®ßb@ѓË]:{ÞB69:;:=@U:'Ë;Ì®8;K9È®ÖL̲8D@ÒF6}ÉÑK9ArË;6LѓË;:{CFA²Ë;Ì®@¬8D@ÒF6}ÉCFALË;@8;ÒIKJÑ]EQCFA®Öª:DK

ËDÌB6/ËÛoCIA²@„)o@UѓËUÛ1ͬKLÈJË¡K9Øxͬ×9K9ËDCFA®Ö¨èo@*ËbÐ(@@A²ËDÌ®@‡5ü 69ABÓËDÌB@ 8;@Òj6}ÉCFALË;@8;ÒIKJÑ]EQCFA®Ö¨CF:

ÓJK9A®@ÐœÌ®@A¨@ùQ@UÑ*ÈJË;CIABÖ.ÞSKr:D:DCIèBÒIÉnÓ®6/A®ÖL@8;K9ÈB:á¨69A®KQ@È®×Q8;@:

û

Ñ*ÒF@6/8;CFA®Ö.:=CFÖ9AB69ÒF:Û/8;@×L@8]:=CFA®Ö

ÞSKLCIArË;:âFâI∓â

QÌ®K9ÈBÒFÓnË;Ì®@!x5üÔèS@ÌB6}×9@CIAH69AHÈ®AB:;6dØæ@'á¨69A®A®@8UÛ/Ë;Ì®@8;@Òj6}É CFArËD@8DÒFKJÑ]ErCFA®Ö.МCFÒIÒSËDÌQÈB:

DÑ*KLArË;6/CFABéªËDÌB@Hس6/ÈBÒzË+69ABÓíÞ®8;K/Ë;@ѓË.Ë;8;69CIAS:.K9Þo@8]6dË;CIA®ÖCFA Ë;Ì®@6/8;@6ÑK9ArËD8;K9ÒFÒI@UÓ%èrɤËDÌB@

CIArËD@8DÒFKJÑ]EQCIA®ÖSâ7ç?A@„)o@UѓËUÛ7Ë;Ì®@ªèBÈ®8;Ó®@A K/Ø'á¨69CIArË;69CIABCIA®Ö%:D6/Øæ@*ËbÉ%CIArË;@Ö98;CIËbɤCj: ÞBÒF6LÑ*@ÓíKLA

ËDÌ®@œ8;@Òj6}ÉÒFK9Ö9CjÑ/â%}BK9ÒFÒIKdМCFA®Ö{ËDÌBCF:#ÞB8DCFABÑ*CFÞ®ÒF@9Û/CFA¬ËDÌB@ØæK98;á¬69Ò®6/AB69ÒIÉJ:DCF:K9ØSË;Ì®@œCFALË;@8;ÒIKJÑ]EQCFA®Ö

:=ÉJ:=ËD@á Ë;Ì®@.x5ü¤Ð69:7ËD8;@6/ËD@Ó 69:63=ÌBKL:=ËDCFÒI@UéœÞB6/8DˁK9Ø®ËDÌB@x:DÉQ:=ËD@á¦ÐœÌ®CjÑ]Ì Ñ*KLÈ®ÒFÓ @*ùJÌ®CFè®CIË

6/8;è®CzË;8;698DÉ

û

Ciâ@9âBÈ®AB:;6dØæ@xèo@ÌB6}×QCFK9È®8Uâ

QCIASÑ*@+ËDÌ®@¨á¨6/ABKr@È®×Q8DCFA®Öµ:=ÉJ:=ËD@á"K9؝Ë;Ì®@¨Õ! "x<?ÿ$#HCF:¢6/Òj:DKªCFA Ë;Ì®@g5ü¡ÛSË;Ì®@¬8D@ÒF6}É

CIArËD@8DÒFKJÑ]EQCIA®Ö.8;@Ñ@CF×9@U:CIA®ÞBÈJ˝Øæ8;K9á ËDÌ®@ËD8]6HќÑ*KLALË;8DKLÒBÑ*@ArËD8;@ËDÌ®8;K9È®ÖLÌnËDÌ®@'5ü¡âLêÌ®CF:

ØæÈ®ABѓË;CIKLAäK9Ø'ËDÌB@Jx5ü4Cj:¬6/Òj:=K¤A®K/˨Ñ*KLAB:=CjÓJ@8D@UÓ:D6/Øæ@*ËbÉr<?Ñ*8;CzË;CFÑ6/Ò69: ËDÌ®@ޮȮ8;ÞoKL:D@K/Ø{6

PLC system

Relay system

Trackside objects -- points, signals ...

Neighbouring interlocking Neighbouring

interlocking

Traffic Control Centre

‰sŠŒ‹

›|Q› …

`?_bžrp;`bž9_b[(ef7^!Ž

… €

‡

„¡klcd`b[;_bsledpD£/klcrt

CED’‘ e3f NPOG`[Xli NK1NPkcI\xIK [‡m I$opaM [

Ú

ËnË;Ì®@µËDCFá¬@Ë;Ì®@Õ! "x<?ÿ$#²Ð(6L:+ÓJ@×9@ÒIKLÞS@UӈÛ

÷

ÈS6/ÒFCzËbÉ á¨6/AS6/Ö9@á¬@ArË+Ð69:¬ÓJKLA®@ªCFAä69A

CIAJØæKL8Dá¨69Òá¨69A®A®@8UâˆêÌ®Cj:{:D@Ñ*ËDCFK9A¤K/؝Ë;Ì®@¨:D6/Øæ@*ËbɲÑ69:D@ è®8;CI@„“BɲÓJ@U:DÑ8DCFèS@U:¡ËDÌ®@¬Þ®8]69Ñ*ËDCj:=@U:

ÈB:=@Uӈ⃆ºÌB@AHÞoKL:;:=CFè®ÒF@'8;@*Øæ@8;@ASÑ*@œCj:á¨69ÓJ@'ËDKá¬K98;@œ8;@Ñ*@Ar˝ÓJKJÑ*È®á¬@ArË]:èB6L:=@UÓnK9A¬ËDÌB@:D@

@6/8;ÒFCI@8(ÞB8;6LѓËDCj:D@:â

CEDŒ”

W

NPvwI [hXi

NPKLNPkcI\xIK [•m

I$opaqM

[

Ú Ë{Ð69:ËDÌ®@¬Ñ6L:=@+МCzË;Ì ÷ ÈB69ÒICIËbÉá¨6/AB69Ö9@á¬@ALËUÛo:;6dØæ@ËbÉá¬69AB6/ÖL@á¬@ArË{Ð(6L:¡ÓJKLA®@ CFA¤69A

CIAJØæKL8Dá¨69Ò#á¬69A®A®@8â~ QKLá¬@nÖL@A®@8;69ÒÞ®8DCFABÑCIÞ®ÒF@:.69èSKLÈJ˖bس69CIÒI<X:;6dØæ@UéKLÞS@8;6/ËDCFK9A¤Ðx@8D@¨6/Þ®<

Þ®ÒICF@Óhâ

Ú

Ör6/CFAhÛ/М̮@A¨ÞSKr:D:DCFè®ÒI@8D@Øæ@8;@ABÑ@(Ð69:á¬6LÓJ@ËDK ánKL8D@œ8;@Ñ@Ar˝ÓJKJÑ*ÈBán@ArË;:èS69:D@Ó

K9Aµ@6/8;ÒFCI@8(ÞB8;6LѓËDCj:D@:â

CED— y Iz{LKL`bzƒNO W NPvwI [Xjm I-oaM [

êÌ®CF::D@Ñ*ËDCFK9A¨ØæKL8Dá¨:ËDÌ®@{è®È®ÒFE¨K/؈Ë;Ì®@{:;6dØæ@ËbɨÑ69:D@9âtKr:bË(K/ØhË;Ì®@{ÑK9ArËD@ArË;:xK/ØhË;Ì®@{ê@Ñ]Ì®<

A®CFÑ6/ÒB J6dØæ@ËbÉ8D@ÞSKL8=Ë{8D@Øæ@8]:œËDKËDÌ®@+ØæK98;á¨6/Ò×9@8DCIëSÑ6/ËDCFK9Ahâ Ú :ËDÌ®@8D@+Ð(6L:ABKl=KL8DCFÖ9CFAB69ÒFé

:D6/Øæ@*ËbÉ8;@ ÷ È®CF8D@á¬@ArË;::DÞS@UÑ*CIëSÑ6/ËDCFK9AnCIA¬@*ùJCj:bË;@ABÑ@9ÛdKLA®@ÌB69Ó+ËDK¢èo@'Ñ*KLánÞBCIÒF@Ón6/A®@ÐØæ8;K9á

×}698DCFK9ÈS:x:DK9È®8]Ñ*@U:⠘ABÓJ@8(Ë;Ì®KL:D@{ÑCI8]Ñ*ÈBá¬:=Ë;69ABÑ*@U:(á¬69AQɨánCFA®KL8Ó®@×QCF6/ËDCFK9AB:xØæ8;K9á´Ë;Ì®@¢8D@<

÷ ÈBCI8;@á¬@ArË]::DÞo@Ñ*CIëSÑ6dËDCFK9A+Ñ*K9ÈBÒFÓ èS@(@*ùJÞo@ѓË;@ӈâ Ú ÒIÒJÓJ@×QCF6/ËDCFK9AB:ØæK9ÈBABÓ

û

:=@@(:D@Ñ*ËDCFK9A ÊSâà$

Ðx@8D@:DÈ®èJßb@UѓˁËDK6'ËD8]69ÓJCIËDCFK9AB69Ò98;CF:DE¢6/AB69ÒIÉJ:DCF:1Ë;K¡ÓJ@ËD@8Dá¬CFA®@ÐœÌ®@ËDÌ®@8KL8hA®K9Ë7ËDÌB@É¢ÞSKr:=@UÓ

6/A 69ÑÑ*@Þ®Ë;6/èBÒI@¬K98.ÈBAB69ÑÑ*@Þ®Ë;6/èBÒI@¬8;CF:DE1âhêÌrÈS::D6/Øæ@*ËbɲÞB8DKLÞS@8=Ë;CI@U:.6dË.ËDÌB@H:=ÉJ:=ËD@á ÒI@×9@Ò

‘ZDGF ¤‡N

Y

`bzJ¥dM|`GK1z-`o(ObI

Y

Ú

:ÈB:=ÈS6/ÒÛÐ(@ÈB:D@Ë;Ì®@xËD@8;á¦bØæKL8Dá¨6/ÒLá¬@*ËDÌBKQÓB:Dé'ËDK8;@*Øæ@87Ë;K'Ë;Ì®@ÈB:D@K9ØBá¨6dË;Ì®@á¨6dË;CFÑ6/ÒFÒIÉ

Þ®8D@UÑ*Cj:=@ABK/Ë;6/ËDCFK9AÇËDKäÓJ@:;Ñ*8;CIèo@8;@

÷

È®CF8D@án@ArË;:

û

=ØæK98;á¨6/Ґ:DÞS@UÑ*CIëSÑ6/ËDCFK9ABé$¬6/ABÓÇË;K ÈB:D@

á¬6/ËDÌ®@á¨6dËDCjÑ69ÒIÒFɲ8;CIÖLK9È®8;K9ÈS:á¬@*Ë;Ì®KJÓ®:{ËDK²Ó®@*ËD@8Dá¬CFA®@¬ÐœÌ®@*Ë;Ì®@8¢Ë;Ì®@¨8;@

÷

È®CF8D@án@ArË;:¢6/8;@

:D6/ËDCj:bëB@UÓK9Ø6nÞB698=Ë;CFÑÈ®Òj6/8œ:=ÉJ:=ËD@á

û

=ØæK98;á¨6/Ò1×9@8DCIëSÑ6/ËDCFK9ABé$“â

êÌ®@ØæKL8Dá¨69ÒS×L@8;CzëSÑ6dË;CIKLAHÞ®8;KQÑ@:;:ÈS:=@UÓHCFAË;Ì®@¢8D@ËD8;KL:DÞS@UѓËDCF×9@¡:D6/Øæ@*ËbÉHÑ6L:=@¡CF:èS69:D@Ó

K9A6/È®ËDK9á¨6/ËD@Ó%Ë;Ì®@KL8D@á ÞB8DKd×QCFA®ÖCIAÞB8DKLÞSKr:=CIËDCFK9AB69Ò

û

á¨6/ËDÌ®@á¬6/ËDCjÑ69Ғ¢ÒFK9ÖLCFÑ9âêÌ®@8D@<

÷ ÈBCI8;@á¬@ArË]:(:DÞo@Ñ*CIëSÑ6dËDCFK9AªCF:8;@ÞB8D@U:=@ALË;@Ó¨èQÉH6nAQÈ®á èo@8K9؁ÒFK9Ö9CjќØæKL8Dá+È®Òj6/@9âJ57CIEL@МCj:=@LÛ

ËDÌ®@:DÉJ:bË;@á ËDKèo@H×9@8DCIëB@UÓ¤Cj:á¬KJÓJ@ÒIÒF@Ó 6L:6:=@Ë K/؜ÒFK9ÖLCFÑnØæKL8Dá+È®ÒF69@9âhêÌ®@

û

8;@ ÷ È®CF8D@<

án@ArË;:¡:DÞo@Ñ*CIëSÑ6dËDCFK9A¤ØæK98;á ÈBÒF69@nÓJ@ËD@8Dá¬CFA®@:{Ë;Ì®@•§

„¨• ’©© bª„

èo@ÌS6}×rCFK9ÈB8{K9؝Ë;Ì®@¨:=ÉJ:=<

ËD@áÛhМÌBCIÒF@¬ËDÌ®@

û

:=ÉJ:=ËD@ág{á¬KJÓJ@Ò#ØæK98;á È®Òj6/@¨ÓJ@ËD@8Dá¬CFA®@:{Ë;Ì®@‡§

©© bª„

èo@ÌB6}×QCFK9È®8]:{K/Ø

ËDÌ®@²:DÉJ:bË;@áâ#êÌ®@á¬KQÓ®@ҜK/Ø¢6íÑ*K98;8;@ѓˬ:=ÉJ:=ËD@á CF:¨:;6/CjÓÔËDKíèS@6

«G¬s2¨gq

K9ؐËDÌB@

:=Þo@ÑCzëSÑ6dË;CIKLAhâ

üxÒI@U6/8;ÒIÉLÛ*CzØ®@×9@8DÉ¡ÞSKr:D:DCIèBÒI@èo@ÌS6}×rCFK9ÈB8hCF:6/Òj:=K'6'ÞS@8Dá¬Cj:D:DCIèBÒI@èo@ÌS6}×rCFK9ÈB8ÛËDÌ®@:DÉJ:bË;@á

ØæÈ®ÒzëSÒF:CIË;:8D@

÷

È®CI8;@á¬@ALË]:7:DÞS@UÑ*CIëSÑ6/ËDCFK9Ac­dâçXËCj:68D@U:=È®ÒIËCIAá¨6/ËDÌ®@á¬6/ËDCjÑ69ÒLÒFK9ÖLCFÑËDÌB6/ˁË;Ì®CF:

8D@ÒF6/ËDCFK9AHCj:(@ ÷ È®CF×}69ÒI@ArËxË;K Ë;Ì®@{س69ѓË(ËDÌS6d˜6 Þ®8;KQK/Ø7Ñ6/Aèo@¢á¨69ÓJ@¡K/؁@×9@8Dɬ:=Þo@ÑCzëoÑ6dË;CIKLA

ØæK98;á È®Òj6nÈB:=CFA®ÖnËDÌB@.ánKJÓJ@҈ØæK98;á ÈBÒF69@{6L:œ69:;:=È®á¬ÞJË;CIKLAB:â

†ºCzË;ÌÔá¬KJÓJ@8;AË;Ì®@KL8D@á+<XÞ®8;Kd×QCIA®Ö²69ÒIÖLK98;CzË;Ì®á¨: :DÈBÑ]Ìä6L:¬üxÌS6)ìãÝ/å69ABÓ Ø³6L:b˨Ñ*KLán<

Þ®ÈJËD@8;:Û9×L@8;É+Òj6/8;Ö9@œÞB8DKQK/س:xÑ69A¨èS@{6dË=Ë;@á¬ÞJË;@ÓH69ÈJËDKLá¬6/ËDCjÑ69ÒIÒFÉ CFA:D@Ñ*KLABÓ®:â$ QÌBK9È®ÒjÓ¬ËDÌB@

Þ®8DKQK9Ø(س69CIÒہËDÌ®@µ6/ÒFÖ9K98;CIËDÌ®á¨:МCFÒFÒxÖLCI×L@6²ÓJ@Ë;6/CFÒF@ÓÑK9È®ArËD@8D@ù®6/á¬Þ®ÒF@

û

Ñ*KLÈ®ArËD@8Dá¬KJÓJ@Ò“Û

ÓJ@:;Ñ*8;CIèBCIA®Ö¨6¨ÑK9ABÑ8D@ËD@.:=CIËDÈS6dËDCFK9AМ̮@8D@{Ë;Ì®@8;@ ÷ È®CF8D@án@ArË;:(س6/CF҈Ë;K¨Ì®K9Òjӈâ®ç?AµËDÌBCF:œÞS6/8D<

ËDCjÑ*È®Òj6/8Ñ69:D@9ÛËDÌB@xÓJ@U:DÑ8DCFÞJËDCFK9AS:hK/ØB:DÈBÑ]Ì:DCzË;ÈB6dË;CIKLAB:Ðx@8D@ÈS:=@UÓ69:7CIA®ÞBÈJˁË;K6œË;8;6LÓJCIËDCFK9AB69Ò

8DCj:=Eª6/AB69ÒIÉJ:DCF:â

êÌ®@nØæK98;á¬69Ò#×9@8DCIëSÑ6/ËDCFK9A¤Þ®8DKJÑ@:;:¡Cj:¢K9È®ËDÒFCIA®@UÓ%CIA¤ëBÖ9ÈB8D@H͵6/ABÓ¤CIË;:.×d6/8;CFK9ÈB:{ÞB698=Ë]:

6/8;@ ÓJ@:;Ñ*8;CFèS@UÓ²CFAËDÌ®@+ØæK9ÒFÒFKdМCIA®Öµ:=@UѓË;CIKLAB:âoêÌ®@nÞ®8DKJÑ@:;:'Cj:¡ÓJ@U:DÑ8DCFèo@Ó²CFA²á¬K98;@+Ó®@*Ë;69CIÒ

CIA ãÊ/å?ãýdåXãˆ#UåXâ

®

¯ƒ„S°~±P 

ãàdåœCj:¨6¤ÓJC)1@8;@ArË+Ë;@Ñ]Ì®ABC÷ È®@М̮CjÑ]ÌÔCj:¬á¬K98;@ªÑ*KLá¬ánKLA®ÒFÉ ÈB:=@UÓ

ØæK98 69ÈJËDKLá¬6/ËDCjÑnØæK98;á¨6/Ò×L@8;CzëSÑ6dË;CIKLA%69ABÓíÌB69:èS@@A ×9@8Dɤ:=ÈBÑÑ*@U:D:=ØæȮҝCFA 6AQÈ®á èo@8 K/Ø

CIABÓ®ÈB:bË;8DCj6/Ò16/ÞBÞ®ÒICjÑ6/ËDCFK9A698D@U69:â/ç?AHË;Ì®@¡Ñ69:D@K9Øh8;69CIÒFÐ(6}É+CIArË;@8;ÒIKJÑ]EQCIABÖ :=ÉJ:=ËD@á¬:ÛLËDÌ®KLÈ®Ö9ÌhÛ

ËDÌ®@8D@œCj::DK9á¬@@×QCjÓJ@ABÑ@œËDÌS6dËá¬KJÓJ@ÒoÑ]Ì®@Ñ]EQCFA®Ö¢ÐxKL8DEJ:ÒF@:;:#Ðx@ÒIÒSÑ*K9á¬ÞB698D@UÓË;K.ËDÌB@K98;@á

Þ®8DKd×QCFA®ÖBâhãÿdåÓJ@:;Ñ*8;CIèo@:6/A²6/ÞBÞ®ÒICjÑ6/ËDCFK9AK/Øá¬KJÓJ@ÒÑ]Ì®@Ñ]EQCFA®Ö¬ËDK¬ØæKL8Dá¨6/Ò7×9@8;CIëSÑ6/ËDCFK9AµK/Ø

CIArËD@8DÒFKJÑ]EQCIA®Ö%:=ÉJ:=ËD@á¬:nМ̮CjÑ]ÌÔÐ69:+A®K9ËnØæ@U69:DCIèBÒI@µÈ®A®ÒF@:;:¬6²AQÈ®á èo@8¬K9Ø¡K9Þ®ËDCFánCj:;6dËDCFK9AS:

Ðx@8D@'á¨6LÓJ@Ë;KË;Ì®@¡á¬KJÓJ@ÒoÑ]Ì®@UÑ]E9@8CFA®Þ®ÈJËUârç?AªK9È®8(@*ùJÞo@8;CI@ABÑ*@LÛLABK+:DÈBÑ]ÌHK9Þ®ËDCFánCj:;6dËDCFK9AS:

6/8;@{AB@Ñ*@U:D:;6/8;ɬМ̮@AÓJKLCIABÖ¬69ÈJËDKLá¨6dËDCjÑ{×9@8DCIëSÑ6/ËDCFK9AªèrÉËDÌ®@K98;@áîÞB8DKd×QCFA®ÖBâ

†¤@œÌB6}×L@A®K/Ëá¨69Ó®@69AQÉÞ®8;K9Þo@8#CFAr×L@:=ËDCFÖL6/ËDCFK9A¬69:ËDK.МÌQÉ.Ë;Ì®Cj:Ð(K9È®ÒjÓ èo@ËDÌB@Ñ6L:=@LÛ

è®ÈJ˝Ð(@œèS@ÒICF@×L@ËDÌB6/Ë#ËDÌ®@8D@U69:DK9AnМÌrÉ ËDÌ®@K98;@áìÞB8DKd×QCFA®Ö¢ÐxKL8DEJ:Ð(@ÒFÒ®CF:#ËDÌB6/ËCIArËD@8DÒFKJÑ]Er<

CIA®Ör:'6/8;@¢ËbÉQÞ®CjÑ6/ÒFÒFɵÓJ@U:=CFÖ9AB@Ó:=K¬Ë;ÌB6dË{á¬KL:=Ë'8D@ ÷ ÈBCI8;@á¬@ArË]:œÌ®K9ÒjÓ@×L@ACFAÈ®A®8;@69Ñ]ÌS6/è®ÒF@

:bË]6dËD@U:â7ç?A¤Ë;Ì®@¬Øæ@жÑ69:D@:¢ÐœÌ®@8D@nËDÌBCF: CF:.ABK/Ë.ËD8;È®@LÛhCzËCj:.ÈB:DÈB69ÒIÒFɤ:=ËD8]6/CFÖ9ÌrË=ØæKL8DÐ6/8]ÓË;K

Ñ]ÌB6/8]69Ñ*ËD@8;Cj:=@¬Ë;Ì®@8;@ÒF@×d6/ArËnÈ®A®8;@69Ñ]ÌS6/è®ÒF@:=Ë;6dË;@: èrÉíÌB69ABӈâêÌ®@µCIá¬ÞoK98DË;6/ArËØæÈBABѓË;CIKLA

K/Ø6+á¬KJÓJ@ÒhÑ]Ì®@UÑ]E9@8xK9Ø7@AQÈ®á¬@8]6dË;CIABÖ+KL8Ñ]ÌS6/8]69ѓË;@8;CF:DCFA®Ö8;@69Ñ]ÌS6/è®ÒF@¡:=Ë;6/ËD@:(Cj:xËDÌQÈB:A®K9Ë

A®@@UÓJ@ӈâ

²

Requirements documents

Informal requirements specification Formal requirements specification

System description (relay diagrams)

Coded relay diagrams

Formal system model Geographical

information

Formal geographical data

Formal verification (automatic theorem

proving tool)

Counter-model Description

of deviations (analysis results)

Error

characterisations

Done! The results are used as input to the risk analysis

Automatic translation

‰sŠŒ‹ ›V³B› mqL[fje_ba^sS|U[;_bk~·Qp“^*`bkzec¬\L_bedp;[]y?y

FCSPM TspMO

SPRM

+ –

SPRM

‰sŠŒ‹

›V´B› …

^a.\Lsz[x_b[]sz^“u+p]k~_bp]žLkl`

‘ZDC opIzƒ`b_Lz-N `GaqK

J6dØæ@ËbÉL<?Ñ*8;CIËDCjÑ6/Òr:=ÉJ:=ËD@á¬:CFA Ö9@A®@8]6/Ò

û

69ABÓ.8]6/CFÒIÐ6}ɐCFArËD@8;ÒFKQÑ]EQCFA®Ö:DÉJ:bË;@á¨:7CFA ÞS6/8DËDCjÑ*È®Òj6/8

6/8;@µÖLKd×9@8DA®@UÓèQÉä6íÖL@A®@8;69Ҝ:=@ËHK/Ø¢8D@

÷

ÈBCI8;@á¬@ArË]:Û#М̮CFÒF@ËDÌ®@²:DÉJ:bË;@á¨:¨ÌB6}×L@µËDK èo@

Ñ*K9A®ëBÖ9È®8;@Ó+ØæKL86/AQÉ ÞS6/8DËDCjÑ*È®Òj6/8CFAB:=Ë;69ÒIÒj6dË;CIKLAhâ/çX˝Cj:ÓJ@U:=CF8]6/è®ÒF@ËDK.ÌB6}×L@'6¢Ö9@A®@8]6/ÒJØæKL8Dá¨69Ò

:=Þo@ÑCzëSÑ6dË;CIKLA¡Ë;ÌB6dËÑ6/A¢èo@ÈB:D@ӢМCIËDÌ69ArɐCIAB:=Ë;69ÒIÒj6dË;CIKLA{ËDK6}×LK9CjÓ'Ë;Ì®@Ð(K98;E

û

69ABÓ ÷ ÈB6/ÒFCzËbÉ

69:;:=È®8]6/ASÑ*@{CF:;:=ÈB@:VµxK/ØМ8;CzË;CIA®Ö¨6¬:D@ÞB698;6/ËD@¢:=Þo@ÑCzëSÑ6dË;CIKLAØæKL8'@×L@8;ɨCIAB:=Ë;69ÒIÒj6dË;CIKLAhâ

êÌ®CF:xCj:xÓJKLA®@èQɬМ8;CzË;CIA®Ö ËDÌ®@{:=Þo@ÑCzëoÑ6dË;CIKLAHCFAª6ÒFK9ÖLCFÑ'ÒF69A®Ö9ÈB69Ö9@

û

Þ®8;@ÓJCjÑ6/ËD@ÒFK9ÖLCFÑ

М̮@8;@+CIË¢CF:{ÞoKL:;:=CFè®ÒF@ Ë;Kª8;@*Øæ@8¡Ë;KªCFAJØæKL8Dá¨6dË;CIKLA 6/èoK9Ȯˢ6µ:=Þo@ÑCzëoÑ+CFAB:=Ë;69ÒIÒj6dË;CIKLAhâSç?A¤ËDÌB@

8;69CIÒFÐ(6}ɬÑ*KLArËD@*ùQË(ËDÌ®Cj:(CIA®ØæK98;á¬6/ËDCFK9AªCF:(Ñ69ÒIÒF@ÓHËDÌ®@‚=ÖL@KLÖ98]6/ޮ̮CjÑ69ÒBÓ®6/Ë;69é+6/ABÓªÓJ@:;Ñ*8;CFèS@U:

ËDÌ®@nÖ9@K9Ö98]6/ÞBÌ®CFÑ6/҈Òj6}É9KLÈJːK/Ø#Ë;Ì®@ ÞS6/8DËDCjÑ*È®Òj6/8¡ÞB6/8DË¡K9؝6¨8;69CIÒFÐ6}ÉМ̮@8D@ ËDÌ®@+CIArËD@8DÒFKJÑ]Er<

CIA®ÖÇK9Þo@8]6dË;@:

û

@LâÖSâ(ËDÌ®@íÒFKQÑ6dË;CIKLA K/Ø+ËD8]69Ñ]EJ:Û:DCIÖLAB6/Òj:Û(ÞoK9CFALË]:@*Ë]Ñ/∓â0"(É Ñ*KLá è®CFA®CFA®Ö

ËDÌ®@ÖL@A®@8;69Ò:DÞo@Ñ*CIëSÑ6dËDCFK9AÇМCIËDÌÇCIAB:=Ë;69ÒIÒj6dË;CIKLAJ<?:=Þo@ÑCzëSÑÓ®6/Ë;6í6/AÇCFAB:bË]6/ÒFÒF6/ËDCFK9AJ<?:DÞS@UÑ*CIëSÑ

:=Þo@ÑCzëSÑ6dË;CIKLA¤Cj:.K9è®Ë;6/CFA®@UӠМ̮CjÑ]Ì Ñ69A¤èo@HÈB:D@Ó%69:¢CFA®Þ®ÈJË ËDKµËDÌ®@¬ØæKL8Dá¨69Ò#×9@8;CIëSÑ6/ËDCFK9A

Þ®8DKJÑ@:;:«¶dâ

·B¸¹

¨ §

nºƒ» Ú

ËbÉQÞ®CFÑ6/҈CFAJØæK98;á¨6/҈8;@

÷

È®CF8D@á¬@ArËVU

 Ú ÞoK9CFAL˜Cj:ÒIKJÑ]EL@ÓHМÌB@A6/AQÉHK/؁ËDÌ®@{ØæKLÒIÒFKdМCIABÖnÑK9ABÓJCIËDCFK9AS:œ6/8;@¡á¬@*ËãIâIâFâåˆËDÌ®@

ÞSKLCIArË'Cj:ÞB6/8DË'K/Ø6nÒIKJÑ]E9@UÓHË;8;69CIAµ8;K9ÈJË;@¬ãIâFâIâåjé

êÌ®@.Ñ*K98;8;@:DÞSKLABÓJCFA®Ö+ÒFK9ÖLCFÑ6/ÒoØæK98;á ÈBÒF6nCj:

¼½½¾ T¦¿hÀ ÁƒÂà TÄÅ¿«ÄPÆ/WJT®OJM$ÆPÇÈ®O$ÉB¿=TÄ2ÊÌË ¾Í ÄQTÎ$Æ$Ï(¿¾ TpÐ=T$Ä2ÊÊ7ÑÒ

¾ ÆBRÓJTBM$ÆPÇÈ®O$ÉB¿ ¾ T2ÊÊ

>'@8;@

¾ T 6/ABÓ

TÄ

6/8;@{×}698DCj6/èBÒI@U:x8]6/ABÖ9CFA®Ö+Kd×L@8ÞoK9CFALË]:'6/ASÓHË;8;69CIAµ8DKLÈJËD@U:â®êÌB@¢:DÈ®èJ<

ØæK98;á È®Òj6

¾Í

ÄrTÎ$Æ$ÏB¿

¾

TpÐ=TÄcÊ

Cj:6 8D@Øæ@8;@ABÑ@œËDK ËDÌ®@{Ö9@K9Ö98]6/ÞBÌ®CFÑ6/Ò®Ó®6/Ë;6Bâ$#698=ËK9؈ËDÌ®@{Ö9@<

K9Ö98]6/ÞBÌ®CFÑ6/ÒBÓB6dË;6 МCIÒF҈:bË]6dË;@Þ®8;@ÑCF:D@ÒFÉ+МÌBCFÑ]ÌHÞoK9CFArË;:6/8;@'ÞB698=Ë]:K9Ø7М̮CjÑ]̨ËD8]6/CFAH8;K9ÈJË;@:â

‘ZD’‘

WZXZY„[

I\

i

aZLIO

ê7Ká¨69E9@ØæKL8Dá¨6/Ґ×9@8;CIëSÑ6/ËDCFK9AÎÞSKr:D:DCFè®ÒI@LÛx6 8;@ÞB8D@U:=@ALË]6dË;CIKLAÇK9Ø¢ËDÌ®@%:=ÉJ:=ËD@á CFA ÒIKLÖ9CjÑ

á ÈB:=Ë'èS@Ñ8D@U6dË;@ӈâJç?AµËDÌB@Ñ69:D@¢K/Ø#Õ! "x<?ÿ$#JÛLË;Ì®@:DÉQ:=ËD@áîË;K¨èS@.×L@8;CzëB@UÓÐ69:xË;Ì®@.8D@ÒF6}É

Ñ*CF8;ÑÈ®CzË;8DɬK9ØhËDÌ®@{CFALË;@8;ÒIKJÑ]EQCFA®ÖBâQêÌ®Cj:xÑCI8]Ñ*È®CIËD8;ɨÐ69:Ó®KQÑÈ®á¬@ArËD@UÓHèQÉHÑ*CF8]Ñ*È®CIËÓ®CF69Ö98]6/á¨:

М̮CFÑ]̵Ð(@8;@¡Ë;8;69AB:DÒF6/ËD@ÓªCFALË;K¬ÒIKLÖ9CjÑ'Ë;K¨K9èJË]6/CFAË;Ì®@:=ÉJ:=ËD@áîá¬KQÓ®@Òâ Ú :(Ë;Ì®@:D6/Øæ@*ËbÉÑ69:D@

á ÈB:=ˬ69ÒF:DK¤Ó®@á¬K9AB:=ËD8]6dË;@¨ËDÌB@:;6dØæ@ËbÉíK/؜ËDÌB@µ:DÉJ:bË;@á CFAËDÌB@ªÞ®8;@:D@ASÑ*@K9Ø'س6/ÈBÒzË]:ÛËDÌB@

ËD8]6/AB:DÒF6/ËDCFK9A¨á¬@*Ë;Ì®KJÓ¨@á¬Þ®ÒFKdÉ9@UÓnËDKQK9EnCFALË;K 69ÑÑ*KLÈ®ArËËDÌ®@¡ÞSKr:D:DCFè®CIÒFCIËbÉnK9Ø1س6/CFÒIÈ®8;@:

û

:DCIABÖ9ÒF@

ánKJÓJ@{CFAHËDÌBCF:Ñ6L:=@|#CFAHË;Ì®@{ÑCI8]Ñ*ÈBCzË;8Dɬ69ÑÑ*K98]ÓJCFA®Ö.Ë;Kn6+:=Þo@ÑCzëB@UÓ:D@*ËK/ØhÞoKL:;:=CFè®ÒF@'س69CIÒFÈ®8;@

ánKJÓJ@U:â

·B¸¹

¨ §

•Ô$»

}CIÖLÈ®8D@¬àµ:=Ì®KdÐ':¢6µ:D69á¬Þ®ÒI@¬Ñ*CF8]Ñ*È®CIË.K/ØË;Ì®@¬8D@ÒF6}ÉCFALË;@8;ÒIKJÑ]EQCFA®ÖBâ2Õ Ö

Àƒ× CF:

6/A¨K9È®ËDÞ®ÈJËÑ*KLALË]69Ñ*˝K/Ø1ËDÌB@!5ü¡Û9М̮CFÒF@0Ø

Y ¾ ÂÁ 69ABÓ

À-×Ù$Â

6/8;@œ8D@ÒF6}ÉJ:â9êÌ®@œË;8;69AB:DÒF6/ËDCFK9A

CIArËDK¬ÒFK9ÖLCFÑ{Cj:„U

Ú

mqr[#p]ea{ŸLkzcLklcrt\9_bedp][]y?y7kzcLp]slžQ’9[]y^xyX`b[]\ ‘ qr[D_b[`bqL[\L_b[]’Lklp“^`b[sleUtklpxefJ`bqr[t[]cr[;_=^sQy?\J[]p]k‡

·Qp“^*`bkleUc.kly`?_=^cryXfje_ba.[“’{klcd`beœ\L_be\JeUy?k~`bkleUcQ^sJsleUtUklpy?eœ`bqQ^`k~`7p“^c.ŸJ[žry?[]’

‘

kl`bq^žL`bea^`bklp

Àƒ×ÙÂÜÛÑÒ Àƒ×ÂÝ˦¿ Y ¾

ÂÁjÞÝ×ÙÃÜÀ-×ÙÂcÊ/Ë:ß%Àƒ×ÙÂÎ%àÄPÆ-È®OƒÓÞÜÀƒ×ÙÂήY}TrW2ÇÈ

Þ

:=Ë;69ABÓ®:ØæK98(ÒIKLÖ9CjÑ6/ÒoÓJCj:æßbÈ®ASѓËDCFK9A

û

KL8*â

×ÙÃáÀ-×Ù$Â

Cj:x69AH@*ùJÞ®8;@:;:=CFK9A¨8;@*Øæ@8D8;CFA®Ö¢ËDKn6

×}698DCj6/èBÒI@œ8;@Þ®8;@:D@ArË;CIA®Ö¢Ë;Ì®@¡:=Ë;6/ËD@'K9؈ËDÌ®@

Àƒ×ÙÂ

8;@Òj6}É+6/ËËDÌB@Þ®8;@×QCFK9ÈB:#á¬KLán@ArËxCFA¬ËDCFán@

û

:D@@ :D@Ñ*ËDCFK9A²à®âþ-*â

À-×Ù à ÄPÆ-È®O%Ó 6/ABÓ

À-×ÙÂ YdTrW2ÇÈ

6/8;@.×d6/8;CF69è®ÒF@:œá¬KJÓJ@ÒFÒFCIA®Öس6/CFÒIÈB8D@U:

K/ؐË;Ì®@²Ñ*CF8]Ñ*È®CIËâ

À-×Ù à ÄPÆ-È®O%Ó

Cj:nËD8;È®@CzØ¡ËDÌ®@8;@Òj6}ÉÓJKQ@:nA®K9ËHÞ®CjÑ]E È®ÞÎèS@UÑ6/ÈS:=@µËDÌB@

@ÒF@ѓË;8DCjѐÑCI8]Ñ*ÈBCzË(ÌB69:xèS@@AHèB8DKLE9@A¨KL8xèo@Ñ6/ÈB:D@K9Ø768;@Òj6}Éس69È®ÒzËUâ

Àƒ×Ù YdTLW2ÇÈ

Cj:ËD8;È®@CIØ

ËDÌ®@œ8;@Òj6}É

À-×$ÙÂ

ÓJKQ@U:A®K/˝ÓJ8;K9ÞnK9È®ËèS@UÑ6/ÈS:=@CIËCF:#:=ËDÈBÑ]E K98#CIË;:ÑK9ArË;6LѓË;:ÌB6}×L@Ðx@ÒFÓJ@UÓPâ/â

êÌ®@¨ËD8]6/AS:=Òj6dË;CIKLA%CFArËDK¤ÒIKLÖ9CjѬÐ(6L: Ñ698D8;CF@Ó%K9ÈJËn6/ÈJË;K9á¨6dË;CFÑ6/ÒFÒIÉLâ

Ú

Ë;@*ùQËDÈS6/ҝ@ABÑ*KJÓQ<

CIA®ÖµK/Ø#Ë;Ì®@n8D@ÒF6}ÉÑ*CF8]Ñ*È®CIËD8;ÉÐ(6L:á¨69Ó®@ èQÉÌB6/ASÓ²6/ABÓ¤:bË;K98;@ÓCFA¤6HëBÒF@9â

Ú

Ë;8;69AB:DÒF6/ËDCFK9A

Þ®8DKLÖ98]6/á¶8;@6LÓ¨ËDÌB@¢ëBÒI@69ABÓµ6/ÈJË;K9á¨6dË;CFÑ6/ÒFÒIÉHÞB8DKJÓJÈBÑ@Óµ6¬:=@Ë'K/؁ÒFK9ÖLCFÑ¡ØæKL8Dá+È®ÒF69@¡8;@ÞB8D@<

:=@ALË;CIABÖ.ËDÌ®@{èo@ÌB6}×QCFK9È®8K9؈ËDÌ®@{8;@Òj6}É+:DÉQ:=ËD@áârêÌ®Cj:(:=@ËxK/؈ØæKL8Dá+È®Òj6/@œÐ69:#Ë;Ì®@AªÈB:D@ÓH6L:

CIA®ÞBÈJ˜ËDK¬Ë;Ì®@¢ËDÌ®@K98;@áîÞB8DKd×L@8Uâ

üxK9á¬Þ®ÈJË;@8':DK/Ø°ËbÐ6/8;@¢:DÈBÑ]Ì69:,x5ü Þ®8;K9Ö98]6/á¨:Ñ69A6/Òj:=K¬èo@¢ËD8]6/AB:DÒF6/ËD@UÓªCFArËDK¨ÒFK9ÖLCFÑ9Û

è®ÈJ˝ØæKL8#ËDÌBCF:xÐxKL8DEËDÌ®@'5üÔ:DK/Ø°ËbÐ6/8;@(Ð69:A®K/Ë

û

CFA®CzË;CF69ÒIÒFÉ9Ûr:=@@:D@ѓË;CIKLA¨ÊBâà-ÑK9AB:DCFÓ®@8;@Ó

:D6/Øæ@*ËbÉr<XÑ8DCIËDCjÑ69҈6/ABÓËDÌ®@8D@ØæK98;@¢Ð(6L:A®K/ËØæK98;á¨6/ÒFÒIÉ×9@8;CIëB@ӈâ

‘ZDŒ”

€ a f K [

I-Mã\xaZLI$OpäuKLNPO XZY

`Y

tK98;@¢K/Ø°ËD@AËDÌB69AA®K/ËUÛB6¬Þ®8;KrK9؁س69CIÒj:œèo@Ñ6/ÈB:D@{ËDÌ®@ :DÉJ:bË;@á ÓJKQ@:œA®K9Ë

÷

È®CzË;@¢ØæK9ÒFÒIKdÐ ËDÌB@

:=Þo@ÑCzëSÑ6dË;CIKLAhâSêÌ®@ËDÌ®@K98;@á Þ®8DKd×L@8'69ÒIÖLK98;CzË;Ì®á МCFÒIÒ7ËDÌ®@A 6/È®ËDK9á¨6/ËDCjÑ6/ÒFÒFÉÖ9@A®@8]6dË;@.6

DÑ*KLÈ®ArËD@8=<Xá¬KQÓ®@Òjé®Ûh6²ÓJ@U:DÑ8DCFÞJË;CIKLA K/Ø'6²:DCzË;ÈB6dË;CIKLAМ̮@8;@¬ËDÌB@ª:DÉQ:=ËD@á @ùJÌ®CIèBCzË]:+6èo@*<

ÌB6}×QCIKLÈ®8М̮CFÑ]̵Cj:A®K/ː69ÒIÒFKdÐx@UÓHèQɨË;Ì®@.:=Þo@ÑCzëSÑ6dË;CIKLAhâ®êÌ®@Ñ*KLÈ®ArËD@8=<Xá¬KQÓ®@Ò1CzË]:=@ÒzØCj:K/Ø

ÒICFá¬CzË;@ÓªÈB:=@¡ÞB6/8DËDÒFɨèo@Ñ69ÈB:D@K/؁CzË]:x@ù®Ñ*8;ÈBÑ*Cj6dË;CIA®ÖnÓJ@*Ë]6/CFÒSèBÈJË'6/Òj:=K+èS@UÑ6/ÈS:=@¡Cz˜ÓJKQ@:(A®K9Ë

CIACIË;:D@ÒIØ@ùQÞBÒF69CIAªËDÌ®@.8;@6L:=KLAHØæKL8ËDÌ®@.CFABÑ*KL8D8;@Ñ*Ë(èo@ÌS6}×rCFK9ÈB8â tKr:b˜K/ØËDÌB@.CIAJØæKL8Dá¨6/ËDCFK9A

ÓJ@:;Ñ*8;CIèo@ÓCIAËDÌ®@.ÑK9È®ArËD@8=<Xá¬KJÓJ@ÒoCF:ÑK9CFABÑ*CjÓJ@ArË]6/ÒSËDK+ËDÌ®@¢ÞB698=Ë;CFÑÈ®ÒF698x8;@

÷

È®CF8;@á¬@ArËxèo@*<

CIA®Ö ×rCFK9Òj6dË;@ӈâG'âÖBâ7ËDÌ®@ÑK9È®ArË;@8D<á¬KJÓJ@ÒxМCIÒFҝCFABÑÒIÈBÓ®@ª:=Ë;6dË;@HCFAJØæK98;á¨6dËDCFK9A K9؜ÞB6/8DË;: K/Ø

ËDÌ®@.CFArËD@8;ÒFKQÑ]EQCFA®ÖnA®K/Ë'8;@Òj6dË;@ÓËDKnËDÌ®@¢Ø³69CIÒFCFA®Ö¬ØæÈ®ABÑ*ËDCFK9Ahâ

·B¸¹

¨ §

‡å-»

QȮޮÞoKL:D@ªËDÌB6/Ë+Ë;Ì®@:=ÉJ:=ËD@á ÓJCjÓäA®K/˨:D6/ËDCj:bØæÉ%Ë;Ì®@:D69ánÞBÒI@ª8D@

÷

ÈBCI8;@á¬@ArË]:

ØæK98;á È®Òj6HK9؝@*ù®6/á¬Þ®ÒF@µÜ9â Ú :{ÞB698=Ë¢K/ØË;Ì®@¨Ñ*KLÈ®ArËD@8D<XánKJÓJ@Ò7Ë;Ì®@nËDÌ®@K98;@á Þ®8;Kd×9@8Ð(K9È®ÒjÓ

Ö9CF×9@CFAJØæK98;á¨6dË;CIKLA²6/èoK9ÈJË¡ËDÌ®@+ÞB6/8DËDCjÑ*È®Òj6/8¡ÞSKLCIArË¢6/ABÓË;8;69CIA8;K9È®ËD@CFAQ×9K9ÒF×9@Uӈâ Ú ÒF:DKBÛSËDÌB@

:bË]6dËD@U:K9؝6/ÒFÒ78;@Òj6}ÉJ:æ&ªCFABÑ*ÒFÈBÓJCFA®ÖªØ³6/CFÒIÈB8D@U:æ&69ABÓK9ËDÌ®@8ÞB698=Ë]:K9Ø#ËDÌ®@nÑ*CF8;ÑÈ®CzË;8DɵCFA²ËDÌB@

@8;8DKL8:DCIËDÈB6/ËDCFK9AµÐxKLÈ®ÒFÓªèo@.Ö9CF×9@A7â

Ú A²CFá¬ÞSKL8=Ë]6/ArË{:=ËD@Þ²K/ØËDÌB@+Þ®8;KJÑ*@U:D:œCj:ËDÌ®@¬6/AB69ÒIÉJ:DCF:'K/؝6ÑK9È®ArË;@8D<á¬KJÓJ@ÒhËDKÞB8DK9<

×rCjÓJ@¢6+Ñ]ÌS6/8]69ѓË;@8;CF:;6dË;CIKLA¬K/ØhË;Ì®@.:=CIËDÈB6/ËDCFK9AB:xМ̮@8D@¡ËDÌ®@¢:DÉQ:=ËD@á¶@*ùJÌ®CFè®CIË;:6/Aª@8;8DKLA®@KLÈB:

èS@ÌB6}×QCIKLÈ®8âLêÌ®@6/AS6/ÒFÉQ:DCj:CF:Þ®8D@U:=@ArËDÒFÉ+Ñ698D8;CF@ÓnK9ÈJËèQÉnÌB6/ASÓ¨6/ABÓ¬8;@ ÷ È®CF8D@U:#6:DÈ®èB:=Ë;6/A®<

ËDCj6/Ò7ÈBABÓJ@8]:=Ë;6/ASÓJCIABÖnK9Ø#Ì®KdÐøË;Ì®@×L@8;CzëB@UÓª:DÉJ:bË;@áÐxKL8DEJ:â®êÌ®@8;@:DÈ®ÒzË'K9ØËDÌ®Cj:'6/AS6/ÒFÉQ:DCj:

CF:œÈS:=@UÓµ6L:œK9È®ËDÞ®ÈJ˜Øæ8;K9á ËDÌ®@ ×9@8;CIëSÑ6/ËDCFK9AÞB8DKJÑ*@U:D:(Ë;KHÓJ@:;Ñ*8;CFèS@6¬ÞB698=Ë;CFÑÈ®Òj6/8œÞ®8;K9è®ÒF@á

МCzË;̪Ë;Ì®@.×9@8DCIëB@UÓª:DÉJ:bË;@áâ

ç … klcrp;[¬klc/`b[D_bszedp=£/klcrtµ_b[]sz^]u9y ^_b[¨yb^fF[;`u²_b[]sz^]u9y ‘ kl`bq¤fje_bp;[“’%p]ec/`=^p;`by ^sls_b[]sl[]|U^cd`y?kzcLtUsl[

f°^kzslž9_b[¬a.e/’L[]y¡p“^c²ŸJ[ _b[]\L_b[]y?[;c/`b[]’²žLy?klcrtHp]eUa¡ŸrklcQ^*`bkleUcry{efx|U^szžL[]y{efx`bqL[ è„éê-ëì^cr’

ìƒðVñ |U^*_bkz^Ÿrsl[]y#fFe_`bqr[|^_bkleUžLy#_b[]sz^“u9y]§

·B¸¹ § ç?AíËDÌ®@µÑ6L:=@¨K9Ø(Ë;Ì®@ª:;6/á¬Þ®ÒF@H8;@ ÷ È®CF8D@á¬@ArË;:¢ØæKL8Dá+È®Òj6K/؜@*ù®6/á¬Þ®ÒF@²ÜLÛhËDÌB@

Ñ*K9ASÑ*ÒFÈB:=CFK9A ÑK9È®ÒjÓ%èS@H@LâÖSâˆËDÌS6dËØæKL8ÞSKLCIArË Ê²69ABÓ¤ËD8]6/CFAí8DKLÈJËD@ Ú 5ÛhË;Ì®@H8;@ ÷ È®CF8D@á¬@ArË

ÐxKLÈ®ÒFÓªA®K9Ë'èS@:;6dË;CF:=ëB@ÓªCIØ6+س6/CFÒFÈ®8D@¢K9Ø8;@Òj6}ÉgÕ

Ä ½ Æ-È

KJÑÑÈ®8D8;@ÓPó/â

êÌ®@{Ñ]ÌS6/8]69ѓË;@8;CF:;6dË;CIKLA¬CF:6/Òj:DK ÈB:D@ÓËDK+ëBABÓK/ËDÌB@8œ:=CIËDÈS6dËDCFK9AS:xМÌB@8;@'ËDÌB@¢:;6/á¬@

û

KL8

K/ËDÌB@8{8D@

÷

ÈBCI8;@á¬@ArË¢CF:×rCFK9Òj6dË;@ӈâhêÌB@¬ËDÌ®@K98;@á ÞB8DKd×QCFA®Öµ6/Ë=Ë;@á¬ÞJËCj:.8D@ÞS@U6dË;@ӤМCzË;Ì

ËDÌ®@6LÓ®ÓJ@Óµ69:;:DÈ®á¬ÞJËDCFK9AªËDÌB6/˜ËDÌ®@(ßbÈB:=ːÑ]ÌB698;6LѓËD@8DCj:D@ÓH@8D8;K98:DCzË;ÈB6dË;CIKLAµÑ6/AµA®K/Ë'KJÑÑÈ®8Uâ

êÌ®CF:'МCIÒFÒ7Ñ69ÈB:D@¢ËDÌ®@¢Ë;Ì®@KL8D@á Þ®8;Kd×9@8xË;KHÓJCj:=8;@Ör6/8]Ó¨ËDÌBCF:œÞS6/8DËDCjÑ*È®Òj6/8œ@8D8;K98œ6/ASÓªCIːМCFÒIÒ

@CIËDÌ®@8#8D@ÞSKL8=ËËDÌB6/Ë#ËDÌ®@Þ®8;KQK/Ø1:=ÈBÑÑ*@@ÓJ@UÓ ûCIA¬ÐœÌ®CjÑ]ÌnÑ69:D@(69ÒIÒJ@8D8;K98]:ÌB6}×9@(èS@@A+ØæK9È®ASÓ“Û

K98¢CzËМCFÒFÒÖ9@A®@8]6dË;@n6Ñ*KLÈ®ArËD@8=<Xá¬KQÓ®@ÒØæK986ÓJC)o@8D@ArË¢@8D8;K98¢:DCzË;ÈB6dË;CIKLA%МÌBCFÑ]ÌíÑ69A¤CFA

CzË]:(ËDÈ®8;Aèo@.6/AB69ÒIÉJ:D@ӈâ"(ÉH:=ÈBÑÑ*@U:D:DCI×L@ÒFɨ6/AB69ÒIÉJ:DCIA®Ö+Ñ*K9ÈBALË;@8D<á¬KJÓJ@ÒF:(6/ABÓª8;@*ËD8;ÉQCIABÖËDÌB@

Þ®8DKQK9Ø(CFA%ËDÌ®Cj:á¨6/ABA®@8UÛ76/ÒFÒÐ6}ÉJ:¢CIA М̮CjÑ]Ì%ËDÌ®@ª:=ÉJ:=ËD@á ×QCIKLÒF6/ËD@:.:DK9á¬@¨8;@ ÷ È®CF8D@á¬@ArË

МCIÒFÒh@×L@ArËDÈS6/ÒFÒIÉHèo@¢ØæK9ÈBABӈâ

‘ZD— m `YVô äuKLNPOXZY `Y

êÌ®@¡8;Cj:=EH69AB6/ÒFÉJ:=Cj:ÞBÌB69:D@¡Cj:(A®K/ËÞ®8;K9Þo@8;ÒIɨ6+ÞB6/8DËK/ØhË;Ì®@{ØæK98;á¬69ÒS×L@8;CzëoÑ6dË;CIKLAHÞ®8;KJÑ*@:;:Û

è®ÈJËxCIËÐ(6L:6/AHCFá¬ÞSKL8=Ë]6/ArËx:=ËD@ÞHCIAÞ®8DKJÓJÈSÑ*CFA®Ö.ËDÌB@¡Õ! P"<?ÿ$#.:D6/Øæ@*ËbɬÑ69:D@:DKCIË;:x8D@ÒF6/ËDCFK9A

ËDK¬ËDÌB@¡ØæKL8Dá¨69҈×9@8;CIëSÑ6/ËDCFK9AМCFÒFÒhèS@.èB8DCF@“BɵÓJCj:DÑÈB:D:D@Óhâ

ç?A Ë;Ì®CF:.ØæK98;á¬69Ò#×9@8DCIëSÑ6/ËDCFK9A%Þ®8;KQÑ@:;:{A®K6dË=Ë;@á¬ÞJË Cj:¢á¨69ÓJ@¬Ë;KÑ6/ÒjÑ*ÈBÒF6/ËD@nËDÌ®@¬Øæ8;@*<

÷

ÈB@ABÑCI@U:œK98ÑK9AB:D@

÷

È®@ABÑ*@U:œK/Øس6/CFÒFÈ®8D@U:âBç?ABÓJ@@UӈۮË;Ì®@ÒFK9ÖLCFÑ¢Cj:ÓJCj:;Ñ*8;@*ËD@69ABÓÓJ@*Ë;@8;á¬CIAJ<

CF:=ËDCjÑ:DKËDÌB@8;@Þ®8;@:D@ArË;6/ËDCFK9A K9Ø(س69CIÒFÈ®8;@á¬KJÓJ@:+:=CFá¬Þ®ÒFÉí:=Ë;6/ËD@U:Ë;ÌB6dË+ËDÌ®@س6/CFÒIÈ®8;@K9Ø'6

Ñ*K9á¬ÞoK9A®@ArË¢K9ØxË;Ì®@¨×9@8DCIëB@UÓ :DÉQ:=ËD@á

¨

¹õÌB69Þ®Þo@Ahâ

Ú

ÒF:DKBÛ1Ë;Ì®@8;@¨Cj:¢K/؜Ñ*K9ÈB8;:D@n69ÒIÐ6}ÉJ:

ËDÌ®@+ÞSKr:D:DCIèBCIÒFCzËbɪËDÌS6dːË;Ì®@+:DÉJ:bË;@á ÓJKQ@:¡A®K/ːØæÈ®ABѓË;CIKLA 69ÑÑ*KL8;ÓJCFA®Ö¬Ë;K¨ËDÌ®@n:=Þo@ÑCzëoÑ6dË;CIKLA

@×9@AªCFAµËDÌ®@69èB:D@ABÑ@{K9ØÑK9á¬ÞSKLA®@Ar˜س69CIÒFÈ®8;@:â

ê7KÓJ@ËD@8Dá¬CFA®@œÐœÌ®@*Ë;Ì®@8(ÓJ@×QCj6dË;CIKLAB:Øæ8;K9áìË;Ì®@'8;@

÷

È®CF8D@á¬@ArË;:#ÌS6}×9@œÓ®6/ABÖ9@8;K9ÈS:#Ñ*K9A®<

:=@ ÷ ÈB@ABÑ@:.6/ASӈۈCz؜:DKBÛ1М̮@*Ë;Ì®@8ËDÌ®@¬Þ®8;K9èB69è®CFÒICIËbɲK/Ø6ÓJ@×QCj6dËDCFK9Aí69Ñ*ËDÈB69ÒIÒFÉKJÑÑÈ®8D8;CFA®Ö

CF:+ËDKQK¤Ì®CIÖLÌË;K èo@µ6LÑÑ*@ÞJË;69è®ÒF@9Û6ËD8]69Ó®CzË;CIKLAB6/Ò(8DCj:DEí69AB6/ÒFÉJ:=Cj:nÑ6/AØæK9ÒFÒIKdдË;Ì®@ØæKL8Dá¨69Ò

×9@8;CIëSÑ6/ËDCFK9AhâB˜:DCFA®ÖíErABKdМAÔK98¨@U:bË;CIá¨6/ËD@ÓÔØæ8;@ ÷ È®@ASÑ*CF@:¬K/Ø¢Ñ*KLánÞoK9AB@Arˬس6/CFÒIÈ®8;@:¬69ABÓ

èS@ÌB6}×QCIKLÈ®8HÞB6/Ë=ËD@8DAS:K9Ø{Ë;Ì®@¤:DÉJ:bË;@á @AQ×QCI8;K9ABán@ArË

û

Ë;Ì®@ 8]6/CFÒIÐ6}ÉÔCFAºË;Ì®CF:µÑ6L:=@|nËDÌB@

8DCj:=E¤6/AB69ÒIÉJ:DCF:.Ñ6/A%@:=ËDCFá¬6/ËD@¬Ë;Ì®@¨ÒICFE9@ÒICFÌ®KQKJÓí6/ABÓ%Ñ*KLAB:=@ ÷ È®@ABÑ@:¢K9Ø(CFABÑ*KL8D8;@Ñ*Ë¢:DÉJ:bË;@á

èS@ÌB6}×QCIKLÈ®8(ØæK98œ@6LÑ]̵Ӯ@×QCF6/ËDCFK9AªØæK9È®ASӵӮȮ8DCFA®ÖnËDÌB@Ñ*K9ÈBALË;@8D<á¬KJÓJ@Òh6/AB69ÒIÉJ:DCF:â

ç?AHØæK98;á¨6/Ò1á¬@*Ë;Ì®KJÓ®:Û®6n:DÈBÑÑ@:;:bØæÈ®ÒoØæKL8Dá¨6/Ò1×L@8;CzëSÑ6dË;CIKLAHCF:(A®KL8Dá¨69ÒIÒFɨÈB:D@ÓHèQÉHCIË;:D@ÒIØ

69:¬@×QCjÓJ@ASÑ*@K/Ø{ËDÌB@²:D6/Øæ@*ËbÉÔK9Ø¡Ë;Ì®@²:DÉQ:=ËD@áâs†ºÌ®@AÎÈB:D@ÓÇCFAºÑ*K9A/ßbÈ®ABѓË;CIKLAÎМCzË;̺8DCj:=E

6/AB69ÒIÉJ:DCF:¢Ë;Ì®@HØæKL8Dá¨69ҝ×9@8DCIëSÑ6dËDCFK9A AB@@ÓíABK/Ë+èo@l;:=ÈSÑÑ*@U:D:=ØæÈ®ÒjéCFAíËDÌ®@µÈB:DÈB6/Ò(:=@AB:=@K/Ø

ËDÌ®@Ð(K98]ӈâç?AäÑ*KLArËD8]69:=ËÛCzËHÑ6/Aä:D@8;×9@ËDÌ®@Þ®ÈB8DÞoKL:D@ªK9ؐëBASÓJCIABÖ%ÞoKL:;:DCIè®ÒFÉÓ®69A®Ö9@8DKLÈB:

:=CIËDÈB6/ËDCFK9AB:¡ÐœÌ®CjÑ]̤698D@ :DÈ®èJßb@UѓË{ËDKª8DCj:=E69AB6/ÒFÉJ:=Cj:âc"(ɵÈS:=CFA®ÖªØæK98;á¬69Ò7á¬@*Ë;Ì®KJÓ®:¢6Há+ÈBÑ]Ì

ánKL8D@(Ñ*KLánÞBÒI@ËD@:=@ËK9Ø®ëBABÓJCFA®Ör:Ñ6/A èo@(K9èJË]6/CFA®@Ó+Ñ*K9á¬ÞB698D@UÓ{ËDK{МÌB6dË#Ñ69Aèo@(@ùJÞS@UѓËD@UÓ

ÈB:=CFA®ÖnËD8]69Ó®CzË;CIKLAB6/Ò

û

á¬69AQÈB6/Òxán@ËDÌ®KJÓ®:â

‘ZD’ö ÷–NPKLLOb`bKLk y `b\xI

êÌ®@èS@ÌB6}×QCIKLÈ®8n6/ËH6/AQÉ Ö9CF×9@AÔÞoK9CFAL˨CFAÔË;CIá¬@K9ؐ×QCI8DËDÈB69ÒIÒFÉ@×9@8;É :=ÉJ:=ËD@á ØæK9È®ASÓÔCFA

Þ®8;6LѓË;CF:D@#CF:7ÓJ@Þo@ABÓ®@ArË7K/ØQМÌB6/Ë7ÌB69:1ÌS6/Þ®Þo@A®@UÓ¢Þ®8;@×QCIKLÈB:DÒIÉLâ*ç?A¢K/ËDÌB@8hÐ(K98]Ó®:Û]ËDÌ®@#ØæKL8Dá¨69Ò

ø

mqrkly{kly¡^¬qduL\Je`bqr[;`bklp“^s[;_?_be_¢^cQ’’9ed[]y¡cLe`_b[]\L_b[;y?[]cd`¢^c/uµ^pD`bžQ^s[;_?_be_¡fježrcQ’ªkzc`bqL[

6/Þ®Þ®8;KL6LÑ]Ì®@:ËDKµÌB69ABÓJÒFCIA®ÖµË;CIá¬@9âˆç?A¤ËDÌB@nÞB8D@U:=@ALË¢Ð(K98;EoÛoË;Ì®@¨:=ÉQABÑ]Ì®8;K9ABK9ÈB:ÌrÉQÞoK/Ë;Ì®@:DCF:

ãÍdå¡Cj:69Ó®K9ÞJË;@ӈâ(êÌ®CF:èB69:DCjÑ6/ÒFÒFÉÔá¬@69AB:¨Ë;ÌB6dËHË;CIá¬@%Ñ6/Aºèo@ :D@@A 69:6 :D@ ÷ È®@ABÑ*@ K/Ø

:=@ÞB6/8]6dË;@CIA®ëBA®CIËD@:DCFá¬69ÒIÒFɲ:Dá¬69ÒIÒCFAB:=Ë;6/ASÑ*@:{6/ASÓËDÌB6/Ë¢69ÒIÒ#6LѓËDCFK9AS:K9ØËDÌ®@¬:DÉQ:=ËD@á

û

@9âÖBâ

Ñ]ÌB6/A®ÖL@¬K/ØxKLÈJËDÞBÈJË{Ë]6/EL@nÞBÒF6LÑ*@nØæ8DKLá KLA®@nËDCFán@¨CFAB:=Ë;69ABÑ*@¬Ë;KªË;Ì®@¨A®@ùrËUâ7êÌB6/ËCF:ۈËDÌB@

69ѓË;CIKLAB:¨6/8;@µË;69E9@AÇË;K èS@CFAB:=Ë;6/ArË]6/A®@K9ÈB:âêÌ®Cj:H:=CFá¬Þ®ÒFCzëSÑ6dË;CIKLA

û

K98H69èB:bË;8;6LѓË;CIKLAq+K/Ø

8D@U6/Ò1ËDCFá¬@Cj:œá¬@6/ABCIA®Ö9ØæÈ®ÒhCIØ#Ðx@6L:D:DÈ®á¬@{ËDÌB6/Ë'ËDÌ®@:DÉJ:bË;@áМCIÒFҁ69ÒIÐ6}ÉJ:x8;@6LѓËg

÷

È®CjÑ]EQÒIÉ

@A®KLÈ®Ö9ÌBé+Ë;K¬Ñ]ÌS6/A®ÖL@:(CIACIË;:œ@AQ×rCF8;K9A®á¬@ArËUâ

êÌ®@ª8;@

÷

È®CF8;@á¬@ArË;:¬:DÞS@UÑ*CIëSÑ6/ËDCFK9AÇ69:¬Ð(@ÒFÒ6L:+ËDÌ®@:DÉQ:=ËD@á á¬KJÓJ@Ò'698D@ªËD8]6/AB:DCIËDCFK9A

8D@ÒF6/ËDCFK9AB:Û9ÓJ@U:DÑ8DCFè®CFA®Ö.МÌB6dË(:bË]6dËD@U:6/8;@œÞo@8;ánCj:;:=CFè®ÒF@|ù}ÞoKL:;:DCIè®ÒF@œCFA¬ËDÌ®@'ÞB8D@U:=@ALËá¬KLán@ArË

K/ØËDCFán@.ÖLCI×L@AËDÌ®@:DÉJ:bË;@á:=Ë;6/ËD@.6d˜Ë;Ì®@.Þ®8;@×QCFK9ÈB:(á¬K9á¬@ArË'K9Ø7ËDCFá¬@9â

Ú

ÓJ8]6}МèB69Ñ]E.МCIËD̬Ë;Ì®CF:á¬KQÓ®@ÒBK9Ø1ËDCFán@CF:ËDÌB6/˝CzË(ÓJKQ@:#A®K9Ëx6/ÒFÒFKdÐØæK98(:=Þo@ÑCzëoÑ(ËDCFán@

CIArËD@8D×d69ÒF:Û@LâÖSâUËDÌB6/ˁËbÐ(K@×9@ArË]:698D@(:=@ÞB6/8]6dË;@Ó.èQÉ6¡ý¡:D@Ñ*KLABÓ®:

û

:;6}ÉPˆCFALË;@8;×d6/ÒâUçXËËDÈB8DAB:

K9ÈJË(ËDÌB6/Ë(CFAHË;Ì®@{Þ®8D@U:=@ArË(6/ÞBÞ®ÒICjÑ6/ËDCFK9AhÛLËDÌB@8;@Cj:(:D@ÒjÓJKLá´6 A®@@UÓ¨ØæKL8(:DÈBÑ]̪:DÞo@Ñ*CIëSÑ'ËDCFán@

CIArËD@8D×d69ÒF:âP†ºÌ®@AËDÌ®@ɵӮKHKJÑÑ*ÈB8œËDÌ®@ɵ698D@:DCFá È®Òj6dË;@ÓèQɵ6L:D:DÈ®á¬CFA®Ö¬ËDÌ®@ @*ùJCF:=ËD@ABÑ*@ K/Ø

6nÑÒIKJÑ]EHМÌBCFÑ]ÌМCFÒIÒh:DCIÖLAB6/҈МÌB@AµËDÌ®@.ÖLCI×L@AªËDCFá¬@.CIArËD@8D×d69҈ÌB69:@ÒF69ÞB:=@Uӈâ

‘ZDú y aZacO

Y

êÌ®@¬Þ®8DKJÑ@:;:Cj:¢:=È®ÞBÞSKL8=Ë;@Ó¤èrɲ6µ:DK/Ø°ËbÐ6/8;@ËDKQKLÒiÛZû¢ê

Å

ÛhÓJ@×9@ÒFK9Þo@Ó èQÉç?ABÓJÈB:=ËD8;CIÒFK9ÖLCIE

5hÊ9C

Ú

"{â}êÌ®CF:7ËDKQKLÒLÑ69A é/ÞBÒIȮ֐CIABé6/AQÉ{69ÈJËDKLá¨6dËDCjÑ#Þ®8;K9ÞoKL:DCIËDCFK9AB69ÒdËDÌ®@K98;@á¸Þ®8;Kd×9@8Û*69ABÓ

×}698DCFK9ÈS:Ë;Ì®@KL8D@á Þ®8;Kd×9@8;:¡:=ÈBÑ]Ìí69:T Ú ê Å

ãIÜÊ/åXÛ2ü}üxÌB6%)øãÝ/å6/ABÓ78;Kd×9@8{ê@Ñ]ÌBA®K9ÒFK9ÖLÉ

ü(5ˆ<?ê7KQK9Ò

û

èB69:D@ÓªK9Ajh QË

Ù

6/ÒFá¨6/8]Ñ]E1ú:(á¬@*Ë;Ì®KJÓ®éãzÜUàdåxÌB6}×9@{èS@@AÈB:D@ӵМCIËDÌÌû¢ê Å â

ý þJÿ
S8h¿BÄ87½Ã28~Ax<;¿BÀpœ Á08p8~bÀ¡Ä=½ ¾P6
8ÜA$;(<8ˆ¾%= Ã2;BA$8

”~DGF

y

{LI

m

I

f

`MI\xIK [VYnW

oI$z-`_(zƒN

[

`bacK

Ú Þ®8;@8;@ ÷ È®Cj:DCzË;@ËDK6/AQÉ×9@8DCIëSÑ6dËDCFK9A²69ABÓ²×d69ÒICjÓ®6dË;CIKLA²@)1K98DË¢CF:{68;@ ÷ È®CF8;@á¬@ArË;:¡:=Þo@ÑCz<

ëSÑ6/ËDCFK9AhâJç?AµËDÌB@ Ñ6L:=@{K/ØËDÌ®@Õ' "x<Xÿ#+:=ÉJ:=ËD@á A®K¨Þ®8;K9Þo@8œ8;@ ÷ È®CF8D@án@ArË;::=Þo@ÑCzëoÑ6dË;CIKLA

Ð(6L:#á¨69ÓJ@'МÌB@A¬ËDÌB@:=ÉJ:=ËD@á Ð69:#ÓJ@×9@ÒIKLÞS@UÓ /âLç?AB:bË;@6LӈÛ/Ë;Ì®@:DÉQ:=ËD@á Ð69:ÓJ@:DCIÖLA®@Ó+Ë;K

Ö9@AB@8]6/ÒFÒIɬÌB6}×L@'ËDÌB@¢:;6/á¬@{èS@ÌB6}×QCIKLÈ®869:(Þ®8;@×QCIKLÈB:(:=ÉJ:=ËD@á¨:6/ASÓHË;K ØæKLÒIÒFKdкËDÌB@¡KLÞS@8;6/<

ËDCFK9AB69Ò78;È®ÒI@U:'K9Ø#ËDÌ®@+8;69CIÒFÐ(6}ÉLât²69ArɵK/ØË;Ì®@+6LѓËDÈS6/Ò78;@

÷

È®CF8;@á¬@ArË;:'ØæK98{6/ACFALË;@8;ÒIKJÑ]EQCFA®Ö

:=ÉJ:=ËD@á Ðx@8D@.:DCIá¬Þ®ÒFÉ@á èoKQÓ®CI@UÓªCFAªËDÌ®@ÓJ@U:=CFÖ9AK9؁ޮ8;@×QCFK9ÈB:œ:DCIÖLAB6/ÒFÒFCIA®Ö¬:DÉQ:=ËD@á¨:â

ç?A¨K98]ÓJ@8Ë;K Ñ698D8;ÉK9È®ËËDÌ®@{:D6/Øæ@*ËbÉnÑ69:D@9ÛL6.Þ®8;K9Þo@88;@

÷

È®CF8D@á¬@ArË;::DÞo@Ñ*CIëSÑ6dËDCFK9A¬ÌB6LÓ

ËDKHèo@+ÓJ@×9@ÒIKLÞS@UӈâSêK¨ËDÌBCF:¡@ABÓËDÌ®@8;@ÒF@×d69ALË¡8D@Ö9È®Òj6dË;K98;ÉÓJKJÑ*È®á¬@ALË]:Cj:;:=È®@UÓèQɵÆ$".

Ðx@8D@:=ËDÈBÓ®CI@UӈâêÌ®@U:=@Ó®KQÑÈ®á¬@ArË;:7Ðx@8D@М8;CzËDËD@A6dØ°ËD@8ˆËDÌB@ÓJ@×L@ÒFK9Þ®á¬@ALËhK9ØQËDÌ®@Õ' "x<Xÿ#

6/ABÓªCzË'Ð69:EQA®KdМAËDÌB6/˜ËDÌ®@ɪÓJCjÓµA®K/Ë'69ÒIÐ6}ÉJ:(ÑK98;8D@U:=ÞoK9ASÓ¬ËDK¨@U6/8;ÒICF@8Þ®8]69Ñ*ËDCj:=@Lâ

Ú

ÒF:DKBÛ

á ÈBÑ]̺CFAJØæK98;á¨6dË;CIKLAÇÐ69:¬á¬Cj:D:DCFA®Ö Øæ8;K9á Ë;Ì®@²8;@ÖLÈ®ÒF6/ËDCFK9AB:âs#6/8DËDÒFÉË;Ì®Cj:HÐ69:¬èo@Ñ69ÈB:D@

=K9èQ×QCFK9ÈB:;é8;@

÷

È®CF8D@á¬@ArË;:(Ð(@8;@¡KLánCIË=Ë;@ӈÛBè®ÈJː6/Òj:DKn:DCIASÑ*@{ËDÌ®@.:=ËbÉQÒI@¢K/؁ËDÌ®@Ó®KQÑÈ®á¬@ArË;:

CIA+á¬69AQÉ¢Ñ69:D@:Ð(6L:hË;K{:=Ë;6/ËD@x8D@

÷

ÈBCI8;@á¬@ArË]:7èQÉ.Ö9CF×QCIAB֐@*ù®69ánÞBÒI@U:7K9ØSÑ*KL8D8;@Ñ*Ë7èS@ÌB6}×QCIKLÈ®8UÛ

ÒI@U6}×rCFA®Ö¬Ë;Ì®@8;@69Ó®@8œË;KH@*ùQËD8]6/ÞoK9Òj6dË;@¢ËDÌ®@+8D@ ÷ È®CI8;@á¬@ALË]:œCFA²:=CIËDÈB6/ËDCFK9AB:A®K/Ë{Ñ*Kd×9@8D@UÓèQÉ

ËDÌ®@.@ùJ69á¬Þ®ÒI@U:â

mqrklykzyx^¢tU[;cr[;_=^s1\rqL[]crea.[]crec

‘

k~`bq¨eUsz’9[;_x_=^kls

‘

^]u¨klc/`b[D_bszedp=£/klcrt.yXu9yX`b[]a.y^cr’ncre`x\r^_

‡