Term Validation of distributed hard real time applications

HAL Id: hal-00345984

https://hal.archives-ouvertes.fr/hal-00345984

Submitted on 10 Dec 2008

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.

Term Validation of distributed hard real time applications

Gaëlle Largeteau-Skapin, Dominique Geniet

To cite this version:

Gaëlle Largeteau-Skapin, Dominique Geniet. Term Validation of distributed hard real time applica- tions. CIAA 2002 : international conference on implementation and application of automata No7, Jul 2002, Tours, France. pp.339–343, �10.1007/3-540-44977-9�. �hal-00345984�

/100 23(4

57698

:;<;=:7>

6@?BA

:C,:

6EDF6EGIH4JLK@MON<G-N<PQD

: 5 :

G-N

:C

RTSVU9WVXYSZ[W]\^X[_L`Iabdc@efWVX[gSZ[\ihEjk_l@m,\i_,cEZ[\^nohEjk_p_,Zqbrco`kjkstZuX[\v_xwvwi_Vy

zpck\i{]_,X[su\^Z@|_3`k_}~WV\vZ[\v_,X[s€‚ƒ3lQ„O…y

†'|_xwY|_x‡9WVXuZ‰ˆ#Š‹SŒ{_xcEjQ_3Ž"wY|_,g'_xcZq…p`k_BX

}’‘]“@‹x“]”'•]–V”]–E‹—kjkZ[jkX[WVsumxW]‡9_#Ž"˜QSVsusu_xck_xjQ\vwTm9|_Œ`k_B™Iyk—kXYScQmx_

š›œž]Ÿž› E¡žV¢@£,¤o›~¥r¦]œ

yI§

žV¢k¨ž]Ÿ¡žV¢@£,¤o›~¥r¦]œ

