A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications

(1)

HAL Id: inria-00073119

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents

A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications

Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut

To cite this version:

Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut. A Flexible Run-time Sup- port for Distributed Dependable Hard Real-time Applications. [Research Report] RR-3564, INRIA.

1998. �inria-00073119�

(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

A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications

Emmanuelle Anceaume, Gilbert Cabillic Pascal Chevochot and Isabelle Puaut

N ˚ 3564

Novembre 1998

TH `EME 1

(3)

(4)

$,+-.*/102/3*45+/67(%89/:3&

;=<><@?BADCFEHGIGIE)JAFKLE7?BC(<EBMONQPRGIS9ELTVUWX?BSYPRGIGIPIK

Z[?]\^K7?BG[W`_FEHacb Kd_Fb]U?BAFegfh\d?iSEHGIGjEkZ=Cl?iCYU

m+npo^qsrXt[uwv.x^yzr^{L|7}~r.yzyzo^qsr^y

Ozr^.7H

v{LpBLzprrVhnr^hnr H~u#HrVq3pzrst^HL=u ¡`p{¢Lr^y

£~¤(¥^¦§#¨p©H¦Hª m97p^{«L¬7qsy+yp|zr^'¬ppr^Br^pp{LrH¬pzr^{«®jq`r=yz7yzrVqXypr^yz«¢r^~znr:p{Ly

^{H¯°qsrr^`nri{Hz|{H`rV±|pzr^qsr^y².nr{Lp^{z«³LqX{H¯z-´.nhn¯nrµ´r^zr

{Hz¢Hr^r^D¶m+npy[{Hpi{Hhn«rVQ~yBr^«·BH¬]7®I¸ir}«rL¬BrV{zr^k{LpQ7®jzr^|iyz{L«ryzH|z«py¬

H²¹rVi{Hyzr^L)yirV{«º^r^)np{H´{HzrH¶lm+ny.zr^BLz.pzr^yzr^zy+{L{H«zr^p{z«Lr:{HppzL{Lhn~´.npr^zr={

¸Br}p«r|p7®jqsr3yz|ipi²¹.yp|zr^QrVirVpp{L«r`np{H)rV{«®Izqsr{Hi«{HLpyyi|«.

zLH² »]®jznr®jynr«² np{Lz´{HzrH¶(m+nyy|ppBLz¬^{«rV~¼3½¾ ¿iÀnp{HyBrr^r^yz¢LrV XLpyzr^zp¢

npzrr:²Á|pip{Hqsr^{{LpQqX«rVqsr^z{L{HyirVzy^Â[ÃzÄ6Å#ÆÈÇÊÉIËÍÌXÄL¬]~y|ppBLz{Lp^{Liy+znp{H.r}7®

npnp{HXqs¢Xpyzz{LyÎVÏÅ#ÐÆÈÉIÇÊÉÊÑ#Æ«ÄÃzÅ#ÒcÓ6ÄH¬z`pz#7pr{3n¢Ln~r¢r^r.² zr{L«ÊXznpzL|¢n

z{Lpyp{Hzr^(²Á{H|OzHr^{Hlyz²¹Ê´{HzrLqXBLrVLyÎ7{Hi:ÔÄÕLËÁÖËÍÆ×ËÍÉRØB¬z3{#´Ùnrqs×·]{z«pylH²

LqXBLrVLy²nr|p7®jq`r:y|ppBLz´+«nL|+np{d7¢sr^´.r[+r^r^«L¬p{HpXy|ppBLz{

{Hz¢Hr={H¢LrÚH²Y{Lp^{LLqX{Hpy^¬pzr^{«®jq`r:ÛHr^ry{Hp)np{Lz´{HzrH¶

Ü)ÝÞcßà3á §#â(¥Hª vÚ|p7®jq`ry|ppBLz¬BrV{«®IzqsrH¬p{d#{H«{H«ÊL¬7pyzzzi|L'¬p¸ir}«ÊH¶

ãDäVåçæéècêhëRìíåçæéî#ï6ëÁðRåÈï6ñçñòíæIódîVîHêhë¹ðRôõ÷öòøðIäVô%ùdëRôúdûjäüôîdï6ëÁðRý+ôúð5ê6þÿü(ôÊþôúdæRô¹ü6ü

!

Unit´e de recherche INRIA Rennes

(5)

! "$#&%'()+*

(6)

.w&'i++

*&D(++& /3 ..3 *&-3+&

¥ ª {[|ip{Hzlr^yFyzyzo^qsr^y(zr^qXpy®jzxr^7·B{Hr^yFpxHr^«pBx^yYp{HiyY«r+p{Lyzyzx²Á|prVYpx^x^y

|p°qs{HprX{Lp^{Lr|iriL«±7|r LLpi{Hpr^qsr^=Lppx^y^¶9r^zrX{Lppzhnrs{

yzL|pHr^9r^z{¹x[«r=xLrLpBr^qsrVLr:yzH|LpyL|prVy¬7¢HrVy9r^+rViyz{LLO²¹LzrVq`rVy|p«r

pxHr^«pBr^qsr^=rqs{HxVrFyixV«·B±7|rH¶9rs{HpBLz=pxVyrVrX|pr{Hpihnrs{r^p{HHr`i{Hpy

{H±7|r^«r~|p>yz|piisr}x^|pLµ¸ir}rpr^yzx xLrLpBr^3r3r}x^|pr^`r^ys{Hi«{HLpy

zr^qXpy®jzxr^Úyzzzp|pxr^y~rnp{H|zr^qsr^yBLr^y rVypyz|p«~{L|7®Êr^yyz|iy~r°qs{HxVry hÐÃ

ÉÊÅÃzÄ¶ 9r=yz|pii^¬p{HpBrx¼3½ ¾¿iÀ¬7{sx^x=L"!|r^~Lpyzx^{HzzHy9{LyzBr^zy²¹Lip{Hqsr^{H|7}

r^sLqXx^qsr^{rVy Â-ÉÊÄÌ# 6ÇÊÃ ÄÆÈ¬lBL|psr}7xV|zr^sr^yX{Lp^{Liyr}pnp{LLXrVysLz{rVy

zr^qXBLzr«rVyY²¹LzrVyÎBÉÊÑ#Æ ÃzÅÒ]Ó6Ä:Å#ÐHÕÏÅ#ÐÉÊÄ+6¬7BL|pY²¹|pF|inp{H|lpr¢Lzx.r·B{L«x z{dLr^yYr^y

qsxV{Hpyqsr^y=rXL«xVz{LprX{H|7}-²Á{H|zr^y=z{Hiyzp{LrV

${Hi«{H«²ÚÎ(r+Ô+ÄzÕLËÁÖÆ«Ä¬BL|p:Br^qsrr

|ppr°p{L^¬%x^HL|z«gp| yz|piir}x^|pL y{Hiy~rVLz{&Ípr^~y{>zxxVz«|pzrqX«o^rL¬r

{L|zzr[i{Hzy{3^{Hp{Lx

y|ppBLzrV9|p{Hz¢Hrx^HrVL{]pr=p#L{H|}Xzr^qXpy®jzxr^R¬r=qX{zx^z«r^yr

pr=pLqX{r^y+{Lp^{LD¶

'á

¦V¥

ß

©)(

ª

|ppBLz.r}x^|pL'¬zr^qXpy®jzxr^R¬pyzzzp|pxH¬iyip««zxH¬¸Br}p««zxH¶

(7)

3(*)~8O3

[r^Br^ip{Hrknp{Lz@zr^{«®jq`rQ{Lp^{LiyXznprQ{LynzÊ>Lr^{LzyXnp{dLrBrrV yzpzr^{L>|

yp{Lr-zhÛry {Hi@¸i¢LnLzzH[yyzr^qXy^¬7|pr^{L~B#´9rV {Hzy^¬yzhÛÙr}phnp{Hp¢HrH¬.qsrV^{

{Lp){H|zLqsHz«LrÚrV±7|iq`rVzy^¶ÚrVy¢Lp¢ yzyzr^qXy+y|ppBLz¢ yz|ihnrVqX{Hp¢ {Lp^{Liyy

p |p«OBr^^{H|pyzrznr^sq`|pyzlrV{Hhns{=zzr+¢H{I¶Yzyz¬LznrVyr.yzyzr^qXylnp{dLrzir7Ë 7ÆÈØ`ÃzÄÆ×ËÁÅHÖÆ«Ä

zq`r^r+nrqX{#}q`|pqé{LrVz{Lr=ip{H«Ê H² ²Á{H«|pzr={Hp¢H¢3²ÁzLq =[²Á{|pzr^y

Br^+npL|pv[ L7¬Fm+LI¶97r^p'¬pnrnp{dHr=XrVpyz|ir hÉRÃhËÁÓÉÉRËÍÌÄÆ×ËÍÒ]Ä+zr^±7|rVqsr^zy

¢|p{H{Hzrr+rVyzBLiyr+zqsr^yOÊ^{«X{H¢L¢[²ÁzLq. "!#$kv=&%l'p¬Hv[ L(j¶Fm+nz'¬znpr

q`|pyz+r^7²¹zr LÅ#ÉÊÅÓ6ÑÒ hËhÉjÄÒ]ÓØ ni{Hprp|izzr^r}r^^|Lpy.²Fq3|r:z{HyÛ7y¬ir^yirV{«

){Xyzzzp|rVr^7zLpqsrVL^¶

v.rV{Hhn¢zny=zz«rX¢LL{(y:LqXr}-{Lpkr^°yz~²Á{LÚzQyL|z«py[znp{H:q`r^=LQznrp{L®

z^|{H[rV±|pzr^qsr^yH²O{H-{Lp^{z«kLqX{H'¶*)Qp{Hz|p{LÚzr^±7|rVqsr^zy´9rXr²¹r^Úznr

Lpyzz{zy9qXBLyzr^Lnr:{Hpp«{HLpy~zr^qsyH²rVy|pr^ypy|pqXL'¬yirV«·B=yzhnpr^p|7®

¢sprr^iy¬O²Á{L|®jHr^{HirH¶,+F}yz¢yzH|Liy9{Lr[znrVr²¹Lzr[pr^{Hr^~{sy¢Hr={Hp{#®

z«`pLqX{'¬H{Lp3H²¹rVsi{Hyzr^`LsyzBr^{H«ºrV-I{Hpsyz«/.np{H´{HzrH¬#qX{HÛ¢=znrqsp«rVq`rVr^

yz²¹Ê´{Hzr=yr^qézr^|py{Hr[){X«»]rVrVL.Lr}*v[ L7¬/Ym+Lj¶

m+nr¼`½ ¾ ¿iÀpzr^1023 9OLlrLrLBr^Q{H54Êv64z&3 {HiprVyzyzr^yznrVyrspzLr^qXy{Lpkpz®

7r^yO{HXr^7pqsr^Y²¹LFnrr^Hr^«pqsr^l{HpXnr.r}7rV|z«X²'yp|zr^ rVirVpp{L«rÚnp{H

zr^{H×®jqsr[{Lp^{z«py¶

3Úp^{Lr^HrLiq`rV)¼3½ ¾¿iÀÚr^«r^y nr|pyzrÚH²({HLz¢Hp{]z{LyzÛ qsr^D{Hp{syzr

H²BH»B®j«r7Ly^¶(m+npr+¼`½ ¾¿iÀ9z{LyzÛqsr^pr·Bpr^yYznpr+´{d{Lp^{L`z{LyzÛ7yY{Hzryz|pz|pzr^s{Hi

nrÚLpyzz{zyFnp{q3|pyz9BrÚni{Hpr^~p|pz¢3znr^9r}r^^|LD¶(m+nrÚ»]®IrzLyOr^pLqXp{Lyzyl{

´Lyz®Ê{Hyzrlr}7rV|z«zqsr.{Hi{º^r^^¬V²¹r^{Hyz«ÊrVyyF{Hyy{zr^:´+zns{=p{Hpr7²cyzhnrVp|p¢[B®

r^y^¬L{Hs{H|pLqX{H+rV«{HL`7HI¬L{LpX{[7Hpnp{9rzr^q`rVyYznrz¢LnF{HqsL|pFH²cqsr^qs

zQir{7^{zr^-²¹L[znr {Lp^{z«kr}rV|z«'¶sm+nprXzr^p«{HL7H79 H8O{H|zLqX{z^{«

zr^p«{Hr^y{Hp{z«z{HyÛ7y.{H^z¢X~znrsrV±|pzr^qsr^y²Fznrs{Hpp«{HL)r^yz¢LrV-ÁrL¶¢B¶«¬

91:<;>=?(@

æÁðjï6úVõdæ þ«êhëAåCBhädñò &D6ï6åçñÈï6ödñçôlü(åçæÁðIëÁåçödóVðRôõEBý9öHôõdõVôõ ò^æRðRôý

(8)

{HyÛ7yFLFnrBLzLpyl²'z{LyzÛ7yY`irzr^p«{Hr^D¬Lzr^^{z«syzz{zr¢L3Br|pyzr^y|phn{Lyl{HHrH¬

i{HyyHr[L+yzr^qs«®j{LHr=zr^^{z« .6¶

3Úp^{Lkr}r^^|L)yqX{Hi{¢HrV)Lznprs¼`½ ¾ ¿iÀz|i7®Izqsr3y|ppBLz¶.m+npyÚz|p®Izqsr3y|p7®

BLzy+p|p«+{Hy{`qspr´{HzrÚyz²¹Ê´{Hzr{dHrV9|pp¢sL~L²»]®Inr®Êyznpr«²(zr^{«®jq`r[ÛrVzr^y

-R«+np{Lyir^r^izr^ nz|iy +7H {Hp~r^q3|p{Hr^~L)H{Hzy .6¶ 4Êpyyzzy{syr^9H²qX{H7®

i{ yzr^z7r^y9²¹Lnr=r}r^^|L²F{s{L¢Lr[i{Hr^'²(pr^Br^pp{Lryzzzp|rVzr^{H×®jqsr=z{HyÛ7y¶

+l}{LqX«rVy:²+y|phnyzr^z7r^y:{Lryhnr^p|p«¢kBH«rVy¬(LqXq`|p{z«iqs«z«Lr^y^¬ ¢LzL|iqsr^q`®

Br^yn>qs{Lp{¢Lr^qsr^^¬Ypyzzzi|rV¯r}r^^|L>LLR¬Y{Hp>7hÛ°yz7ihnpº^{z«'¶ 3.znrVyr

yzr^z7r^yr}pn+qsrrVyzy{Hpr^Br^ip{HrpzLBr^zr^y^¶

m+nrQ¼`½ ¾ ¿iÀ|p7®jqsry|ppBLz`np{LyXir^r^>pr^yz«¢r^>-¢|p{H{Hzrr npr^r~²Á|ipp{HqsrVL{+{Hi

LqXr^qsr^{Hz {HyirVzy^Â

tH¶Ä6Å#Æ×ÇÊÉRËÍÌÄLÂlyz|pii+H²({Hi«{HLpynp{r}np.np{Lzqs¢ Lpyzz{zy^Î

¶ÅÐÆÈÉIÇÊÉjÑÆ«ÄÃÅ#Ò]Ó6ÄLÂ>pz#7yzL²3{Ùn«¢ngr^¢Lzrr-H²3r^«{Hp««Êzni|¢Ln z{Lpyp{Hzr^²Á{L|«

L«rVz{LL+yz²¹Ê´{Hzr[LqXBLrVLyÎ

p¶9Æ«ÄzÕLËÁÖËÍÆÈËÍÉIØi¬]znp{H+y^Â

-R{&. OÕHÉÊÄÒ hËÁÖËÍÆ×ËÍÉRØBÂ.{H«Ê~hnp{L¢Hri{Hzzy.H²Fznrsz|p®Izqsr3y|ppBLz.´+zn|Únp{d7¢

zr´.zr=«+rVr^«L¶

-R. HÅ #BÉÊÅHÖËÍÆÈËÍÉIØiÂ+yz|ipi²¹.{X{Hz¢Hr:z{L¢Hr=H²Y{Lp^{L)qX{py¬BrV{«®Izqsr:ÛrVzr^y

{Lpnp{H´{HzrH¶

m+nrs{HhnrLr^qsr^.H²lznrsrV{«®Izqsr3{LyzBr^ÚqX{Qr^«r^yLk{LQ{H^|p{r3r^yzqs{HLQH²lznr

´Lyz®Ê{Hyzrr}r^^|Lqsr^y - +Om+y1.X²¹L {H«Úznr{Hz«7r^yz>Brkr}r^^|rV@@nr-yzyzr^q

-I{Hpp«{HL:{HyÛy^¬|p7®jq`ryz|ipi(z{LyzÛ7y^¬rV{«®IzqsrÛr^r^.h¶m+nrqsi|z{HL:H²/ +9m+yH²

nr9{Lp^{z«{Hp3z|p®Izqsr9y|ppBLz {HyÛ7y y rV{Hyzr^:=znr+¼`½ ¾ ¿iÀlz{LyzÛ[qsr -Ryzrr+r^L3>.6Î

sp{Hz|{H^¬#Yzr^±7|zr^y(znp{HF{pyphnpzLp«ºV{L3Liyz{Hzy -ÁrL¶¢B¶«¬pzr^rVr^irir^Ê´9r^r^`z{HyÛ7y¬

zr^yzL|izrynp{L¢&.(BrÚyBr^«·irVy{{H«H¶ 9Lir^¢:znprÚr+H²'znr[z|p®Izqsry|ppBLz¬«np{Hy

BrrV>ÛHr^syzqX{r^|¢Ln¯zBrrV{Hyz«¯{Hp{H«7º^r^'¶ {HyzH¬Fnr)prVz{L«Êµ².znprzr^{H×®jqsr

ÛHr^r'np{Ly+ir^r^HrV«·irV~np|¢Lnznpr{Hp{H«yzy²Yznpr nL|pyÛrVzr^Dy|pr=rH¶

(9)

m+nrO²Á{H| zHr^{Hprl{HyirVDH²znrz|p®IzqsrOy|ppBLzzr«rVy'L=nr9{L|qX{F{HyÛÚzr^{z«

z7HI¬@znrk²Á{H|®Êrzr^L {HiÙr}pr^pL np{Lp¢³qsrVhnp{Hyqsy »cr^zr^@Ùnr-|p7®jq`r

y|ppBLz¶,iFyzi{Hr+Lpyzpr^{LD¬#znyO{LyzBr^(ylLlr{«rVssznpyli{HBr^^¬Lp|Fnr+Lzr^zr^yzrV

zr^{Lr^y7r^zXzr^{L 9 L j¶

mk{HhnrLrs¸ir}«ÊH¬(´9r np{dLryzBr^×·irV°³¼`½ ¾ ¿BÀX{)yr^²+yrV7rVy=´+«n°{)´r«®jr·BrV

rV²Á{LrH¬zni{9^{Hr^HL«Lr.´+«nL|pnp{d7¢z`zr´.z«zr.znr=|p7®jq`r[yz|ipi -ÄÕLÉjÄÒ hËÁÖËÍÆÈËÍÉRØpz®

Br^zÊ/.6¶.m+nrVyr`yrV7r^y{Hzrr^«r^d{L. {HyÛyhnrVp|¢B¬BLqXq3|pp^{LD¬i¢LzL|iqsrVq3Br^yzn'¬

r}r^|pL3qX{Lp{¢Lr^qsr^(²]pyzzzi|rV`{HyÛ7y¬{Lp`«hÛ:yzphnpzLº^{HL'¶3ÚqXr^qsrVL{z«

H²({LL yzr^z7r[^{Hirzr^{Hr^L {Xyzr^z7rÚ´+zn«»]rVrVL+pzLBr^zr^y{LyO²Á{L+{HyL7²¹zqXy

nryzr^z7r+rV²Á{LrL¶(m+nyO{H«#´r^X|pyFz3rLrL{:{H¢Lr+²Dyzr^zr+qXr^qsr^z{HLpyO{Hp{LrV

zXznryirV«·B:pyzz{Ly²nr{Hi«{HLpy+{Lpznrnp{Lzp´{Lr -Å HÅ#]ÉjÅLÖËÍÆ×ËÍÉRØ)pzLBr^zÊ.h¶

m+nr+zr^qX{prV(²Bnr.p{LirVYyFr^HLr^3=znprpr^yzz«3H²Bnr.¼3½ ¾¿iÀ|p7®jq`r+y|ppBLz¶

4Ê.Lpr^z{zr^y9LznrqX{H)yzz|p|p¢Xpzpp«rVyznp{H+´9rVr[r}pHrVzXL{{X|p7®jq`r

y|ppBLz3r}pnp«z¢µ{q`r^«³Br^ni{dL^¬F´.n«r)qX{z{¢-zy`¸ir}«ÊL¶ 4Ê`ysLz¢L{Hp«º^r^¯{Hy

²¹L«#´.y^¶+rVz«kpz«r¸ipzr^yzr^y+znrX¼3½¾ ¿iÀ:z{HyÛ~qsr^R¶+m+nrX¼3½ ¾¿iÀ=|p7®jqsr3yz|ipiy

pr^yzBr^-µr^L-i¶m+ny[pr^yzz«Qr^iLqXp{Lyzyzr^y[{H-#HrV7r´ ²OnrXyrV7r^yÚLzr^²Á{Hr

|pyzz{zp¢Únr+r}rVpyz«ÊH²c¼`½ ¾ ¿BÀ6-Êr^LXp¶ç .h¶YrVz«`i¶[iLyYL|Yznpr.LqXrzr^rVyzy

H²nyLzr^²Á{Hrszkr^qspyz{Hrnr {Hp{Lz{L«Ê-H²+¼`½ ¾ ¿BÀ#¶ (p{H«H¬znr¼`½ ¾¿iÀX|p7®jq`r

y|ppBLzyLqXp{LrV ´+zn)zr{rV~´LÛXQ7r^z«~B¶

é/&w*+

m+npr¼`½ ¾¿iÀ`z{LyzÛkqsr^lr^yzBr^y=r^HrVQ{HyÛQ{Hy:{)rVrV{L3¢z{Lpn -Iyr^r 7r^z«°p¶«t .6¶

3 yr^l²Dzqs¢i¬7yz7ihnpº^{z«'¬Hyzzzp|pL {Lps²Á{H|®jL«rVz{Lpr.{Hp|zr^y{HBrÚyBr^«·irV

²¹Yr^{Lhn`{HyÛ -RyzrrÚ7r^z«¶ç .6¶Ym+nr²Á{L|«9q`r^i{Hyy|pqsr^s´.nr^XrVy¢Lp¢=nr^yzr+z{LyzÛ7yFyF¢HHrV

~rVL¶p¶Ym+nr.rVzq ÉÊÅ +#HrVzylBHnXznr[{Hpp«{HLXz{LyzÛ7y^¬LrVHzr^ # #`ÉjÅ H¬7{Hi

nr+z{LyzÛ7yYqX«rVqsr^¢|p7®jq`r.y|ppBLzlyzr^zrVy¬pr^Lr^X 3ÉÊÅ H¶4snr.rVqX{pr^

H²FznyÚyzr^L'¬]´r¢HHr:«){ pzr²OrVyz^L)H²Fznr`z{HyÛq`r^R¶Úm+nr3zr^{Hpr^+y.rVQ

zr^{L 3 9OH8D²¹L+qsr=r{y^¶

(10)

+OHr^zsz{HyÛ`yr^yzirV{HyO{3zr^9{L.¢L{Hpn'¬{H«r^ ¬L²¹L9¼`½ ¾¿iÀ +Æ«ÄÌÄÒiÉÊÅ#ÃhØ(ÒiËÍÉ

ÃzÅ # D¶<3 r -I{y`{r^ ²¹ ÆÄÌÄÒBÉjÅÃhØ!ÒiËÍÉ.F^{Hr^«nr^Br[{ lÑ!LÄ ÆÄÌÄÒBÉjÅÃhØ"(ÒiËÍÉ

-!lÑ!LÄ*.h¬R¶rH¶¬{`yzr^±7|rVprÚ²rÚ´+znpL|yphni«ºV{z«'¬L9{ BØ hÉÊÄÌ lÅÆÍÆ&Æ«ÄÌÄÒBÉjÅÃhØ

(ÒiËÍÉ-BØ *.h¶Bm({HyÛy+^{H)|pyzr3{H°ËÍÒ dÑVÓ6Å#ÉIËÁÑ#Ò BØ k zr^±7|rVyznr3yzphnpzL|pyL.{Ly7®

hniL|py9r}rV|z«~H²(LznrVz{HyÛ7y¬7Xzr^{H´+znznpr=Lzr=²nr|p7®jq`r:y|ppBLz¶ 3

rV¢HrÚy{3irVr^pr^prÚpyzz{L9ir^Ê´9r^r^ rVy¶ 3Ú r^p¢Hr.²ÁzLq {L Æ«ÄÌXÄÒiÉÊÅ#ÃhØ!(ÒiËÍÉ$#&%$'Dz`{L

+Æ«ÄÌÄÒiÉÊÅ#ÃhØ(ÒBËÍÉ#&%)¬LrV*#+% '-, #+%)¬ yzz{HrVy=znp{H.#&%)s^{H°y{Hz[r}r^|p¢-{#²¹zr^/#+% '

ni{Hy·Bynr^zyr}rV|z«'¶

0 123456 7

m({HyÛk{Hzzp|rVy{LBr {Hyyz×·irV-kyzphnpzLº^{HL-{Hp|zr^y^¬ qsp¢k{p|zr^y^¬yzzz×®

i|L){zzzi|rVy+{Hp~²Á{H|®jL«rVz{Lpr:{Hzzp|rVy¶

8 Þ:9 ©+;§ á<93=?> ¨¦ =Rá<9 ¨¦^¦§ =¤ ¦ Ý ¥Hª m+nr lÑ!LÄ ^{HBryzphnpzLºrV:|py¢[rznrVYLi×®

z«[d{L{Hp«rVy -ÁI¶rL¶«¬#BL«rV{H[#{Hz{Lr^yczni{ ^{H=ir9r^{Hzr^D¬^yzr {Lp[´{H«zr^Ú²¹LD FÑ HÄ .cL

ynp{LrVÚzr^yzL|prVy]r}ppzr^yy¢+pyz|iq`rV®Êpzp|prVcyphnpzLp«ºV{LÚyzhnpr^qsr^yDBrÊ´rrV FÑ HÄL¶

3ÿÃzÄ+ÑÐÃzÓ6Ä={Hpyzz{Hzy9{Hsni{H´{LrLOyz²¹Ê´{HzrLqXir^rV±|pzr^Xz3r}rV|zrÚ{ lÑ HÄ3¶

3 rVy|pr{LkBr`{Hyyz7{HrV´+znirVzyzyzr^p{Hz{p¬]I¶rL¶«¬'p{Hz{np{[yz|pz7«Lr^yÚir^HLi)znrsr}r®

^|LH²F{ lÑ HÄ ¶3 lÑ!LÄ.{X¢LzL|p²lÑ!LÄ 3q3|pyzyirV«²¹´.nphn)zr^yzL|prVy

zs{L±7|r[ir²¹Lzr[Br¢Lip¢szyr}7rV|z«'¬7L¢Hrnr^´+znznr:zr^±7|rVyzr^ {LrVyzyqsr^y*- iÅ#ÃzÄ

:ÄzÕ7ÓÆÈÐ hËdÄ .6¶

@ = =?93A ¨¦¦^§ =¤ ¦ Ý ¥Lª mqs¢ {zzzi|rVy+r}ppzr^yyr^qXBL{ iirVz«rVy+{znr:{HyÛ rLrD{Hi

{H`nrrr^qsr^z{Lµ|pX«r^Hr^R¶¯m+nr^³{H>irQ|pyzr^¯H»B®jrL¬F²¹L`py{Hpr³yzz{H²¹r^{Ly«Ê

zr^yzzy^¬D{HpBdLL7®jr3²¹L[znprsp|izBLyzr3H²Or}r^^|LqsL¢i¬]L[p{Lq`syzhnrVp|p¢BH×®

«rVy¶#3[znpr «r^Hr^R¬'{zzzi|rVyÚr}pprVyzyÚrznpr^ÚznrXr}pBr^r^{H#{{d´ -RR¶rH¶¬DBr^z«¬

yBL{H¬{HBr^z«(.FL9znr[r^{HHrrV{Hr -RR¶rH¶¬znr[p{zrÚ{HO´.nhn nr{HyÛ`r}r^|pL q`|py

Br~LqXrrV'¬Yr^{HHrQnr {HyÛ{L#{z«°i{r .6¶)m+nr~yhnr^i|«¢kyzr^z7rkBr~|pyzr^µ

(11)

LqXp|zrXznrXr}rV|z«kLrVÚH²$ #)#`ÉÊÅ {L-BrhnLyzr^L-znr{Hi«{HLr^yz«¢r^

-Iyr^rr^L >.h¶ 3`znr «r^HrI¬(znr~{Lp^{z«°pr^yz«¢r^^{HµyirV«²¹nr érV{HrH¬

rV{Hz«r^yzy{HzzqsrL¬p{HrVy.yzz{LqsrH¬i{Lpr}r^^|L)pz«ÊH¶

=¥^¦§ =¤¦ =Rá<9 ¨¦^¦§ =¤ ¦ Ý ¥Hª 3{HyÛ¯qs{d>r}r^^|r)L{µyr^X²[yzr^y^¶3yrknp{LyX{°irVy®

yzL^¬p{ qsr^qsL¬i{Hp){yzr.H²({H np{H´{Hzr:r7r^y#-RBr^zpnpr^{ r^7r^y^¬iyrVpyzLy¬p{Lz|i{zy .6¶

[yp|z«`{Hzzp|rVyFyzBr^×²¹²¹L(r^{Lhn lÑ HÄ @{Lp ]Ø ÙznpryzrL`´.nhn3nr+Lzr^y®

BLip¢ r}r^^|rVy¶ 3 pzr^r^rVpr=pyz{H#&% '7, #+%)Úyy{ zsBrXÆ«Ñ^Ó6ÅÆ<-Rzr^y'¶ÃzÄÌXÑÉjÄ .

«²3#+%$'Y{Hp #+% ) {Hzr[{Lyzyz«¢r^~Xznpr=y{Hqsr:yz«zr -IrVyzD¶Yp×»cr^zr^.yz«zr^y .6¶Fm+nr{Hi«{HLr^yz«¢r^

^{HXyirV«²¹s´.nphnsr}rV|z«yrV7r+ylhnp{Hz¢Hr²DqX{Hi{¢H¢=znprr}rV|z«`H²'znr #)#`ÉjÅ

-Iyr^r3r^L)>.h¶

¨ (¹¦ ß ¦ á (Ý §#¨ 9 © Ý ¨¦¦^§ =¤¦ Ý ¥Lª B{H|p«®IzHr^{Hpr {p|zr^y`yzBr^×²¹²¹L:rV{Hhn i®

z«pyY²cznpr^q -RR¶rH¶¬ y|p¢z{Lpnpy .D´.nphn`²Á{H|p«®IzHr^{Hpryzz{zr¢H:yFzir.{Lp«rV-I{Hz«LrH¬

i{HyyHrL¬Byzr^qs×®Ê{HHrL¬Bzr^qXiz{H(zr^p«{HL ..{HpQnr`zr^±7|rVyzr^kzr^p«{HLQr^¢LzrrH¶[m+nr^yzr`{H®

p|zr^y.{Lr|iyrVQLznrs¼3½ ¾¿iÀ[H»B®j«r3zr^p«{HL7H 9 Lj¶m+nr`{Hp{z«)r^yz«¢r^

^{H`{y[yzBr^×²¹:²¹(r^{Hhn FÑ HÄ {Únp{Lpr^(zni{F{HzhnrVy{Lr}pr^z«´.nrVrLr^(«YyYz{Hyzr^'¶

3Ú°¼`½ ¾¿iÀ`r}prVL-y:pr·BrV{Ly:{yzphnpzL|pyÚrHrVÚ¢H¢Lr^zr^kknrz|p®Izqsryz|ipi

zspH«²¹znpr lÑ HÄ H² r^zLyOzr{rVXzyr}rV|z« -ÁrL¶¢B¶Fpr^yylr}pr^z«'¬{zr^qX

z)r}r^^|r{HLBr^{z«k{²Á{r^µrVy|pr.h¶`m+ny=r^i{Hr^y=nr r^yz¢LrVÚzQr·Bpr yzBr^×·B

²Á{L|®jHr^{Hir=yz{Hr¢L«rVy¶

! 4 /

¼`½ ¾¿iÀni{Hy=ir^r^r^yz«¢r^k)yz|piiÚLqsyyz«py¬c#{|rs{Hp-q`¢²Á{H|zy^¶°rsnp{dLr`r·BrV

qsrVhnp{Hyqsy~yq3|{zrÏÅËÍÆÈÇhËÍÆ«ÄÒBÉ hËÍÉjÄ+h¬.I¶rL¶«¬[yrVy ²¹~´.nhn q`yyL'¬d{H|pr{Hi qs¢

²Á{L|zy~{»]rVz¢>«ypzrVyzyzL^¬qsrVq`L~yq`r-Hznpr^~ni{H´{LrQr^7r-{L|pyrVy nryz«zrk

yzÙBr²¹rkip{¢{¢°znrQrVzzLprL|iy`yzz{HrQ³{LHnr^yzrH¶$-r^hnp{LyqXy"-Ryzrr 9 H8.

ni{dHrQir^r^@r·Br^ {HznrQ{HyÛ>Lpyzz|pz«>rLr-RrH¶¢i¶¬zr^qXBL{zr^{z« .6¬{Hi{Hznr

|p7®jqsr`y|ppBLz.rHr^ -RrH¶¢i¶¬i²Á{L|®Êrzr^z« .z{Lppzd}7qX{zr:znr`²Á{×®Êyz«r^Br^np{d7L|p^¶m+nr

(12)

LqXq3|i^{z«~r^Ê´9zÛXy+yz|i7r^zXLqsyyz« ²Á{H«|pzr^y^¬7yzXznp{H+q`rVyzy{¢Lr^yqs«¢n¢LrLyz¶Fm

zHr^{zrÚnr^yzr=²Á{|irVy¬´r:{Hyyz|pqsr=zni{+znpr|iq3Br^²Yyz|irVyzyzHr=Lqsyzyz«pyy+BL|ipr^D¶

$%+& 8( (34!Ù~ éYXw,&(~-

3 ÛHr~Lpr^ ´.nrVrVy¢Lp¢sznpr3¼3½ ¾¿iÀ[|p7®jq`r=y|ppBLz´{Hyzs¢|p{H{Hzrr[«yq`r^«rVyzy

´.np«r~zrz{Hp¢Qzy3¸ir}7«ÊH¶Qm+ny3yzr^Lµ¢L«Lr^y{L#Lr^z7«r^´ÿ².nr~yzz|p|pz¢kipr^y

np{+´r^zrÚ²¹H«#´r^p|pzp¢¼`½ ¾¿iÀ[pyz|iLD¶

7 4 447! +4 /

m+npr¼`½ ¾¿iÀsz|i7®Izqsr y|ppBLz=r}r^^|rVy=LrHrVkyzrX²znryzzzp|pr^µyzyzr^q%{Ly:{qsp7®

r´{Hzr yz²¹Ê´{Hzr{dLr^p{LyrVµL³{ 9LqXqsr^{«® »]®jm+npr®7nr«²*-[m.rV{«®Izqsr~ÛHr^rI¶4Êzy

i|pzBLyzry:-i#7r{Qz{L¢HrX²¸ir}rX²Á|ppLp{H«r^y3Qr}7rV|zr~rVirVpp{Hp«r~pyzzzi|rV

zr^{H×®jqsr`{Lp^{Liy¶:m+nr¼3½¾ ¿iÀ`|p7®jq`rXy|ppBLz[np{LyÚBrrVp«7r^-znir^rsyz²¹Ê´{Hzr

{dHrVzy^¬ p{Lqsr-znpr #Ë#pÅ#ÉÊÓ iÄÃh¬Fnr LÄÃhÒcÄÆ9Å HÅ #BÉÊÅ#ÉIËÁÑ#Ò@Æ«Å#ØHÄÃQ{Hp°nr ÄÃVËÁÓ6Ä ÆÅ#ØHÄÃh¶"3 pL7®

r}pnp{H|pyzHrs7«r^´ H²nrX²Á|ppLp{H«r^y:i#7r^°kznr |p7®jqsr yz|ipi=yrVrV Y×®

¢|pzr`tL¶

=¥Y¨¦^© ; Ý §7ª m+nrkpyp{hnr^syznprkLzr)²[znrk|p7®jqsrkyz|pii^¶4Ê p#7r^ysnrQHrV

i{Hyz[²Á|piLi{«z«rVy.rrVr^)z r}rV|zr{Xz{HyÛ]¬ip{Lq`r^«°ÉÊÅ ~ÄÆÈËHËÁÖËÍÆ×ËÍÉRØ)ÌÅ#Ò]ÅLÄÌÄÒBÉ {HpµÉÊÅ

ÌÑ#ÒBËÍÉjÑÃhËÍÒH¶ 4Ê+zr^{Hy+iLzn´+znznryzr^z7r^y{dHr^{Lp~nr{Hi{Hz«~{dHrV¶

9prVz¢r«¢L«Ê³qX{Hi{¢HrVqsr^¬lnrQyzp{HzhnrV`qX{Hz{Hiys{°pz«Ê®Izpr^zr^µyr^`H²

|p7®Ê±7|r^|pr^y^¶ #)#`ÉÊÅ 9{Hzrpyzr^zr^~{sr^zz{H Lr^9znpr={LppzLpz{rÚz|p®j±7|rV|r^yznr

ÓpÄ#ÐÆ×ËÍÒ ÄÃVËÁÓÄ7-Ryzrr.r^Lsp¶ç .6¶ 4`Lz{Hyz¬ 3ÉÊÅ D{Hzr9pyzr^zr^s:znr+yp{hnr^(

{ 4 Lr^^¬#{Hp`znr H²iznprY¢L{Hpn`{Hzr9zrVrV:`pzr^{Lzn·ByYLrV¬#´.nrzr^yBr^zp¢

nr3yzphnpzLº^{HL°{zzzp|pr^y-ÁI¶rL¶«¬lzr^yzL|izrH¬Lpp«z«¯{Hp¯pzr^r^rVpr .6¶ 3Ú 2#+%'.y

ÃhÐÒBÒ]ÅLÖÆ«Ä×²: q`r^ryznrk²¹H«#´+¢°²¹L|p r«¢L«ÊLi«z«py^ÂIËznr Qznp{H #+% ' q`|py

´{+²¹¬]p|r3z~pzr^r^rVpr3Lpyzz{zy^¬inp{dLr=·ByznrVQznpr.r}rV|z«'¬jËÍËX{ znpr`zr^yzL|prVy

prr^pr^L #&% ' {HBr[¢z{Lr^~ #+% '¬jËÍËÍË3{'znr:pL#{Hz{L«rVyznp{H-#+% ' q3|pyz´{H«9²¹L

(13)

{Lr`yr^¬ IË `nr`^|prVLq`r`y[n¢LnrV.np{H#+%

'

rV{Hz«r^yz.y{HzzqsrH¶ 3qsL¢z|ipp{Hp«r H¬

nryzi{zhnpr^r}r^^|rVyznr:r:´+znznrnp«¢nr^yz+pLzÊH¶

m+nrqs«zLzp¢3²Á|piLi{«Ê H²nryzp{HzhnrVLiyyy)hnrVhÛ¢sz{LyzÛ7yr}rV|z«pz®

¢rVyzy3zrV z[prrVFnrH{z«:²cyz{²¹rÊL¬#«HrVr^yyY{Hp3q`r^«rVyzyFpzLBr^zr^y -ÁrL¶¢B¶«¬Lq`yyrV

pr^{Hp«rH¬7H{z«~H²znpr:z{HyÛ {Lzz«#{H]{d´ .6¶

Ü)Ý § 9(Ý (F¨iâ¨ (¦ =Rá<9 (Á¨ ÞBÝ §7ª m`BLzOnr=¼`½ ¾¿iÀÚz|p®IzqsrÚy|ppBLzL «»cr^zr^zr^{H×®jqsrÛrV®

prI¬l{ LÄÃhÒcÄÆ.Å LÅ#]ÉRËÁÑÒ Æ«Å#ØHÄÃ-np{Ly`BrrV>rVy¢LrV'¶m+npys{dHr^rVz{Ly3´+zn>znr)|pprV7p¢

zr^{H×®jqsr`ÛHr^r²¹L[{Hr^y=zr{zr^QznprV{Hpy[{HikLzr^z|izy[qX{Hp{H¢Hr^qsrVL^¶:m+nrs{Lp{Hpz{#®

p««Ê~²Yzny.ÛrVzprD{Hi{Hz« {dHr^y.yn#´. kr^L)p¶p¶i¶

8 Ý § =© Ý

¥(Á¨

ÞBÝ

§7ª

m+nr`yzr^z7r^y+{dHrV+Liyyy.k{ p{Lr²lyzr^zrVy+r}pn¢ ²Á|ipp{HqsrVL{

iirVz«rVy2-ÁI¶rH¶¬l{dd{H«{Hp««ÊL¬Fr^Br^pi{H«ÊH¬Fzqsr^«r^yy .qsrr^¢-nr)rV±|pzr^qsr^y:²yzzz×®

i|rVQr^Br^pi{Hr3zr^{«®jq`r{Lp^{z«py¶ 3 ÄÃVËÁÓ6Äypr·BrVQ{Hy.{qsp|r3{LqX«ynp¢X{

¢L«Lr^X²Á|ipz«'¬p{Hp y{H«r^ znpzL|¢n {`´9r^««®jpr·BrVQËÍÒiÉÊÄÃ¹ÏÅHÓ6ÄL¶<3 yzr^z7rr^²Á{Hry9qX{LrÚH²

ÉÊÅ ËÍÒ #Ñ^Ó6ÅÉRËÁÑÒ h¬i{HiÐ#pÓ6Å#ÆÍÆ -ÁI¶rL¶«¬iz{HyÛH{HL~zr^±7|rVyzr^ znryzr^z7r=«yr^×²1.h¶

rV7rVy3Br^zz{¢kz-znpryzr^zr{dHrV{Hzr~zrr#{Hz-yhnr^p|p«¢-BH«rVy¬lpyzzzi|rV

r}r^|pL-LzzHI¬'qsr^yyz{H¢Hr`q`|{Hyz¬'¢|p-qsrVq3Br^yzn'¬'zqsrqX{Hp{H¢Hr^qsrVL^¬D{HpyphniH®

p«ºV{L ² hÛ7y6-Ryzrr Y«¢|pr`t.h¶,4~Lz{Lylz3nr[pyp{hnr^l²Á|ppLp{H«r^y^¬7znrVyr[yrV7r^y

{Lr~r}rVpyrH¬lI¶rH¶¬Fznr^³{H>ir)qs7p×·irV<B#|iBp{HrV>µznr){Hpp«{HL³rVy¢Lpr^3{Ly3Lp¢{Hy

nrqsp«rVq`rVz{z«)L²¹Lqsyzznryzr^z7rÚr^²Á{Hr -Ryzrr3r^L)p¶ç .h¶

0 / (- 45 4 4

+l}7zr^pyz«Ê~yznrpzLBr^zÊ H²(yz7yzrVqXy´.nhnznr:r^HH|z« ²Yr}yzp¢`²Á|ipz«p{«z«rVy+L

nr~rVy¢LµH²r´ r^y3y`iyzyzp«r~{H3{H°qsr~p|pzp¢kznr««²¹r~H²+znryyzr^q¶4µzrV:

{LhnrHr[¬pnryzp{HzhnrVy.pr^|pr^~²Áq znpryrV7r^y{dHrV¶Ym+ny+r^p{Lr^yznpr{Hp{z«

pr^yz«¢r^+z r}zr^pQnr3pzLBr^zr^y²l{H¢HHr^Qyzr^z7r:´+«nL|pnp{d7p¢ ~LBr´+znQzqs¢i¬

yzphnpzLº^{HL'¬²Á{L|«®IzHr^{Hpr{Hp)yzzzp|pL)pyz{Hyznp{H{Hzr=pnpr^zr^. {L~Hnr^

yzr^z7r^y^¶m+nrX²¹H«#´+¢Qyzr^z«py:pzr^yzr^:znprrV²Á{LrX²²¹L|iyrV7rVy¬ i{Hqsrkznpr~yzhnpr^p|7®

(14)

HADES tasks

Services layer Hades

Task invocation Upcall Function call

U U

U T T T

T

F

T T

U T

T T

U

F

F F F

SchedTrmEu McastDeliver

McastNewConfig McastSend

UpcallName

KrnSetContext KrnSwitchTo

ClSet

KrnCreateContext

ClWakeup ClSubscribe

KrnConnectIt DstrActTask

DstrTrmEu DstrNewConfig

ClGet

FuncName SchedActTask

GrpNewConfig

service

Scheduling Group

membership

Time service service

control execution Distributed

service

TaskName

GrpSubscribe

Multicast service

service synchro.

Clock

Kernel adaption layer

Interface description:

Dispatcher

C.O.T.S. Real-time kernel

Y«¢|pzrstLÂ 4Lzr^p{Dyzz|pz|pzr=²Y¼`½ ¾¿iÀ=|p7®jq`r:y|ppBLz

(15)

¢~yzr^zrL¬Bnr`pyzzzi|rVQr}r^^|L-LL yrV7rL¬Bnr`q`|«z^{HyzÚyzr^z7rH¬B{LpQnr3¢|p

qsrVq3Br^yznyrV7rH¶

#)#3ÉÊÅ .q3|pyzYr}r^^|r+z=qsr^rFznprlirV²¹zqX{LprrV±7|zr^qsrVLy -ÁrH¶¢i¶¬Lpr^{Hp«rLFpzLz«Ê/.6¶

m+npr+²¹r^{Ly«Ê`zr^yzzy^¬L{Lp{7º¢:´.nrnr^9{yzrlH²c{HyÛ7yl{Lsqsr^rOzyOqs¢`Liyz{HzylLlL¬

{Lr i#7r^¯¯{HµH»B®j«r z7HI¶ 4¯LrVi³{k¢L«Lr^¯yhnr^p|p«¢-BH´+zn>{k¢HHrV

#)#3ÉÊÅ ' ¬9Lr)p{Hr^yXznr)zqs¢³{zzzp|pr)² 'y -Iyr^r-r^L@ .3´.nhn

yhnrVp|¢kBH-z-|pyzrH¶m+nr~yhnr^p|p«¢kyzr^zrXr^²Á{Hry`qsBLyzr^°H²Ê´ `ÉjÅ

H{HLpy^¬p{HqsrV 'Ó iÄ ÓÉ iÅ{Lp cÓpÄ pÃhÌ ÐDÂ

BL³{Lz«#{z«µ².{H #)#`ÉjÅ ¬Fyz{d ' ¬Yznpryzi{zhnpr^{LyphnpzLpL|pyz«-HÛrVy:znr

cÓpÄ!ÚÓÉ BÅ z{HyÛ]¬L´+zn Ê´93i{H{Hqsrzr^ylr^«²¹7p¢3znprz{LyzÛ`sir=yhnr^p|p«rV"-ÁI¶rL¶«¬ '.

{Hpnryr^²$'y :znp{H.q3|pyz+ir:r}r^|pr^~nr|pzr^+yrL¶

BLXzr^q`p{HLs²'{H ¬yz{d #&%$'¬Lznr.pyp{hnr^F{LyphniL|pyz:HÛrVynr 'Ó iÄ Ç

ÃhÌ Ð)z{LyzÛ ´+«n #+% ' {Hy+{L¢|pqsr^¶

m+nr 'Ó iÄ ÓÉ iÅ {Lp cÓpÄ pÃhÌ+Ð {HyÛ7yrVz{L)´+«n nr³yzi{zhnpr^7{{@yr^H²

]Ø zni{ÚqX{Lp{¢Lr^y.nr`iLz«Ê®jLr^zr^yzrH²Oz|i7®j±7|rV|r^y -ÁI¶rL¶«¬cpyzr^z.·By^¬cpyzr^z.{Hyz¬

pyzr^z+{#²¹rV¬p{Lp)rrzr BØ .h¶

m+nr9yzhnrVp|p¢.yrV7rFLzr^²Á{Hrlnp{HyDBrrV:r^yz¢LrVÚzpz#7rF«»cr^zr^ yhnr^p|p«¢.BH«rVy¬

rV{Hhnir^p¢X{Lp{Hpr^ {X«»cr^zr^.{Hpp«{HL~pLqX{ -Ryzrr3r^L)p¶p¶t.h¶

=

¥^¦§

=

¤¦

Ý â Ý DÝ

©)¦

=Rá<9

©

á9

¦§

á

(l¥

Ý § =© Ý ª

m+npr[yzzzp|pr^~r}r^^|L~LLByzr^zry

hni{Hz¢HrH²{H|pihnp¢snr=r}r^^|L²Yyp|zr^z{LyzÛ7yLznrzrr#{LLyz«zr^y^¬d{H«p{H¢Xznr^

irVr^pr^prLpyzz{zyF{LpXrzr^zp¢znr^lr^qsi{LD¶(m+nr+r}r^|pLXLLpyrV7r+yl{H×®

r^Qznr3{LyphniL|pyH{HLpyH²(npr^r `ÉÊÅ L¬ip{HqsrV hÉRÃÚÓÉ BÅ c¬ hÉIÃ ÃhÌ Ð

{Lp hÉIÃ3Ä$FÑÒ]¶~m+nrX·By=Ê´Q{Hzrsµhnp{Hz¢Hrs²+zr^yirVHr^«Q{H|iphn¢)znr~pyzzzi|rV

r}r^|pL:H² # #`ÉjÅ H¬{Lpzr^qsp{H¢nr(r}r^^|LD¶m+nrznLpr{LhÛp#´+«rV¢HrVyDqs7p×®

·]{z«pyY²'nr.¢LzL|iyFqsrVq3Br^yzns²cznrÚyyzr^q -Ryzrr.nrVrV{#²¹zr^ .6¶Ym+nryp|zr^sr}rV|z«

(16)

LzzHpyzr^z7rBr|pyzr^X`{=z{LyzÛ

'

y9yzBr^×·irVsXnr.yp|z«{p|zr+²

'y

-Iyr^r3r^LQ .h¶Ym+npryzzzp|rVr}r^^|LLL'yrV7r=r}pnzy+nr=²¹H«#´+¢szr^²Á{HrLÂ

BL){H#{L²F{Xyp|zr^ # #`ÉjÅ ' ¬pznpryp{HzhnrV+{Hyz7ihnpL|iyXHÛrVy

znr hÉRÃÚÓÉ BÅ ~z{LyzÛ]Î

BL3r^qsi{L=H²i{H #&% '¬#nr9pyp{hnr^{HyzphnpzL|pyHÛr^yDznr hÉIÃ ÃhÌ Ð

z{LyzÛ]Î

BL`q`«·B^{L=H²pznr9¢LzL|p:qsrVq3Br^yzn -ÁI¶rH¶¬{#²¹rV {ÚyrO²Á{|pzrl yz«zr9zrpyrVz« .6¬

znr hÉIÃ3Ä$FÑÒ {HyÛy{Hyz7ihnpL|iyLLÛrV~~nr:¢LzL|iqsr^q`irVzyn)yrV7rH¬

´+«n Ê´³p{H{Hqsrzr^yXi^{z¢>znr-pr´ qsr^q3Br^yn@¢|p7«r^´:¬{Lp@znpr-qsr-{

´.nhn¯r^pyzr^zrV¯yrVy{Hzr~BL|piµ-Br~irVz{HLp{HR¶Hzr zni{3nr hÉRÃ`Ä $lÑ#Ò

z{LyzÛrrVpy=kBrLLÛrV-k´.nr^°nr~yp|zr^°r}rV|z«LzzHlyzr^z7rXni{Hy=

qsrr.{`²Á{L|«+zHr^{H+irVnp{d7«¶

m+nr:r}r^|pL)LLcz{HyÛ7yzr^{H´+znznpryp{HzhnrV{X{yr^+² BØ :r^yz¢LrV

z³Lzr^{H ´+«n@znr°rQH²znr-|p7®jqsry|ppBLz -ÁrL¶¢B¶«¬.{H«{HL²3{L@r}r^^|L¸i#´:¬

#{H«p{z«kH²{)yr^=²irVr^pr^prsLpyzz{zy^¬DLqXrz«kH²9znprr}r^^|L-²{L>ËÍÒ dÑVÓ6Å#ÉIËÁÑ#Ò

]Ø *.6¶Hm+npr^yzr.z{LyzÛ7yl{Hyz:zr^{HO´+«nXznr[q3|{LyOyzr^z7r+{H|iphnXznrz{HyÛ`r}r^^|Lpy

~nr{Hippz{Hr=yrVy¶

m+nrr}r^^|LLzzHpyzr^z7r+rV²Á{Lr.np{LylBrr^pr^yz«¢r^Xz{«#´znrqXr^qsr^{LXH²

r}r^|pL-LzzHYBH«rVy[{Lyzy|pqs¢{zr{L«rX{Hi-{²Á{H|®jL«rVz{Lr^7pqsr^¶#BL=yp{Hr

Lpyzr^{z«'¬pznpr^yzrqXr^qsrVL{z«py.{HzrL.¢HHrVQnyÚp{HBr^^¬Bi|nrLzr^zr^yzrVzr^{Lr^

yL7rVzrV{H 9 Lj¶

qsrVyzy{¢Lr^yFz`{3yzr9² yz«zr^y^¶Fm+nr[¼`½ ¾ ¿BÀ.q`|«z^{HyzOyzr^zrrV²Á{LrÚyqX{HrÚ²DÊ´ `ÉjÅ

H{HLpy^¬p{Hqsr^Ó6Å6ÉcÄÒ@{Lp lÅ hÉ`Ä $lÑÒ]¬[{Hp@r `ÉÊÅ @|p]{H«[p{HqsrV

°Ó6Å hÉ`ÄÆÈË#ÄÃh¶m+nr°Ó6Å hÉ'ÄÒ z{HyÛ-i{Hp^{Hyzzy[znr qsrVyzy{¢Lr^y[Qnr~yz«zr^y:BrL¢L¢QzQznr

¢|p³´.np«rkznprÓ6Å6ÉsÄÆÈË#ÄÃ°|p]{H«Úr«Lr^yXznrkqsrVyzy{¢Lr^yXr^yzp{Hr^z¯znrkyz«zrH¶ $-Lzr

(17)

zr^rHrV°qsrVyzy{¢Lr^y^¶km+nr lÅ hÉ3Ä$FÑÒµz{LyzÛ°{d7y3znryz{Lqsr~L«r{Hy:²¹nrpyzzzi|rV

r}r^|pLLLcyzr^z7rH¶Fm+nrq`|«z^{Hyz+yrV7r[rV²Á{Lr=y.{Hy²¹L«#´.yÂ

BLQzr^±7|rVy q`|{Hyz.{qsr^yyz{H¢HrL¬nr3zr^±7|rVyz¢X{HyÛ {HyzphnpzL|pyXLLÛrVyznr

°ÓÅhÉ'ÄÒ µz{LyzÛ´+«n¯znir^r{Hz¢L|iq`rVzy:p{H¢-nrqsr^yy{¢Hr BH¬Fnrpr^yzp{z«

yrVy.{Hi~nr:z{LyzÛ)hnp{Hz¢Hr[²Ynp{Hi«¢Xznprq`rVyzy{¢LrÚr^{Hhnr^yzp{HL)yrL¶

BLXzr^r^p(H²c{=rVyzi{rV`qsrVyzy{¢LrH¬#znpr Ó6Å6ÉsÄÆÈË#ÄÃ[|p]{H«HÛr^y(nr.{Hpip{zr

z{LyzÛ[3hnp{L¢Lrl²Bni{Hp¢nrzr^rHrVqsr^yyz{H¢HrH¬d´+zn3znrqsr^yyz{H¢HrO{Ly{L{Hz¢L|pqsrVL^¶m+nr

L7^{z«H²(ny{HyÛ~{L)ir3pr{dHr^z r^py|pzr:znp{H.znpr3rHr^z~zpr^z¢pzLBr^zr^y

²Yznrq`|{Hyz+yrV7r:{Hzr=q`r^-ÁI¶rL¶«¬B{H|iyz{H'Lr^^¬7H{I¬Lzr^qXiz{H'Lr^ .6¶

BLµqs×·]{z«-H²9nrX¢LzL|p°qsr^q3Br^ynD¬Dznr °Ó6Å hÉ3Ä$FÑÒ-{HyÛ)y:{LyphniH®

L|iy-HLÛHr^-´+«nÊ´k{Hz¢L|iq`rVzy[i^{z¢Qnr r^´ qsr^q`irVzyn°¢LzL|p-r´ {Hi

znr:zqsr{H+´.nhnzrpyrVzr^yrVy+{Hzr:i|ppBr:LBr^{Li{I¶

m+nrq`|{Hyz+yrV7r[zr^²Á{Hr=np{Ly+ir^r^)r^yz¢LrV~zX{H«#´gnr=qXr^qsr^{LH²(q3|p«z×®

^{Hyz+pLLy´+zn)«»]rVrV.r^«{H«Ê {Lp)r«Lr^zLr^pzLBr^zr^y*-Iyr^r3r^L)p¶p¶ç .h¶

prrVz¢-²Á{|irVy¬F{#´+¢QirVz{HLp{HOyz«zr^yz{H¢LzrrL³znryr^²+²Á{H«r^³{Lp¯irVz{HLp{H

yzr^y^¶ 4Êy=zr^²Á{HrXy=LqXBLyzr^²9{ `ÉÊÅ kH^{L-p{Hqsr^ Ã# ]ÐiÖÓÃhËÁÖÄ{«#´+¢{

¼`½ ¾¿iÀyrV7rBr.L«²¹`|pBLs¢LzL|i3qsr^q`irVzynshni{H¢Lr^y^¬{HpX{ `ÉjÅ3|iB^{ip{HqsrV

Ã# 3Ä$FÑÒ{«#´+¢zÚ´{H:nry|ppyzirV3yzr^zrVy H²Bhnp{L¢HrVy nr¢LzL|pqsrVq3Br^yzn'¶

$-Lzr[pzr^yzrcÂ

BLkzr^±7|rVy+z~Br3Hz×²¹²F¢|p)q`rVq3Br^yznpQqs«·B{HLpy^¬inr3zr^±7|r^yz¢ yzr^z7r

LLÛrVyznr Ã# ]ÐiÖÓÃhËÁÖ6Äz{LyzÛ pp^{¢Xzy+r^z×·irVÎ

BL)qs×·]{z«~H²nr:¢LzL|pqsr^q3Br^yn -ÁI¶rH¶¬²¹H«#´+¢X{Xyr[²Á{|prL¬Lyz«zrr^7®

yrVz« .6¬Hznr Ã#`Ä $lÑÒs|p]{H«pi#7r^y(znprpr´@q`rVq3Br^yznp`¢LzL|p37«r^´Ù{HyY´rp{Hy

znr:zqsr{H+´.nhnzrpyrVzr^yrVy+{Hzr:i|ppBr:LBr^{Li{c y|ppyzBr^yzr^z7r^y^¶