©ª¬«x­x®¯o°V­]±² _psu˜QWŒ³´Z[˜oSZŒyE³˜Q_xcZ[˜Q_‰g'WE`@_xwv_Œ`‡k˜µksu\vmŒSwT‡@X[Wmx_xsus\vs(mxwvW]su_Œ`-y

nQcQ\^Z[_3SVj@Z[W]gSZYSLSco`¶‡@X[WE`kjkm,Z(W]‡9_BXYSZ[WVX[sqSX[_3sujk·'mx\v_xcZZ[WL{]Swv\=`¶`k\vstZuX[\vUQj@Z[_Œ`

stµ@stZ[_xg's(WVc¸SVcOWV‡9_,XYSZ[\vWVcoSVwI³(Sxµ¹

º »Q¼q½9¾-¿3ÀLÁ#Âý-Ä[¿q¼

Å ? : 6

;iÆdC N<M

:LÇBÈoÇYCB:

MÉN

ÇpʏËoÌ-ÍEÎ]ÏÑÐTË 6EGIH

Í@ÒÃÓÔÍkÕÖʍʏËoÓ~ÎO×

6

;<;

K@Ø

:

?x6

C

N<K@G

Ç 6 Ç,Ç

KoÙN<6

CB:

HOÚ3N

C,Û

6'Ø-?,KoÙ

:VÇ,Ç

M¸6EGI6@A@N<G-A

Û

6Ü

:‰C K?,D-G

Ç

N=M¶D

;iC 6EG

:

K@D

ÇB;<È9ÝÞEßtC NÇ 6

ÇY:C KEà

:;<:

M : G C 6E?

ÈOÎVÌ-áVâá@ã

:

6@Ù

Û

K@à

CBÛ-:

MäÙK9H9N=GIAå6æ?

:

6@Ù

C

N<K@G

C

KN=GTÙK@MON<G-A

: Ü : G C,ÇVހç‰Û

N

ÇFÇY:C NÇ

ÙKkMOØTK

ÇY:

HèKEà

é ËQʍÏrÒê"ÏëÍ 6@GIH

Ó"ÒTÓ é ËQʏÏëÒê"ÏëÍìC

6

ÇBí9Ç×

?

:V;

6

CB:

H C K46

;

6E?,M

Ç

N=AkGI6

;fÇ 6@GIHîD

ÇY:

?L6@Ù

C

N<K@G

Çx݌Þ

ï 6 ; N<H9N

C[È K@à76ð?

: 6

;iÆdC N<M

:ÇYÈ9ÇYCB:

MñN

Çìò

6

ÇB:

HóK@G

ò K C,ÛC,Û-:

ÙK@?,?

: Ù C G :VÇ,Ç

K@àN

C,Ç

?

:]Ç

D

;iCxÇ

6EGIH!N

CxÇ

ÙKkG9àÑK@?,MON

C[ÈOC K C

N=MON<G-AìÙKkG

ÇYC

?x6EN<G

CxÇÞ9ç‰Û-:

? : 6E?

:LC ڀK¸Ù

;6 Ç,ÇB:VÇ

KEà"?

: 6

;=ÆrC N=M

:7ÇYÈ9ÇYÆ

CB:

M

ÇVôTõ"Ì9ʏê 6@GIH

áVÒÃödÎÇBÈoÇYCB:

M

ÇÞ-ß àGIK

C ? :VÇ

Ø : Ù C N<G-A

C,:

?,M

Ç

N=MOØ

;N :VÇ

N<?,?

:C

?,N

:

܍6

ò-;<:

ÙK@G

Æ

ÇY:

PkD

:

GIÙ

:VÇVãkC,Û-:'ÇYÈ9ÇYCB:

M÷N

ljõ"Ì9ʏêqã

K

CBÛ-:

?BÚ3N

ÇB:CBÛI:7ÇBÈ9Ç[C,:

M÷N

Ç3áVÒÃödÎ@Þ9ø:

?

:kã

Ú : H : 6 ; Ú3N

C,Û

Û

6E?xHù?

: 6

;iÆdC N<M

:'ÇYÈ9ÇYCB:

M Ç ÙK@MOØTK

ÇY:

HùK@àÔØ

:

?,N=K9H9NfÙ

C 6 ÇYí9ÇVÞ

ï 6 ; N<H-6

C

N<G-Aì6O?

: 6

;=ÆdC N<M

:ÇBÈ9Ç[C,:

MúÙK@G

ÇN Ç[CxÇ

N<GØ-?BKÜoN<G-A

CBÛ 6 C NC

Ú3N

;<;

6 ; ډ6

È9ÇpòT:

6

ò-;<:

C

KO?

:

6@Ù

C

N<GÙKkG9àÑK@?,MON

C[È Ú3N

CBÛ

N

C,ÇpC

N=MON<G-AìÙKkG

Ç[C

?,6@N=G

CxÇã Ú Û 6

CB:

Ü : ?

C,Û-:

N=GIÙK@MON<G-A

: Ü : G C

ûIKÚ

Þqç‰Û-:C,:

?,Mñ܏6

;

NfH-6

C

N=KkG‚N

ÇìCBÛ-:

Gü6´H

:

ÙN

Ç

N<K@GèØ-?,K9Ù

:VÇ,Ç

?

:;

6

C,:

H C K C 6

ÇBíóÇ

Ù

Û-:

H9D

;=Æ

N=G-A

ÇB:

PQD

:

GTÙ

:VÇVÞßtC D Ç

DT6

;<;=È àÑK

;=;

KÚ

ÇC

ڀKýM¸6EN<Gó6@Ø-Ø-?,Kk6@Ù

ÛI:VÇVôþ

?

Ç[C]ã3ÿvÿ

6EØIØ-?BKQ6@Ù

Û

ÙK@G

Ç N Ç[CxÇ

N=G4Ù

Û

KoK

Ç

N<G-A

C,Û-:7C

6

ÇYíìC

K

:;<:

Ù C àÑK@?6EG

È

ÙK@G

CB: oC3Ç Ú3N

C Ù Û H9D-?,N=G-A

C,Û-:

6EØ-Ø

;

NfÙ6

Æ

C

N<K@Gð?BDIG

Þ N<GIÙ

:

ÙK@MOØ-D

C

N<G-A

C 6

ÇYíýÇYÈ9ÇYCB:

M ÇÙ

ÛI:

H9D

;

N<G-AN

Ç,Ç D :

Ú3N

C,Û Ù?,N

C

N<ÙV6

; ? :VÇ

K@D-?xÙ

:]Ç

N

Ç(Æ ÙK@MOØ

;<:C,:tãoCBÛ NÇ

6@Ø-Ø-?,Kk6@Ù

Û NÇ G-K

C

K@Ø

C

N=M¸6

; àÑK@?6

;

MOK

ÇYC‰:

Ü : ?

ÈOC

6

ÇBí ÙKkG

þ

A@D

Æ

?,6

C

N<K@G

ã

6EGTHùN

C3Û 6 Ç

6@G

: ØÃK@G

: G C Nf6

;

ÙKkMOØ

;=:

N

C[ÈkÞoç K Ç K ;Ü

:C,Û NÇ

Ø-?BK

ò-;<:

M

ãQCBÛ-:vÿ

6EØ-Ø-?,Kk6kÙ

Û D ÇB:VÇ

àÑKk?BM¸6

;

MOK9H

:;fÇ7C

K

ÇB:

6@?,Ù

Û

àÑK@?

:

N

Ç[C,:

GIÙ

:

KEàp6

C';=:

6

ÇYC KkG

:¸Ç

Ù

ÛI:

H9D

;

N<G-A

ÇY:

PkD

:

GIÙ

:7Ç 6 C NÇ àÈ

N=GIAOÙK@G

ÇYC

?x6EN<G

C,Ç7×C,Û

?,K@D-A

Û

MOK9H

:;

Ù

Û-:

Ù í N<G-A

CB:

Ù Û G-N<PQD

:]Ç,ÝÞ

ç‰Û-:

àë6

ÇYC#C,:

Ù Û GIK

;

K@A@NfÙ6

;:

ÜkK

;D C N<K@G4N<Gî?

: Ù : G C#È@:

6E?

Ç×Ñ:]Ç Ø :

ÙN<6

;=;<È N=GG

:C ڀKk?

í

ÙKkM

Æ

MD-G-NfÙ6

C

N<K@G

ÇxÝ3Û 6 Ç ?

:]Ç

D

;iC,:

HN<G D Ç N<G-A!H9N

ÇYC

?,N

ò D CB:

H

ÇYÈ9ÇYCB:

M Ç 6 Ç 6 ò 6

ÇB:

àÑKk?

Û

6@?,Hî?

: 6

;=Æ

C

N<M

:

6EØ-Ø

;

NfÙ6

C

N<K@G

Ç

MOKk?

:

6@GIHðMOK@?

:

àÑ?

:

PQD

: G

CB;<È@Þç‰Û-:]ÇY:ùÇBÈ9Ç[C,:

M

ÇÇYC

6@GIHðàÑK@DIGIH

:

HðKkG

?: 6

;=ÆrC N=M

:

Ø-?,K

C

KoÙK

;fÇ N=G

C,:

A@?x6

C

N=GIA

C

N=MON<G-AåÙK@G

ÇYC

?x6EN<G

C,Ç àÑK@?ùM

:]ÇBÇ 6EA

:VǶC

?x6EG

Ç

MON

ÇBÇ N=KkG

ÇVÞ

…sumY˜Q_Œ`@jQwv\vc SVw!]WX[\vZ[˜kg \is(WV‡kZ[\vgSVw-\^eSco`¶WVcQw^µ\^e¬\^Z"V\v{_xsS{VSVwv\i`¶sumY˜Q_Œ`@jQwv\vc Lsu_ŒhjQ_xckmx_

N=GTÙ

:7Ç

Ù

Û-:

H9D

;

N=GIAH9N

ÇYC

?,N

ò D CB:

H

ÇYÈ9ÇYCB:

M Ç N

Ç#$(Æ H9N&%ìÙD

;=CVãQCBÛI:ÿ'vÿ

6EØ-Ø-?,Kk6kÙ

Û N ljÇYC

N

;=;

G-K

C

KkØ

C

N<M¸6

;dÞ)(’:

D

ÇY:7C,Û-:*+vÿ

6EØIØ-?BKQ6@Ù

Û H :þ

G : H4N<G

,-./-¬C K Ç

D-AkA

:]Ç[C 6M

:C,Û K9H

CBÛ 6 C

܏6

;

N<HI6

CB:]Ç H9N

Ç[C

?BN

ò D C,:

H

ÇBÈ9Ç[C,:

M Ç

KkGì6EG¸KkØ

:

?,6

C

N<K@GI6

;

Úp6

ÈkÞEßtC,Ç Ø-?,N=GTÙN<Ø

;=:

N

ÇC KN<G

CB:Æ

A@?x6

CB:

ÙK@MOMD-GIN<ÙV6

C

N<K@GFØ-?,K

C

KoÙK

;fÇ N=G

C,Û-:

MOK9H

:;

6@GIH

C

Kì6kH-6EØ

C3C,Û-:

MOK9H

:;C K C

6@?BA

:CxÇ

Ú3N

C,Û H9N&0

: ? : G C ØI?BK9Ù

:]ÇBÇ K@?

Ç Ø ::

H

ÇVÞ~ç‰ÛI:

Ø

ÛoÈ9Ç N<ÙV6

;

6E?xÙ

Û N C,:

Ù C D-?

: NÇ ÙK@MOØÃK

ÇB:

HK@à€6

ÇY:C

KEà

Ç N CB:VÇVã~CBÛ

6 C

ÙKkMOMD-G-NfÙ6

CB:¶CBÛ

?,K@DIA

Û

6!G

:C ÚpK@?

íÃÞ1 6kÙ

ےÇ

N

C,:

H9N

Ç

ØÃK

ÇB:

K@àpM¸6@G

È

ØI?BK

Æ

Ù

:VÇ,Ç K@?

Çã

6@GIHK@à(6*2 Å$3

ÇYÛ 6@?

: H òT:C

Ú

:V:

GîN

C,Ç Ø-?,K9Ù

:VÇ,Ç K@?

ÇÞ

Å

;=;ÔCBÛ-:

Ø-?,KoÙ

:VÇ,Ç Kk?

Ç

àÑK

;<;

KÚ

CBÛ-:L;

K9Ù6

; Ù ; K9Ù

í

K@à

CBÛ-:Ç

N

CB:kÞ

3

Kk?

:

KÜ

: ? ã:

6kÙ

ÛìÇ

N

CB:

H-N

Ç

ØTK

ÇY:

KEà6'G

:C ڀKk?

í¶ò KQ6E?xH

ã Ú Û NfÙ

Û

ÙK@G

C

6EN<G

Ç 6 Ç Ø : ÙNf6

;N ÇB:

H Ø-?BK9Ù

:VÇ,Ç Kk?

Þ 2 : 6

;iÆdC N<M

:ÇBÈ9Ç[C,:

M*܏6

;

N<HI6

C

N<K@G’N=GoÜkK

;Ü :VÇCBÛ-:

àÑKk?

:Æ

ÇY:V:

6 ò N;N

C[È KEà

òÃ:Û 6ÜoN<K@?

ÇÞ4 N<GIÙ

: D Ç N=G-A’Ù6@Ù

ÛI:

K@?Ø-N<Ø

:;

N=G

:

N=GIH-DIÙ

:]Ç G-KkGIH

:C,:

?,MON=G-N

Ç M ã

CBÛ-:VÈ 6E?

: 6 ; Úp6

È9Ç H-N

Ç 6 ò-;<:

HìN=G!?

: 6

;=ÆrC N=M

:#ÇBÈ9Ç[C,:

M

ÇôQÛ-:

?

:kã Ú :

M¸6

ík:3CBÛI:

6

ÇBÇ D-MOØ

C

N<K@G

ã

N<G

CBÛ-:

àÑ?x6EM

:

ÚpK@?

í

KEà"܏6

;

N<H-6

C

N<K@G

ãoC,Û 6 C

GIK@G

:

6@?

: D ÇB:

H Þ

5

N<?

Ç[C,;=Èkã@C,Û-:

MK9H

:V;

NÇ Ø-?

:VÇB:

G

CB:

H¸N<G

C,Û-:

àÑ?x6EM

:

ڀKk?

í

KEàÔÙ

: G C

?x6

;N ÇY:

H¸?

: 6

;=ÆrC N=M

:ÇYÈ9ÇYÆ

CB:

M Ç Ú3N

C,Ûþ)9:

H

: 9:

ÙD

C

N<K@G

C

N<M

:C

6

ÇBíoÇVÞTç‰ÛI:

G ã Ú : H

:VÇ Ù?,N

òÃ:

6¸MOK9H

:V;=;

N=GIA

CB:

Ù Û G-NfPkD

:

àÑK@?ùH9N

ÇYC

?,N

ò D CB:

Hè?

: 6

;iÆdC N<M

:îÇYÈ9ÇYCB:

M Ç N=G

CB:

A@?x6

C

N=G-A

Ç Ø :V:

H‚H9N&0

: ? : GIÙ

:VÇVÞ6(’:’ÇYÛ KÚ

Û

KÚ

Ø-?BK9H9DTÙ

C

6ED

C

K@M¸6

C

67Ù6@G

òÃ:

D

ÇB:

H C K'MK9H

:V;TÇ N=M¶D

;=C 6EG

: N C[È

N<GOH-N

ÇYC

?,N

ò D CB:

H

ÇYÈ9ÇYCB:

M

ÇVÞ-(ý:

6

Ç,Ç D-M

:CBÛ

6

C3CBÛI:

? : NÇ G-K

C 6 ÇBí

MON=Ak?,6

C

N<K@G

Þ-ç‰Û-:C

6

ÇBí Ø ;

6@Ù

: M : G C NÇ GIK

C

ÙKkG

Ç

N<H

: ? : H Þ

7 8:9Ô¼q½9¾);=<BÄ+> 9ÖÀ?>A@>k½B94CD>FEG;=<YÄYÀ$;"½9ÄY¿q¼

HJILK M

Ì-áVâåÎVËON é ÒIʏÌ)P"N´Òê"Ë PLPëÏrÓRQ

Å ? : 6

;=ÆrC N=M

:3Ç K@à

C

Úp6@?

: NÇ 6 ÇY:C

KEà¬6

C

K@MON<Ù

C 6 ÇBíoÇVÞ-(ý:

H : GIK

CB:×TS UtÝ

UTVBW

YXZ[

Ç

DIÙ

Û 6 ÇYÈ9ÇYCB:

M Þ

1

6@Ù

ÛC

6

ÇBí\S U N ǀÇ

Ø : ÙN

þI:

H

òoÈÃô

N

CxÇ 6@?B?,N=܏6

;9C N<M

:] U ã N C,Ç

H : 6kH

;

N=G

:^ Uã N C,Ç

Ø :

?BN<K9H`_

U ã 6@GIH

a U ãQCBÛ-:\bc"d: o:

ÙD

C

N=KkG

C

N=M

:

KEà

:

6@Ù

Û

N<G

ÇYC 6@GIÙ

:

KEà

C,Û-:LC

6

ÇBí~ÞB 6E?x6EM

:C,:

?

Ç=] U ã)^ U 6@GIH

_ U ÙK@M

:

àÑ?BKkM

CBÛ-:'Ç Ø :

ÙN

þ

Ù6

C

N<K@G

Ç

K@à

CBÛI:':oCB:

?BGI6

;¬ÇYÈ9ÇYCB:

M

ã9ò

D C a U H : Ø : GIH

Ç

KkG

ò K C,Û

CBÛ-:

ÙK9H

:

KEà

CBÛ-:C

6

ÇYí 6@GIH

C,Û-:

Ø :

?YàÑKk?BM¸6EGTÙ

:VÇ KEà

CBÛ-:¶C 6@?BA

:C Ø-?,KoÙ

:VÇ,Ç Kk?

Þ'(’:

6

ÇBÇ D-M

:

CBÛ 6 C 6

;=;

6 C K@MONfÙ

ÇYC

6

C,:

M : G

CxÇ¶Û 6Ü

:ìC,Û-:4Ç 6@M

:

H9D-?x6

C

N=KkG´KEà#KkG

:ferÿghjiBIÿe+k@Þ(ø:

GTÙ

:@ã

a U NÇ ÙK@G

Ç[C 6EG

C

N<G

C

N=M

:

D-G-N

C,ÇVÞ4l

G

CBÛI:

KkØ-ØTK

Ç N

CB:kã] U ã^ U 6EGIHm_

U

H9KFG-K

C H : Ø : GIHîKkG

CBÛ-:nbcod àÑ?

:

PQD

:

GIÙ

È~ôÔC,Û-:È 6@?

:

G-K

Cþ)9:

HåN=G

C

N<M

:

D-GIN

C]Þ(ß

G

CBÛI:

àÑK

;=;

KÚ3N<G-A

ã Ú : D

ÇB:

CBÛ NÇ

Ø-?,K@Ø

: ? C[ÈðC

K ò D-N

;

Hè6’MOKoH

:;3;

6EG-AkDI6EA

: Ú Û

NfÙ

ÛC

6

ík:VÇ N<G

C

Ký6kÙÙK@D-G

C¸ò

K

CBÛCB:

?BM

ÇØ : ÙN

þ

ÙV6

C

N=KkG

Çã 6@GIHFØ

:

?YàÑKk?BM¸6@GIÙ

:]Ç K@à

C,Û-:

Ø-?,KoÙ

:VÇ,Ç Kk?

Þ

>:CSòÃ:

6 C 6

ÇBí KEà

C

N=MON<G-AùÙKkG

ÇYC

?x6EN<G

CxÇ

? ã J 6EGTH

ç7ÞIç‰Û-:

ÙKoH

:qp K@à

S NÇ 6OÚpK@?xH

KÜ

: ?

CBÛI:ÇB:C K@à"6

C

K@MONfÙ

ÇYC

6

CB:

M : G

C,ÇVÞoç‰ÛI:L: o:

ÙD

C

N=KkG!H9DI?,6

C

N<K@G

b

KEà

S N lj: QC

?,6kÙ

C,:

H

àÑ?BKkM

CBÛ NÇ

ÙKoH

:@Þ

JLD-?,N=G-A4N

C,Ç': 9:

ÙD

C

N<K@G

ãJS Ù6@G

òÃ:

6@Ù

C

N<Ü

:

K@?

Ç D Ç Ø : GIH

:

HýÚ

Û-:CBÛ-:

?N

C

KÚ3G

ǀCBÛ-:

Ø-?,K9Ù

:VÇ,Ç K@?qKk?‰G-K

C]Þ-ç‰Û-:

G ã àÑKk?

:

6@Ù

ÛùC N<M

:

DIG-N

C]ã

K

òIÇB:

?,ÜoN=GIA

S!ÇYC

6

CB:

6

;<;

KÚ

ÇC

K

ò

D-N

;

Hæ6@Gý6kÙ

C

N<ÜoN

C[Èr N=GI6kÙ

C

N=ÜoN

C[È ÇY:

PQD

:

GIÙ

:

àÑK@?

S¬ÞÖç‰ÛI:ìÇY:C KEà

ÇY:

PkD

:

GIÙ

:VÇCBÛ 6 C ?

:VÇ Ø : Ù

CxÇ

CBÛ-:Ç Ø :

ÙN

þI:

H C

N=MON<G-AÙKkG

Ç[C

?,6@N=G

CxÇ

N

ÇC,Û-:SCB:

MOØÃK@?x6

;

MOK9H

:;dÞ l

D-?6@N=M N

ÇC K ò

D-N

;H C,Û

NÇ

ÇY:CVã NÞ:ìC

K ò D-N

;H C,Û-:

? : AkD

;

6@?

;

6@G-A@DI6@A

:hs#×TSI݌ÞR(’:

ÙK@G

Ç

N<H

: ? C N=M

: 6 Ç N=MOØ

;

N<ÙN

C]ôÖ:

6@Ù

Û

C 6 ÇBí

Ø-?,K9Ù

:VÇ,ÇB:VÇ KkG

:

6@Ù

C

N=KkG

òoÈ4C N<M

:

DIG-N

C]Þ>:CYCB:

?utMOKoH

:;fÇ#C,Û-:

6@Ù

C

N=ÜoN

C[锂[C

6

C,:

K@à

S

àÑK@?KkG

:'C N<M

:

D-G-N

CVã

6EGTHmv¶MK9H

:V;<Ç

N

CxÇ#Ç D Ç Ø :

GIH

: H ÇYC

6

CB:

àÑKk?K@G

:'C N<M

:

D-G-N

CVÞ(’:

G-K

C,:

whx\y 6 ã

v z

ÞÃç‰Û-:C,:

MOØTKk?,6

;

MOK9H

:V;

6

ÇBÇ K9ÙNf6

C,:

HÚ3N

CBÛ:p

N

ÇC,Û-:

ڀKk?,Hm{

×Tp@݌ã

Ú

Û-:

?: {ýN

Ç

CBÛ-:

ÙK@GIÙV6

CB:

GI6

C

N=KkGMOK@?,Ø

Û NÇ

M}|~ y t'z

ޏç‰Û-:‰;=:

G-A

C,Û K@à{

×p@Ý

N

Ç"C,Û-:

H9D-?x6

C

N<K@Gha‚K@à

S¬Þ

ç‰Û-:€SùC,:

MOØTKk?,6

;

MOKoH

:;>4Ã×SIÝ NÇ K

ò9C 6@N=G

: H òoÈ

AkN=Ü

: G

CBÛ-:ÇBÈ9Ç[C,:

M÷N<GI6@Ù

C

N<ÜQN

C[È Ø :

?,N=K9H

Ç

‚

×D Ç N=GIAv

݌Þ)(ý:

D

ÇB:CBÛ-:`‡)ˆOi‰ŠŒ‹

K@Ø

:

?x6

C

Kk?#

ã9CBÛI:

A : G :

?BNfÙ

: Ø-?

:VÇ,Ç N<K@G!KEà

CBÛ-:

MOK9H

:;

NÇ AkN=Ü

:

GN<G

,-oòoÈOŽsL×SIÝ

x a€Œ‘J’

]o×

v”“

×B×

v-•#–—o˜{

×p@ÝYÝ v”™4–•

ݛšÝÞA1 6kÙ

Û

ÚpK@?xHqœ K@à

C,Û NÇ

;

6@G-A@DI6@A

:(Û 6 Ç

AkK

CC,Û-:€Ç 6EM

:(;<:

G-A

CBÛç 6EGTH'N

Ç

Ù6

;=;<:

H

Ð-Ì)PrÏëê4Î]Ë N é ÒIʏÌ)P'qËoõ"Ì@ÐÏrÒIÊ KEà

S¬Þ

ç 6 ÇYí€S

NÇ

?,D-G-G-N<G-AK@GO6#Ø-?,K9Ù

:]ÇBÇ K@?ÔÚ3N

C,Û ØI6@?

C

N<ÙD

;

6E?

CB:

MØÃK@?x6

; à: 6 C DI?

:]ǀô Ú : H

:þ G :

6

ÎVÏLN´ËìÕ"ÓÔÏëÎ

6

ÇCBÛ-:#C N<M

:

N<G

C,:

?,܏6

;IòÃ:C

Ú

::

G C ÚpKÙ

;

K9Ù

íC N<Ù

í9ÇVã 6@GIH¸6

ÍkÌ-êÔËoÓ"Í@Ë

6

ÇqCBÛI:

N=GoÜ

: ? ÇB:

KEàN

CxÇ H9D-?x6

C

N=KkG

Þ9ß

G

C,Û-:

MD

;iC NÆ

Ø-?,KoÙ

:VÇ,Ç Kk?3Ù6

ÇB:@ã

6

;=;

ØI?BK9Ù

:]ÇBÇ K@?

Ç

KEà(6

Ç

6EM

:'Ç

N

C,:

ڀKk?

í

N<Gî6

ÇBÈ GIÙ

Û

?,K@G-KkD

Ç

Úp6

ÈkÞIç‰Û-:

H9DI?,6

C

N<K@G4KEà

S N ÇCBÛ-:

G : PQDI6

;¬C K:ž'{

×p@Ý

ž)Ÿ¡ ¢4KkG

ÇN CB:£~ã

6EGIH¤ž{

×Tp@Ý

ž¥Ÿ¦ 

™

K@G

Ç N

CB:4ç7Þç‰ÛI:§S´C,:

MOØÃK@?x6

; à: 6 C D-?

:VÇF×

J

ãç7ã":C Ù ÞÝ

6E?

:

G-K

;

K@GIA

: ? :

Ø-?

:VÇ,ÇB:

HìN<G

C,Û-:7;

6@G-A@DT6EA

:

H9N<?

: Ù CB;<È

6

ǀC,Û-:

KoÙVÙD-?,?

:

GIÙ

:

GoD-M

òÃ:

?‰K@àGv

ãoò D C

6

ÇCBÛ-:

K9ÙÙDI?B?

:

GIÙ

:

GoD-M

òÃ:

?KEàuv

CBÛ

6 C NÇ G : Ù

:VÇ,Ç 6@?

È C KýMOKoH

:;€CBÛ-:

N=GT6@Ù

C

N=ÜoN

C[ÈýC N<M

:

ÙK@?,?

:VÇ ØTKkGIH9N<G-A

C K CBÛI:3C

6@?BA

:C Ø-?,KoÙ

:VÇ,Ç Kk?

Þ(ý:

G-K

CB:>4~×TSIÝ"CBÛ-:LÇY:C KEà

S

܍6

;

NfH

CB:

MOØTKk?,6

;

òT:VÛ 6ÜoN=Kk?

Ç

K@G46OØ-?,K9Ù

:VÇ,Ç K@?

CBÛ

6

CÛ 6Ü

:7Õ àÑK@?

C

N=M

:

D-GIN

C]Þ

¨=©Oª

g$«&Œ¬~>:CòT:#S Ú3N

C,ÛF×

? ãJ ãç7ã!b‰Ý

x

×T,

M

Çã­ M ÇVã&®Œ¯

M

Çã,C]Þ D Þ°ÝÞ

Å S

MOK9H

:V;

Ù6EG

òÃ:

s

+±#²

×TSIÝ

x a€‘J’

]9×

v

‹@×B×

v °

³t

‹VÝ

v

k]݅š]݌ã K@?

s

k›°…´›µ-²

×TSIÝ

x a€‘J’

]9×

v

kk×Y×

v

kݦ

·t

‹]Ý v”¸

݅š]݌Þ

ç‰Û-:

?x6

C,:òT:C

Ú

:V:

G

Ì¥¹Ç 6EGTH*v

¹Ç H : Ø : GIHìKkG

CBÛI:#C 6E?,A

:C€º ª¼»

º½ÞQß

G

CBÛ-:

àÑK

;<;

KÚ3N<G-A

ã

Ú

:¸ÇBÛ KÚ

C,Û

6

C'C

6

ÇBínS¬ã

H

:þ G :

H’Ú3N

CBÛýC,:

MOØTKk?,6

; Ù Û 6E?x6@Ù

CB:

?BN

Ç[C N<Ù

Ƕ×

? ãJ ãç7ã!b‰ÝŒã 6EGIHýH

:Æ

Ç

N<A@G

: H C

K?,D-GìKkGì6'Ø-?,K9Ù

:VÇ,Ç K@?(Ú3N

CBÛ 6ÙV6@H

:

GIÙ

:LÍI×ëÕ

x

®rEÍkÝã ÙV6EGì6

;

ډ6

ÈoÇòÃ:

6

ÇBÇ K9ÙNf6

C,:

H

Ú3N

C,Û 6?

:

A@D

;

6@?

;

6@G-A@DI6@A

:ì>  ×TSI݌Þß G´K@?xH

: ? C KîN<G

CB:

A@?x6

CB:

ØI?BK9Ù

:]ÇBÇ K@?7à

: 6 C D-?

:]Ç N<G

CBÛI:

MK9H

:V;rã ܏6

;D :]Çq:

ØI?

:]ÇBÇB:

H¸N<G

ÇB:

ÙK@GIH

ÇL×

? ã J

ã-çÝqÛ 6Ü

:3C

K

òT:

ÙKkGoÜ

: ? CB:

HON=G

C

N<M

:

DIG-N

CxÇÞ

>:C

D

òT:OC,Û-:C N<M

:

DIG-N

C 6 ÇBÇ

K9ÙNf6

C,:

HÚ3N

CBÛýCBÛI:

ØI?BK9Ù

:]ÇBÇ K@?

ã'’ÇY:

ÙKkGIH

Ç

ÙKk?B?

:VÇ ØTKkGIH

C K

¾



CVÞ D Þ

KkG

CBÛ NÇ

Ø-?,K9Ù

:VÇ,Ç K@?

ÞQç‰Û-:

܏6

;D :]Ç

N=G

ÇB:

ÙK@GIH

Ç

K@à"?

ã J 6@GIH

ç:

PkDT6

; ? :VÇ

Ø : Ù C N<Ü

:V;=È

C K “

 㠕 6@GIH ™

CVÞ

D

Þ<Þ¥d#Ç DI6

;<;=ÈkãIC

N=MON<G-A4ÙK@G

Ç[C

?,6@N=G

C,Ç

? ã JÉ6EGIH

ç

6E?

:

KEà

C,Û-:

K@?xH

:

?LKEà

®¯

–

xÇ 6@GIH

C,Û-:3C N<M

:

D-GIN

C‰Õ NÇ

K@à

C,Û-:

Kk?,H

:

?K@à

®Œ¯

–

°ÇÞO N<GIÙ

:À¿

NÇ H : G

ÇB:

N<G§Á

ã Ú : Ù6@G

6

Ç,Ç D-M

:7C,Û 6 C “ 㠕

6EGIH ™ 6E?

:

N<G

CB:

A : ?

ÇVÞÂpÈ D Ç

N<G-A

CBÛ-:¶Ç 6@M

:

6@Ø-Ø-?,Kk6kÙ

ÛùC,Û 6EGN<G

,-dã

Ú : A

:CsoI×TSIÝ

x

b€:

G

CB:

? × vÃ

Ä

×Y×

v śÆ

Ä

–—RǍÈ{

×p@ÝBÝ v Å›É Ê

Æ

Ä Ç

݅šVÝ

6

ǀC

6

ÇBí MOKoH

:;dÞB(’:

G-K

CB:ÌËS

CBÛ-:ÇB:C

y

so×TSIÝJÍ  £Î

¿š Ï z Þ

HJIH Ð

Ì)PrÏëê"Ì9ÎVÏrÒTÓ

(’:Û 6Ü

: H :þ

G : H N=G

,-./-

6

C,:

Ù Û GIN<PQD

:kãÃò

6

ÇB:

HKkG

CBÛI:

Å ?BG-K

;H Æ.

N=܏6

C`Ñ®

MK9H

:V;rãÃC

K

ÙK

;<;<:

Ù C 6

;<;

܏6

;

N<H

Ç Ù ÛI:

H9D

;

N<G-A

ÇB:

PQD

:

GIÙ

:]Ç K@àL6

C 6

ÇBí´ÇBÈoÇYCB:

M

Þç‰ÛI:

ØI?BN<GIÙN<Ø

;<:

ÙK@G

Ç N Ç[CxÇ

þ ? ÇYC

N<Gî6

Ç,Ç K9ÙNf6

C

N=GIA

:

6@Ù

Û

Ù?,N

C

NfÙ6

; ? :]Ç

KkD-?,Ù

:

2cÒ

×

Ø-?,K9Ù

:VÇ,Ç K@?

ã ? :VÇ

K@DI?,Ù

:@ã

M

:VÇ,Ç 6@A

:kã9:C Ù ÞÝ

Ú3N

C,Û 6¸ÜoN=?

C

DT6

;C

6

ÇBí

ïÓ Ò ×

MOK9H

:V;=:

H

òoÈ 6¸?

:

AkD

;

6E?

;

6EG-AkDI6EA

:>q×

ïÓ Ò

ÝB݌ã 6EGIH

C,Û-:

G’6

ÇYÆ

Ç

K9ÙNf6

C

N=GIA

CBÛ-:ÇYÈ9ÇYCB:

M

×TS UÝ UTVAÔ Ú3N

CBÛC,Û-:Û K@MOK@A

: G : K@D

Ç

ØI?BK9H9DIÙ

CÖÕ KEà

C,Û-:¶>€×S UÝ 6@GIH

CBÛ-:ì>€×

ï Ó Ò

ÝÞÖ>:C Ù6

;=;6 CBÛ-:¸Ç

D

òIÇB:C K@à§×

UTVAÔ

×w UÝ K@àpÜ

: Ù C K@?

Ç H :VÇ

Ù?,N

ò

N<G-A4܏6

;

N<HýÙKkG

þ A Æ

D-?,6

C

N<K@G

Ƕ×

?

:VÇ Ø : Ù C

N=G-AFMD

C

DI6

;Ô:

Ù ;D Ç

N<K@GîKkGîØ-?,K9Ù

:VÇ,Ç K@?

Ç

K@?L?

:]Ç KkD-?,Ù

:VÇx݌Þ'(’:

Ø-?,KÜ

:

N<G

/A-CBÛ

6

Cq;

6EG-AkDI6EA

:Ø#

?,K-Ù

Ô ×.b€:

G

CB:

?

×r>q×TSIÝ UTVAÔ-Ú š]ÝYÝ ÙK

;<;=:

Ù

C,Ç"C,Û-:#ÇB:C K@àÃ܏6

;

NfH

Ç Ù ÛI:

H9D

;

N<G-A

ÇY:

PkD

:

GIÙ

:VÇVã àÑ?BKkM ?

:]Ç KkD-?xÙ

:VÇ M¸6EGT6EA

: M : G C 6@GIH

C

N<MON=G-AìÙK@G

ÇYC

?x6EN<G

C,Ç ØÃK@N<G

C

K@àÔÜoN

: Ú Þ

ÛÀÜAÝ-ޅßFà

ƒ 

„ByQ\vsq`k_,nQcQ_Œ`UµZ[˜k_‰efWX[gjQwiS-áAâ9SÖãäyoS

³åÀæ

S7Sco`\âƒÑS@yUTy³3y³3a„ãhä

‚Aç

ƒTäu菄

‚

yQSx³



U³3a

æ

Sƒf³



U³3a„6é4U¡ƒÑSx³



³3a„B¹

ê

†˜Q_R¦ë à…ì¼íLà…î

\vs(Z[˜Q_3su_,ZWeÖRF‡kX[_BnQ™@_xs(\vco`@_,nock\vZ[_,wvµ_,™EZ[_xcQ`QSUQwv_‰\vcORy

SwÑV_xUkXYS\vmŒSVwvw^µyIŽ"_xcZ[_,X$ƒRJïY„

æ

RJ荹RT_,e=ZY—oSVm,Z[WX[sYƒÑR„B¹

ð

ZŒ¹jT¹@efWVXZ[\vg'_‰jkcQ\^Z

ñ