Qualité de service temps réel selon le modèle (m,k)-firm

(1)

HAL Id: inria-00114397

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

Submitted on 16 Nov 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.

Qualité de service temps réel selon le modèle (m,k)-firm

Ye-Qiong Song, Anis Koubaa, Jian Li

To cite this version:

Ye-Qiong Song, Anis Koubaa, Jian Li. Qualité de service temps réel selon le modèle (m,k)-firm.

Nicolas Navet. Systèmes temps réel 2, Hermès - Lavoisier, 2006. �inria-00114397�

(2)

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

8

)59;:<>=?@A#B)

CDFE;D

GHJIKLM2NPO;IRQSLTH4UPV*NWYXZQ[IR\M^]_]`KbaQcOd]0IR]degf_.Kh\d];XJ]IiXS]jegLMJkdXS]lFenmporqtsFuvQwK;e

xzyJ{4{;|2}S~{;yJ;{;T*Jy{nST/{c;TyJ;{h2}STy&yFPwd{nw{;*P*R;{;z{dc

~;RyTw}S{{SjA[}[/{n{wJ}Z{gwzr"{*^R;{;B{ZTy[g;TyP;TJ{;yJ;{TyJTy^

R{AJ{;hB2{dTySRA}[yTw{Aw{;*^"R;{;w JS{A"S}S;hw}Sdy^jRTy2B;ST}c¡}Z{Aj{;yw{;*P0R;{%T

{h¢Rd2S{Ti£{;ww;}[yJ{AzS}S;Z}STyP"{*^jR;{dJZ{RTy2¤^R}¤Y;S}[¡v}S;{Aw{;*^jR{;

¥

¡v}Sv§¦4{;STynS{SR;}[w{;{hyT.d4ydy42{AjdhZ}STyPjTyY¤S{R{At{;h.{*S{hj;;¨J;;yJ;{*{At

}S*©R}pªJS{JA&S{§vJ;{§w{y«;T&J{¬tR;¨J;R~2{T{;yYy{®Y¯Pw;{°d

{;|{*S{;©dxyJ{0Jc}S;Z}STy*±2Ay2P{dBTySR;}cy2w{Ai{*^@R;{;d2S{¢{d2}cw{

¥

¡v}S§¦R}

R{Adhw}STy^© ²dyR[;;¨J;;yJ;{yJ{³dTJAy2*T´hZR{R{d{hw;{A *RTy2R{wµ{b{A¶d4S{

t{wyJTy{|;h2w;{AR;dgS{Zd}pw{;{;yY·{hyR{hw;R&{;{TAb}STyP{At·;TyPR}S2;R

;T{*}Sy2S}ZS{A rJ{hR{hcw;yY¤d}cyP}B2{*R;TJ}cR{*{²¡vd¸ATy{;¡¡v}S;dA{*S;¨J;R~2{*T¹tw;{T

ºdwTy^Y{{»©T}c²dJg2{A;2S}S;}SdyP/{*^R;{T j©dJZ{³d

¥

¡}ZR¼¦ jZ

~;RyTw}S{.{h2´hSR{0¡vdJvy2}S{¢2{0¡vd¸;Ty2hw{hR·}[yJ}Fw{jd*R;ªJ±ªJ}SS}ww{T

½y^;{;¨J;}[SR{A zyJd^ydP}cyYw;R{ATyP¾c°;TyJ;{hw}STy§pyJ{cR~{;STR{

[;2S}Z;S}ZTyP¿{*^¶R;{;

¥

¡v}[vÀ¦gÁj{d4S}S;hw}STyPn*JpS}Z/;}[`¶w{;*PnR;{;

RcÂwy2w{hvyJ{hxzyn{;|2{;*S{zcY}STJ{{²;{hSw{;ST{[S}S;;S}STy"{ABSzSvy^*}©R}STy{A

dTJ{hv%T}Sz{hJ}SdJ;½{b|*;dRAhwhR}wS}ZY{A@;T*JyJ{ABTyPS0yJ;;{dR}[w0J{0J;S}pJR{;

;{A²JAY{hv²y^Jy4w{;Ã^jªJTRyJg{hjZwTS;R;yJ;{{/{{{/dTJ{hv 2µRPRYi[¾y{

;{;w;}[y{*S}c/}pw{*¾*R;;}wR{ %;yPj;~TRd{h0yJdw±ªJS{;/{±y2.cY;S}cw*{*RpJc}S;Z}STyPJÄBy

ÅÆTÇRÈTÉÊcËwÌ%ËvÍhÎ;É[Ï;Í%ÈTÇ©ËPÐ¤ÌhÑSÒ.ÉcÓhÔTÏ¢ÕYÖd×ØÙRÚÔ`ÉSÛrÜÖdÝ2ÞTßßÌ©ÊàRÉpÇ©Ô¢áPâ

(3)

{h¡¡t{hv J}SP{d%´;{jRh¡;R±ªJS{z2;yP.;{hw;}cyP.;T0[w;Sh¨JTyJ}S{zÂ¤{|{;*S{;>{jR{wµ{b{

{AJAY{hv²{;yR{hw;R;y2}J{;{dRd2w{h²¾n;Ty2w}cy2{h²¾gS{AwR;yPR{bcZR{;dS{A

dTJ{hvB{hy²R{hw;R·TyTJwdi}c*JZ{{hyTP}cy2S}Sc}wRhªJS{Ah

B{d©T[w}STy^{;|}wtyTw{AjJRdA{AdzÂwyTv{;wd4½}[¡¡t©{;wyJ{gTy.Tjwd±µ©d

{h¡¡v}S;Ad{AzJ}w²¾J}w²{dJS}Z;w}SAyPw{;*PzR;{;"~S;ªJAS{;/{;y2Äz{h

¥

¡v}cÀ¦¹{hy

;S}ShS}S{hh;ÄBy*{h¡¡v{hv JR}P[¢RA{;wJZ}STy{"Z0ªJy2{0T;yTw{zR{;STyS{jªJ}[R´hw{¢d*}[R{

;T®w{;;¨2y}[TJ{ 2{

¥

;J{;R;J}wR}STyJy}[y~²¦y ¡v[| w{h*^ R;{;Y{bT»´hZR{

A;{hwhªJS{A .{;SS{n;TyJTJ}pz¾y{4d^©S2}[S}hw}SAy&}cy2A}cRhªJZ{TRA{;dJ{d²¡v[|

w{;*^R;{;

¥

¡v}Sv¼¦g;0S{;Ty2ZTS{²[AT}w©R}SAyyJ{zJ{hBdT*{hSR{²T%yJ{zww}S{py

{;yPR{;²ªJZ{j{j¡cJ|*T{jS{zRAR{;R;}[P*Z;yPR/{hcSR{Td½gpybZR{jdwA JR}rtSTy/RAR{;wJ{

SªJAy2{²T;y2w{Ã{;STy4S{*hªJ}[¤dJ{;y4pJyn¡v[|w{;Ã^jRh{;

¥

¡v}S ¦n{b¤R{wµ©{hS{*2{A

dTJ{hvj{;ynR{hZRn{;y4;Tj{tRh¨J;v~2{*T{;yYy{·Y4RAR{;P Tyn{bB;R}pJ{·¾Ãy{

{;}SSS{hR{.w}[Z}whw}Zdy*±J{0Jy{";~2RATZ}STy*{0SjzPY·RA{;·{;y²w{;{0y²S;J|{

R{wµ{b%;.¡cJ|P¹d}w¢{h%S{zS;J|g2{zR{wµ{bBy{{;{h%J`"{>µRJ~{;¢}%;{hSw{2;~ATw}SAy

{ÀS-zP {Ad;;{h2hªJS{ d yJTy ;R[hJc}S;Z}STy{;|2{;*S{A nST°yJ{

;TyTJ{;Rw}STyw;Sh¨JTy}SY{J}S4S{4R{wJ}Zd{n{nrT}Z|&*Âi .[{nR{wµ{hdP{;w{;²y{

STy~Y{g;TJ{;yJ;{2{*dTJ{hvj{b0ATyJY}cR{/¾g[J{;ww{pyJ{*J¨`{J}[wAS{dSTzTJ{

;{AJ{;w{A2{&dT{bF© R}{;SS{ATyªJ}S{;yÀ{AJA;{Ay^Z{&w{;Ã^ ·{hTJ{;y2¿´hSR{

A;{hwhªJS{Ah

½y^&{§;¨J;J}pSR{A yJdPJ}©TyP&¾JRdR{»2{A&;;dyJ}wR{A³J{;R{hSS;y24yJ{

{;}SSS{hR{4~2{Aw}STy{Zzr»{;y{;|YST}[w;yTS{n¡A}[TJ{4S[J;F{A/;2S}S;hw}SAyP

*w}c;2}S`0T}S{;yT%;±ªJS{A© J;yP@yJ{zc}S*}[{j¾}[{;yYw}c¡}Z{t J2{0wTS;R{;>{h wd¿;[ATw{hB¾

SJA}Shw}Zdy§2{J{;¡vTR;yJ;{d4Y vPtw;{T![^t;;}¡v}ST{d{;yYv zyJd^;¨J{;Rh¨JTyPR

yJ{z r{A"TZ{d"{;R{bZw;yYB{*;}[¡v}S{;0S²TS;Ry{{²S·2;~RdTZ}STyn{²Z

zP2{A.S}S;;S}STy^{h;2ZR{";Fv 2{A.dc~2TR}pZ¨2{A.cTR2Tyy2;yJ;{;{;yYi2{A>dTJ{hv

;yP@Z{d%RA{;;J|*;¡v}[y*{"¡vdyJ}c%czzr{"¡vd¸;Ty{h¡F¡v}S;Ad{T

½y^&{®`© Z{°TZ{§Fg "Jt¡v}[v#%$'&!)(*+yJd^³;-,Z4}[yTw;R{A©R;yY4Jd

J;;}[¡v}w{;@[^@R;};{;y2[jwTZv;yJ;{j{jS{¢J;~2RATZ}STy2{¢Szzr·{;yÃ{v{jTyJdy^

R{AJ{;h42{Rc;¨J;;yJ;{2{AdT{bFb/.0J{;STy^³T%pyJ{°;TyTSR;}cy2w{®F "S¡v}S {At

h¡}ZyJ}S{z@y*¡v[|*2{0JAY{hv YJ;R}ST}STJ{¢dyJTyAÄBSS{j{;|}S~{jT%cT}cyP10JA}2

dTJ{hv*;TyPR;bw}[¡t*TJ{;S;TyJTJ{A*T}pr{;y2´hSR{Z;yP}w²;²Z{nRdR{;»{hyR{At{;hw;y2

S{h.;;¨J;y{A JhJ{;!0

≤2J+B{z;T04306572·{T%;TJ}JdS{;y2id;`{jw{;*P.R;{;TJ

TJ{yJd^"yJdTyP";P};¢8" "R¡v}c«2;yP0[Ãt}{YºdwTyP0Y{²Z{w{;R{

¥

¡v}[R§¦{A

{;*JZd*}S;}%2AyP"Z{*R{;yP"Tw{;*^R;{;

¥

¡v}cR¼¦ rc{dB¾*}[R{zTiydTJ{hB{hygR{bR

yJ{R{;TZRy^/}R Ã;{TJ}J{±R/{hg{2}S·}[y2{hch¨J;R~2{T§RAR{;P2}gcTy

;TyPR}SR{4T%pyJ{hJc}S;}Sdy&{h2d;;{bw{;*yJ{42;~dT;w}SAy2{¹{;wJ}S;{µ^RYi[¾70

dTJ{hvnSvy^*}hJ;y2t[;;¨J;y{J;R*}92AY{hv;TyPRhw}[¡tTJ{;SATyJTJ{A y

t{0P{h2dZT>´hSR{¢Ty¸b/{;wTyR[;TRT¨{zFg "RS¡}Z¼d>d¡w¡vR}SB2{A%yJ}pJ{;|*{

zP»JdR}SAn{ySR{»8"^ "R¡v}Sv F;TyJTvZ{hgFg "RS¡}cR [J}cR{2;~Rhw}STy{±yJ;TR{

(4)

JAS{hJ@}pªJZ{dB{ywR{ 2{b 0`£.{jTJ}JRAJpw{¢{yywJw;{j;J{AjSz;~2vdT}Sdy{jc

zP*;Ty2ZTS;{z

¥

vd;{h¡FP2{;~R;2;S}STy·¦2R

P{A{h}S0JdyzJ{TjT{dd|T{TPRA{`v{dz©A{dw %ST©JTyyJdyPd{A{;y2

J{`³TAdT/Sw}SJw{T¾ yP{©{`h©TJd{dvd~JA{{&ªP©{{Th©{AyJw}w{dSw{dg{;y2¹S

yPTw}wTynJ{}FT}[v2Â%{`BdST}Z.2P{zPTJ0S²R}v©{{dynd/{z{²w*A2y2RT}Sy2v{*wn "P

¡t}FRg jJ{`dw~JT}[w¨Jg{T%STJTyJydyPd{A{;y2yPYYr{AdP|&{Tv{y¾³hP{dwYP{dg{w{T

TS~2R}Sw¨Jg{TdSh}S2P{`v{dv³P{ i}w|J{d R}wT}[ZJ ÃÄ.½ FÄ0dRS}w{`n½*{AT2Z}SyP{

i}ShRw %§{A}S~2¨{Ad}Z.^{P{A}SyJ~JBJ}[P{;yJ%´©{z;{;yJT

zSAªdµh{Av}S¡.J{·d{*A¨r;P}[w{{Tt J%[yr{zdv PJ{²2yJyP{;.JygdP{;©¸;nJ{`Ph©}cªP}wS}[vT

J{PdA}S¡R}w{dwv2w;RdyPA{J{SJA~2RAJv}wTyJ{z{T/dJS}wAdw}wTy v{;/©A{d

¥

¡R}SR-¦g©{AFyw{zg2JAw{ "PF¡t}SR-d}SyR}%Y^{²J{`.TS~JR}[w¨Jg{T"iST©JTyyJdyPd{;g{yJ

PTPzSn~dRAy2w}w{nv{;R/}ZyJ}vv{TJAªr;ªP}wS}vtv{djv{;/rd{;0g %"F¡R}SRg >{;0%cd2w{

PAv riS}SSSw©{;0[dPS}wd;ªP}Sw}[vJ{²A{²g2dw{²¾;P{±"i[Jy{d|{d/^F{J{w*~J{TRw}wTy

J{S²J{zSzwRdyP/}vh}FTygJ{T>¡t^|²P}wJdg©{AwTyw{zJ;w{*w "PRF¡t}SR

B{jR{At{jJ{z;{z;¨J}pSR{¢{d%TR~;y2}¢dT{j;{zY}t}[R B{;hw}STyP²RAR{;yYw{¢S{

TZ{2{4JASA~2{{R{AdR;{d jZ{;TyJ;{b·2{wg "RS¡}Z {bÃR{dJdR}c;y2w{A j}cyPR}

T%pyJ{&}wRhP}ZTy¼{&Z{bn2w}cS}wRhw}STydJ;;}[¡v}S{;4S&wTS;;yJ;{»2{AJZ}S;b}STy

w{;*^ R;{;

¥

¡v}[R§¦J B«R{;b}STyP-2;;R}p&T{ZdJ{A°AS~TTR}[Z¨2{A R{hRA{;yTwhw}[¡t

[TRTy2y;yJ;{;/{;yTRdP;Ty2wvd}cyY{«F "Jt¡v}cR B R{;b}STyJ }Sc[^tZR{-Rp}[ywhR´h

w}cS}wR{h.S{zTZ{Fg "RS¡v}S-{;y/RAR{;y2w;yYiRpdS~dR}cS¨{Fg "v JTJ}PJ{;v/{hi¾

yg{;wJ{hJ§»{;}S~T¨Y{ d}cBjJ{h{}cyJ~%2{jR{;yTR{z{;y/;T*w{jJcP.{h¡w¡}ZAd{;{;y2

{A>dTy2ZA}[yTw{A@w{;*TR{ZS{A>2{A@¡v[|**[Z}S;2}cTh4%R{;hw}STy P*z;yJ;pJ{jS{0JR;ªJS;{

~;yJ;d%{R[AR2Tyy2;yJ¸;±ªJ}SS}pw²{A¡v[|n©d^"ATy2wvd}cyYw{A¢Fg "RS¡}ZnTÄBy2¡v}SyJ P[Ã{;hw}STy

P¯T}whw{ÀZ{dJ{;J{;hw}pJ{A°T T2;S{ F "R¡v}cR nyJdSA*{;yYRTy 2Z}SS}Z}STy

©R}pªJw{2AyP³{A³S}S;hw}STyPbZR{dY{Ã[Z}S;2}cT ²w{;SS{AY{°{APw;/{A

;Ty2wTZdB{hy*RA{;;J|·º{h!T"J{;£.Ty2ZRT%dt{g 2h¡£>¨Jh}[SR{'d©

CD#"TD%$

LTHrOA]dfJIBMJ]lFenmporqvswuRQZKe

CD#"TDwEAD'&)(*,+.-/1032'4527698,-3*,/;:8,6=<>8703/*/?6@/'ABA@(DC6@E./,F,&HGJI?K;K

£Ty^}ShRTyPny°TZ{&[d;;A*Jcw}S{»¾³yJ{R{A©RdR{J;wwd~;{&TJ{yJd^

;2{;STyP1Âv*P8¹J[}S{jÂvyYj{hJ{A"}Sy~TS{²{;wJ{;R%2;y>SJ}[{j{jd{¢;¨J}[ZR{Y

ºd^;¨J{;R;¨JTyPj¾gTR2Ay2yy{±z2{Az2{;;yJ2{AzpA;Az{;wJ{hJz;T*yP rwd0{hy

Rw}t¡vd};yTS{h/;Ty2ZR}cy2w{A*w{;ÃTR{;SS{A/{h{;ydw}S}w;y2zZ{¶w;J|»p2Z}Sc}wRZ}STyY

R{;wJ{bhJºdwTyPjT{*2AyPjS{*;Ty2{|Tw{*{Pw;{A}ww}pª2A"w{;*PjR;{;w ;{©{;wJ{hJ

{h2gT2;S}{;ny¬RT;{A{h¶dJ4S{A{;/;yJ{A[{;|2;;2w}ZTy¼{A¶MLd;¨J{Ady

;2}cJ 2{jZ;yPR*}w}ZTyn[ªJ;yJ{jTRyTw{;B2{jdTJ{hv©Tºd^.{*SAJTyP.2;yP>Zt}[w{

(5)

RAJ[ZF}w©R{;y2B´hSR{S}S;±ªJS{A"¾*SzZRy^/}©R}Sdyn{zJAY{hv043nS²R;{;Ãw}SAyn{At

{;y~2±yJhR;JyJAy*RhdZ}whªJS{A JR{hJS{j;T T T 7S0URz{A;TyPR}c2;RT

τ^! τ^"

τ^#

$$$

%&'(

)%%**(*(,+-,*

./&*.0*132

4.0' (.

*5678

.%9(8.

&,*3.

:<;8=?>@9AB?C8DEGFH/I J8KEMLNO/O

xzyJ{4RdJR;{

τ^P {dz;Adhw;v}w;{d·n¡vTyJhw}STy»2{¡v[|p;v}pJ;{RQ

P

½;yP*{hS{

hS2{A 2;{hSw{0¡vTyJhw}STy²{h2P´hZR{*Á

sTSB\TKQZLM^Q5UN^]zLYN_RfLKdWMJQU2NP]

Á%;R}c";*V

PWYXP

zT;yP²S{g;dpJyJ{gTw{g}[y}w}cdZ{

TJ{;S;TyJT{*cdv}pJ;{*TnJR{;}S{;j;S}Z{hy2¤{b5

PW V PWZX<P

0;yPj[{·`yJ{*{*}[y}w}cdZ{

¡v}S|{R

P

.43[V

P

{AtS{w{;*P*{4{;wJ}S;{4pJy»Z}S{hy22;yP*S{¿{;wJ{hJ·{b

X<P

c¶;}ST{

[}cy2w{hS;R}J{Fd[}cy2w{±;vR}pJ;{j}[y}S*AS{02;yP%S{¢`>TR}STJ{;

s\SB\`KQSLMJQU2NP]»WYa]AO^]YQ]dNP]`_

Áj4V

PW_XPWa`P

d®5

PW V PW_XPWa`P

cb!3

`P

R{hRdR{;y2w{Z{

hJ¨TRd~{0/A|T}S²§2{¢c}[yPZyPp;v}pJ;{jy*;S}S{hyJJ;h2TP¾¢[jhR}ST{T

s.lσσσσ^d^m ρρρρ^dqRs4erLK;HP\

ÁYy{zdwªJ{zS}SyA}[R{z;;Rdhw±R}w;{jd>y{jSA}[SZ{z2{zR;¡AS{

σ^P ^{hy

ªJ}[»/AJ{;y

ρ^P Y}¹/vµ©TR{ S§2R;}S{§¡RTyJhw}ZTy h*[;S}pJ{ c;R}pJ;{ÀT wvhJA}S %Ägf t 1Z£ $ & RBTyS}[zYZhJA}SPJTww;{jJ;>y;S}S{;y2i{Ati2h¡v}Sy}S{jJ;ah

P

±J{¢yJdwA*{yT i

j j

k lnm

= ⁴³ NjR{hRA{;yTw{jS{0ªJ}[YÃ{;wJ{h©

½y^Z*J}cw{A ^Z{d.;Ty2wvd}cyY{d>w{;*^R;{;%RTy2wdhµ±dJ.Ty2yJ;{A>JA07o

PW 0 PW 2 P

B43

o P

{Ajt[;;¨J;y{gR{;[;S}pJ{g¾nR[}cyPw;yY¢pvR}pJ;{yZ}S{hy20{h80

PW 2 P

RTy2¢S{A²2{h|

;RhZR{dB2{0S¢TySvd}cyYw{Fqp 4"pR¡v}cR

CD#"TD"D?rgsutv wuxxyz0{}|0wT~/z{<v0y7{<6wxY7_5/<y7vwZ_M

xzyJ{·©dR{·©d^jdTy2ZR;}[yw{{*^.R{;Bw "Jt¡v}cR {h2¤R{RdTJ{;02;yP0Ryn{A

{hJ| hwv0Á§yJT; {h ;;¨J{; ZR;yP}[wT}cR{ ,(;T0 RN0,RP0@Sd %$'&! ( *+© B

;TyJyd}wRy{4{©Tyhw;z¾t[}cyPFw;yYUzhJ{;yJ»2{4Rp¨}wtT}Sd{T&d}cw{h{;yY{A 2

(6)

;;¨J;dyJ;{*{h ,Zd¾²y4;S}S{hyTBRhw;yYTyn;;¨J;;yJ;{A {hB¨J}FwTR}Sd{*{At¤dSTj{±y2S}ZR{±/{;yT

;R}c*J;yJ{t}[w{»2{2»ªJ}[F¶;2{;S;{³yJ{20-.,S'TNQST!%&¡v}S~TR{PTy2yJ{y

{;|{*S{j{z> TRS¡v}[R§hJ{;0J;%;TyTJ{;y2w}STy·S{02hSd;{;{hy2J{;>cj~h¨J{¢2{AªJ}[F©

111

101

011

010

001 100

110

000

0 1

0

1 0

0 1

1

0 1

0 1 1

0

1

1: échance respectée 0: échance non respectée 0 Etat normal

Etat d’échec transitoire

/10325476895:;:<>=?A@CB?DDFEHGJIKML?5LN!L3B*?O5P=L=3QOGIRSOEHPMQRBTEU?VETXWYSZ[*\SN]=BD

½y^·y»t{nTJ}0J{h¢´bZR{nT2;S};Âv*PJ .Ay³{h22h¡v}SyJ}cR[hZ¢Y

t{z¾jy}[yPZy UP¾j;Z}[B2{A>hw;v>{A.©dR{A>Tg´{¢}SyPS;yTRdxzygt{z{A

}[%{±yhwiP[;;¨J{;jw;yPR}pwT}SR{R}Ã/T}cyP>yJ{z{{A0©dR;{d0{Ati{yg;¨{jRy^}[wT}cR{

SJyJ{¢RTw{j{.Ä^ZT~2}ST{j{;yYZR{jZ{dBbZF@{jRc{hyPR{;²ªJZ{j{zRdJR;{A

xzyJ{g©dR;{Ã{h2{|TR}S{hg;Ty2SR;}cy2w{gFÃ "RS¡}cR {hyJ;A}[¡v}S;y2¢R}[*S{;/{±y20c

JAS{hJ%{A>2{h|²;R;/hZR{AjÁ-0{h2J

&j¡}Zy{²¡vd;}SS}cw{;"t[{;|YR{A}ZTy{AjTywA}[yTw{AjYnYP{wg "R[¡v}SR«/;}wj±J{;²JcP

{JR;;}wR}STy*[nRh;Fw}[Z}STy»2{A 0 d}¢S{A 2¹;S}S{hyv*Ty^;h2}[¡t© f¤Ä . (`_ ²{h

3f.Ä . ba Ty2·{;y2R}Zh¨J}{¹/T;S{w "R¡v}Sv{;y RdRdy2zwRT}SR{A/¡vTR{dBY}

;TRR{AtTyJ{hy2P¾¢[z;T*S;/{±y2S;R}pwj{hPZj;TyPRhw}pJ}[2Á

( )

^c^dfe ^S¡}ZR ÁJ;^ 0 ;S}S{;y2F"hJ{; QNSg?,TN.S T.TR@SS-6 S.N7U7S*yyJ{z¡R{;yJ´hZR{

TJ{;S;TyJT{j{ 2z;v}pJ;{A>dTy^;h2}pJ{A

h

ikj

¡v}SR«ÁTgT}cyP 0§;S}S{hy2F Nu,TC-7N?U#R-¢hJ{;zd;¨J;;yJ;{zR{At{;b{zdy^¤y{

¡v{;yJ´hwR{jT{ZTyY{02{ 2z;v}pJ;{dBdTyPR;bw}pJ{A

l

mon

¡v}SR4ÁJhn[P 0 ;[}S{;yTv?N/ T&-'N/DUR-hJ{; QNSg?.T N'S T.T}9S-6SQN.U8.S*T;yP

yJ{"¡v{;yJ´hZR{"T{ZTyY{j{ 2z;v}pJ;{T>;TyPR;bw}pP{A

ByJdw}Zdy{gF "Jt¡v}cR {A0;STz~2hyvdc}wR{{h.yJ{gdR;{gd^²;{A¡RTR{A{

;Ty2wvd}cyY{dn{AtÃ2}[{&Rd^¶;Ty2ZR;}[y2{ $!.F^¯»{;-"[$zAR .0{;dw*^>}c{ f.Ä. Ua©

º;dyT}SyPj}S¤Ty`J}S{;yY0{R{;*;RY{hzTJ{;{;SA}[yJ{Az2{;{A¡RTR{AjJ{h`J{y.wd±µ©d

(7)

( )

^c^dfe S¡v}SR«Ád;Y}pJdZ{hy2w{0¾z"Pw "Jt¡v}[v

h

ikj

¡v}SR«ÁT%c;Y}pJdZ{hyJ;{j;yP>Sg "R¡v}Sv

= ^Á0{hy ¡vA}}S{Atz¡vA}ZS{{;TyPtb{T%p±J{

"TyyJ{nJ{h

µdd}>hJT}SBJ[^.2{!0¬Z}S{;y2v1N?.T&- QNuDUR-¢hJ{; QNSg?,TN7S T.Tq@SS-6SQN'U6'STJ{;STJ{RT}[

S*Zd}cSS{*{ 2dw24Y{ 0 2JJ½{²^"yJ{RdR{·R{d{hw;y2Sg "Jt¡v}[R«}cyJ;[2BZ{

;T%J;F}ShJc}S{;%2{

−

ºdwTyP>TJ{¢S!"^RT{hyJ;{jR;dc}wR;{"dy*AS~2AR}[Z¨2{j[Tv2Tyyy{;{;yY^y%[{Ar`

yJ;;{A©Rd}ZR{{hyTPRhb}w}J{Y bjy²;S{¢ZT@{ 2 -(.,S'T N7ST(;T40R!.DST

xzyÀ;`¹;S}ZbS}S{±c{;|YR{A}STy 2{;Ty2ZA}[yTw{w "RS¡v}[R {dnZJ;;}[¡v}S;}STy

yJ{ 2 -.0S'TNQS ,RSJ{;S;{&y

κκκκScw{;y Fd w "RShSw{;y [jx'& ©£{hS{

w{;;¨yJ}Sd{§c}[y^t}[R{®Y /T;S{{;dSh}c*R;} S£ $jx ( 43-yJ{°MLdh¨{{At

;T*JRd{jy{"ww}S{¢hR}}SY{j{hPy{;Fw}Z{jdw}SdyyJ{;SS{TB{

κκκκcw{;y·pyJ{¢dR;{

±2dyry{j;Ty2ZR}cy2w{0w{;*JAR{ZS{zw "RS¡v}[R {d2h¡v}SyJ}J;B[J;;{TR}STy2{ 2Z{;y2v

{jRcd[¨hªJ{h Ua043 J}SyT}SY{"yJ{¢2{;;y2{j{"wRA}{{;yTdw}STyyJ{;SS{¢{hcaY2yJ{

{;/;yJ{hR}[Z}STJ{±J{;

!

=π =

"

43 ππππ^# {A*S{R$&%('";S;{hy2·T

κκκκSJhS{vy d

) *,+

≤ ≤

ÄByRhJhZy0;Ty2S}cy2{;SS{;{hy20S{

κκκκ;Sw{hvyJ %Ty;S`©R{S{A{d;yJ{dz{Ãd}pw{;{;yY

{AjZ}S{;y2vjyn¡v[|4FdnyJ{RdR{;0{;yn2{h|n;w;~T}S{AjÁPd2}STy2y{cS{*{h¤;}[Z}STJ{TPÂw

{A%¡A;}SS{2{zRdTJ{;0T%c}[B2¡w¡v}[B{ZA}{¤hJ{;*AAwdw{AjS{A"{;/;y2{A0v}[w}cY{A

wS{A 0 ¥

a"¦2BJdhw}w¡vd}cR{²Z*;Ty2SR;}cy2w{·F "R¡v}cR cJT}S9. &!)( (t ^%¨J;TR;{ ah

ºdwTy^T{zSjR;;}[RTTJ{zy%c{AtPT%2R;}S{z;;>yJ{¢~2;;y2Z}S{w "RS¡v}[R§y%pzT.;ªhµh{;hw}[¡

{JRTT}[R{yJ{ "^R;Y{;yJ;{¡v}S|2{T B{A*2{;dy2{A*dw}STyyJ{;S[{A²{bYJ{yz´hSR{ZR;}[w;{A

TJ;yJgS{·{;wJ{hJ0y%c{At%T0ThJd¿R{Fµ{hwd{AzR}%S{hJ0;;¨J;dy;{djy{{hTP{;y2%J`"´hwR{

R{AJ{;hw;{A@JA%S{zR{hwJ{hh

½{jd{0¡vd}[v S{?T

#

$-%(' ;S}S{hy%wd{·y2{¢2{0SR;}[w{;{hy2y*¡v[|*hdy2cz;Ty2Svd}cyY{

w{;*TR{ZS{gg "RS¡}Z {At0;TyPR}ShR;T/{hwdyT.y;c}S{;yY¤;R}[Z}SY{g}¤{b"{hS{;/{±y2

;[}S;w}w¡A}^S0R{Zb}Sdyg}pJdyTw{*Á

π^.^/1024365 ^a ^#P*a

±J{ T8792S{jR{Aw{j{0[zT}J}w}ZTy*2{ T*TTJZ2

¢w}Sc}w;S}ZTy y

κκκκ;[{vy ¡}Z|2{ -R[±JySA~2{ 2{ R{;y{S{§JR;ªJS;{À{

Rc;y2ApJR{,STR2Tyy2;yJ¸;±ªJ}SS}pw,T Ftw;{ w "R¡v}cR ¾ ;{;[} {,v[;y2ApJR{

[TRTy2y;yJ¸;hªJ}SZ}w;STR}SdJ{T/;{;|{;ÃS{dJ;yJwd^³Z{;³;S}S{;yTv³±R}[S}ZY{A&RTy2

(8)

}STR}pwnSnT}cyP*;S{Jd{A .R[;ydp{nSTR2TyyJ;yJ¸h±ªJ}SS}[n{dzTTyyJ;{ndyP %. &! ( (4©

¢cJS}Zhw}Zdy42{*;{hSw{·ZT}[¡v}S;;w}STynJ{h.´hZR{²2}[S{·2;yPjS{T/A}[y{*Y4J[Z}S;2}cT

ÄBy{h¡¡v{hv 2A{zTy{hPJ{h%´hwR{j;2c}SYj¾jy*¡v[|*{"dTJ{hv%J}Sd@^dJ¤;S{;hw}STyyJ{h

S{AdT{bF²;R}[S}ZY{A²2;yPzy

b!

Rdd¡ }ShSR{dRz{;yw}Sc}w;yT¢S{nw;yJT;R{

;T*JR{A}ZTy rÄ

P¨T( (R P;>{;|{;ÃS{; TyÃ¡v[|*;T*{A02w}ZS}wRyT[ZJhcR{

T

b!}pJdy2{,.-0/0/-0//-0/0/ v >43Z{dzJAY{hv²ÂFÂvy2Z}Z*d~{Az{h R{;}Shw{;

}S·d~{dRBRTy2J[P%}S²TZyv@T{jS{A@AY{hv f5f0}F}[R{;hw}STydJR{;T}Shw{; }[yTw{;FTS{

}S·d~{dRR JJ{hB´hSR{;TyP}Z2;RT{bdy2%y¡v[|±2dyB2{A.dTy2ZA}[yTw{A{*TR{;SS{A

{*STP{g aR¡v}Sv {b"t;}S¡v}S*dzS{

κκκκSJhS{hy}pJ;y2

ππππ^#¹²≤^#≤³⁴

5 aCa a Ua

£.{ κκκκ;[w{;vy**;RY{0S{A@dTJ{hv>{A@Z;{dBÂ%{b ¿T{j;v}w}ZY{A>{hZ{d%dTJ{hv>{A

ZR;/{Af-AT/{ndw}STyyJ{;w >{;yR{ªJTR;yYtS{n;R}R{np}S*JTww;yJ;{R{;Shw}pJ{n{A

ZR;/{A9PÄ

[Âb +R.Âwz;TyTJ}S{;y2z{nyJdw{;*T{S{4h¨JT}Z|³T»{}ZSS{h**;RTd~{

hJ{;yJn{*SycR{*2{Az©dR;{AjJ{*¡cJ|P¢[hS2{J[^jbd}cSS;{J¢{Ãt;µ{h0T.T

;dR{2{;{²;¨J;J}pSR{T B{²S{;hw{h"}cy2w±R{dR{h2%wRd`J{;.J[^.2{bd}Sw02;yP/pÂ©b +

dJ·~Y}[{;²Z{n¨T}S|Y;T~{T ;*;TyPR;Y{;yYF >{;y&;T²{4JRh¨R~{n43»}Sj{A

}S*©R}pªJS{n[`©R{h²Z{d*;;¨J;;yJ;{d*{wd^ÃZ{d²dTJ{hv*y¡cJ|7 rÄ

@yJ{n{A

©R}pªJ}SZ}[wA>Jd.c}S*}[w{±>Sz;~2vdT;S}STyg2{¢SzzP{d%{z~T;R;yYw}cBSz[}JR}Ty¾jw{;*P

{AwA{dÂz{b i B}.©R}pªJS{A >;2hZ}S{hy02{AZR;{d fzxzy{hS2{¿}S}Scd}cR{n

Rc{h¡¡v{h02{*P{;w{gJzZ{dj¡v[|;J}Sn{At¤JRAR{yTw;{2AyPfab! (*+©PÄByJ;;}[¡v}S;y2.d

;¨JAdJ{j¡v[|g;Ty2SR;}cy2w{w "RS¡v}[v S{zR{At{;bi2{!0®J;R*}JyJ{j¡v{y´bZR{z{!2²dd{hv

;TyPR;bw}[¡t¶{;R{bZSvd}p2{d}cyTw{;y2}cyJ{zrA;{hwhªJS{»{;yJ}[w;y2{{hnS{A

;;¨J;dyJ;{A";TyPR;h2w}J{dh2Ä¤y~hyJ;vdZ ^Z{zR{Fµ{hB2{A.JAY{hv";Tv¢{;SAyy/Rd¡v}S%{

{;w{²;2T}wRzªJ}S{;y42h¡v}Sy}w ^{hR{hB2{*R;T}[R{·[h¨J;R~{*T4SPw;/{·{b¤RAt[w{·{yy{

ZR;yP}w©R}STy*A;;S;R;{j{A@T{bF>{hy*;[w{;yTw{T

xzyJ{¡RT}wSATy2SR;}cy2w{ $ .F^ t;;}¡v}S;{A TyÀ{b4dZdTR{¾v[hw;J{{

R{;;¨J{hRh¨{zcdS~dR}[Z¨/{A.[TRTy2y;yJ;{{hydJ.d{zS;Ty2Svd}cyY{T}[iR{At{;b{·F{

¡vd¸ATy2hw{hR·}[yJ}Fw{jd*R;ªJ±ªJ}SS}ww{;©

5&68796&:<;!=9>&?A@8B.CEDGF9HIKJ)>&?IL>9MEMONPMEQFRDGFRMSBH>9TOHQ>9MLBU?N9@!MLBFWV*DYXZL[\].@*?AD

Â{;|}ww{z±µ©dR¨T}r}cyJ;}[AS{;/{±y22{h|Ã¡vA/}cSS{A.[;S~TR}Z¨2{A>TJ}PR{hyyJ{hyT%{;y

;T*2{-Fg "Jt¡v}SvÁnA2yJ;}STJ{ ;°{;|{*S{¼½ f %$'&)( *±Á½}wFw;yJ;{ f0`{;

R}SAR}c{b·w;w}Sd{z;{|{;*S{¶Ä . &!)((+.Á>ÄBy¨yh{;}S|{ R}ST}[2©d

AS~2Tv}[Z¨2{dyJd*}ZY{zyJd^>PdJSTy^"}[R{Y{S²}ZTR}w¡w¡t{dhw;{²¾·¨dTJ{;S}S{hy2B{A

vµ^t{n;2T/;w}Sd{;/{;yTz{;y³¡vTyJhw}ZTy&{nR[hwhzTFPw;{w{;y³ww}Sh[}S{;*{nc 2

-.DS7TN.S2{A0RdJR;{AB¾R[}Sy^Fw;yY U ^ByT}w.YiyJ{z;¡w¡{Ahww}ZTynS;w}[T{z2{jR}ST}cwz{At

ªJ`A{zJy²;;hSR{0¡}Z|2{Z|0_^2¢;>{;|{*S{;

xzydS~T}cS¨{jTyJ;/}ZY{jzRp±JySA~2{¢2{0J{;R{hSSR{¢gwPwd{j{z;[A2;2{%;J|

;¨J;y~2{;{;yYv02{·R}[[hw}STy¿[J;R}Shw}SAyn2{z¡v[J| J2{;d;}pw²T¿{;wJ{h `¹©Â%;TyTJ}S{±y2

(9)

RdJ{;y2%}[¡w¡v}S;}SS{z¾R;dc}w{;J£zc{d%Z{z`.2{j½ f ¹{bi2{zZR{h}ShR{0J{;R}STy{j½£j

S½zyJd*}Z &}Sy2.! £Ty^twvd}cyJ{; 2;¨J{;TJc}cyJ~2 ³Ä¢9 R ¢[;yJ;p©{

[TRTy2y;yJ¸;hªJ}SZ}w{½ f {T{¡v¡{;hS2AyP BÂ D R"xy2{4P{;}STy®;S}SAR;{³{

½£ ³Ä¢9.{hR{b¤{/TyyJ{h"y{/~;;yTw}S{2hw{±R*}[y}Sw{2{90¯ 2¶d^{A

;TyJ}[w}SAyP¬;Fw}Zbc}S;R{d F´;{ V #

dJ°d2w{A§S{AÀ©d;{A N?,TU709R8J y

AS~2Tv}[Z¨2{»tb}[TJ{{;{h*yJ{4J;R}[¡v}S;Z}STy°¨dFc}S~TyJ{Y®vJw;/{{h~dvyS}[·{

¡vd¸ATy&hw{;}[y}ww{nS{nR{AJ{;hz{ 0 J 2¹;;¨J;y{A*dyP*c{n`/43»S{4Pw;{y{

J}STZ{RA}[JT%S{A@¨`Ydw¨JA{A>T*}[R{¢;T©

½y^>;{jTJ}P}PydP>{;|TJc}STJAyP>S{.R}cyJ;}[{"{"½ f % T½£j{bÄ B

5&68796R6 "!$#%&'(#*)++,-.',(/01

½ f $'&)( *n{AZ&¡A¸dTy§S&^}[R{;hw{JdZ&Jv}w{&{;y§dT*w{&{&S

;Ty2wvd}cyY{*w "RS¡v}[R dJ.yJ{ "Pv;TJ{;yJ;{2TyyJ;{d J½ f ¹2h¡v}SyJ}[B¾·h¨Jdd{2ª2BY

R{;wJ}S;{zpJygZ}S{hy2ST}ww;yJ;{zcZS{h.¾zybbic;¨{jZR;yP}[wT}cR{z;T/{zZ{zyJTªJR{

;TyPR;bw}[¡2{zªJ}cv g¾*µhdw{;.Jd0S{}cyTR{²;{hBhwR B²R}[TR}[²TJ{z½ f TyJyJ{

;S}S{;y2B{±yw´hw{²{S*TJ{h{*;TRR{dTyJ2;yTw{¾*S "^R;Y{;yJ;{²{AB;~dS{¾*;{hSw{2}wwAyJ;{Y

}%SRdR{·R{²wRd`J{²Jwµ¾{ynhw;Bc;¨{zZRy^}pwT}cR{*w}{T P/T}ZyP"{0 az2AyP"c "^

R;Y{;yJ;{t @ZÃ[^j¨2;Tw{*R}ST}cw{A.;¡F¡v{Abd{T ;z{;|2{;*[{A JdjyJ{gdR;{gRdP

;Ty2wvd}cyY{nT *TR¡v}cR %S{;S}S{±y2¢{hyw´hw{g2{gSTJ{h{{Aj{/v}STR}pwOR}.S{A9*4Z}S{hyTv

R;;{;y2v¡TR{;yT*yJ{"Pv;TJ{;yJ;{»a&aUa&abv z}[·{d{JR}cTR}[w }*Z{d *Z}S{hy2v

R;;{;y2v@¡vTR{hyTry{ "^R;Y{;yJ;{z a ba aCahR

TR{;SS{;{hy2 zR{ZTy $zddd}( *S}ZTR}w¹{d·hJdcJ;{dT{J}[t.ºdP

yJdTyP¶

(

⁶ ⁵ ²³⁴³ ⁶ ²³ ⁶

)

6 798 7 7

:

δ δ δ

_{− +} ₋= ^; ^S "Pv;TJ{±yJ;{&{&SRdJR;{

τ^< ^; ^P^<>=^T ^W^-/?S

}cw}STygF{hy;T*2yT¾j;S}c>{jTRT}cw{;%2{¢[¢y@A/BDCPd;¨J;;yJ;{jR{AJ{;hw;{zd ab%;yP -<

S0R}SdR}cw0YÃF}EahA/BDC ;S}S{hy2^2{

τ^< {AdyyJ;{";0Á

( )

F

G H I

J

K J J JLJ

MONPQM R SUTWV

+ = − + ^#P

ºdwTyPjTJ{*ZTT%c}S¶T}SyPj{ Tfa²;yP -± dSAP

<>=

T W -? 5 2

<X

` ¡v}[y4TJ{*Z

[^@¨w{.R}SdR}cw¢

5

%RT}[¡w¡v{;hwd{T

B²¡v}S~YR{rg;¨J;*;w}wR{²;T{yT%½ f ¹{At%w}SS}zJd.Rc¡w¡v{dhw;w}STyn{v}STR}Y

£.{hSw{ JTS}cw}STJ{ c¡w¡v{hw;w}STy!A2yJA*}STJ{ 2{ JR}SAR} {À´hwR{ ¡vd;}SS{;{hy2 {h

{h¡¡v}S;Ad{;{yj}ZÃZ{hyw;{n{yhw;}S{;¢;Rp¨J}wFwTR}ZdJ{n{n;¨Jdd{4dR;{J{hz´hwR{

wT"J¢2AyPy*R{;~T}wtZR{j{ 2<

ªJ}[v©

(10)

,

-

. // /

/ /

0 1

1

2

1 δδ

δ − + ³ −

4

5

6 77987 8

: ;;

<

; δδ

δ − + ⁼ ^> − ^>@?

>

>A

B

B +++ ^C^C^C ^D^D^D

E F

G

H I

I J

K

J

K

JL

KNM δ δ

δ − + ^O − ^P

Q

P

Q

P

Q RR

R STU VV

V +++

W X X

XXY

+ + ^Z

Z\[

]

^ ^

^`_

^ab b

b

+ +

+ ^c ^c

c dd

d

e

fg fhgi

+ + ^j

j\k

l m

n

m

n\o

p qqr

+ +

DBP

Serveur

...

s

τ

t

τ

u

τ

v

w

x

: ième travail de source x ^z^y

{

: priorité du ième travail de source x

|~}~`9@!99& ¡¢£¢£¤¥¢£¦99£

Þ&ßàßá&ßâäãÝåæèçâé~ê@ë¸ìÇí)îÇã¿íê@ïðñòåðê~óô)õë&íê~ö9ï÷æ~îø@ö9ïµù~úíê&ûü

+ −

/02134536'748 9

:

¶·ª±!°½µ±)¾¸¨9Ë¸³hÄ·®¯¬·Â´¬®¨

9

: ½Ä&´ÊÑ³

;

< À

/(0=6>4?'7@AB6C7@8ED8GF87H@AB8F C

"

8'I

FJ64 @+8KLAD8E@+?M+3NAB6'748E6K

"

O

8NAB@+8NP

=

Q QRQ

S TVU °W X

Y

(11)

+ −

ÀÏþ°Æ Æ¿¨ Á`ÕÖØËÏÁÃýòþ ÆÊÂ9±´²*±!¨ ´µ²

³!¨²*Â ¬³)¨ÂÇ©±«¬Â´µ²À

% þ¯¬°±*©±ª\³!¨ ¶Â¾¬¨² Â«¬¨® ³!Â ¶³~©¿¶¨²*±²*¨ä®°´µ²)ªÂ±´µ²»¨ ½µ¨ Ñ¨´¬º²*ª¨ÏÎ

O

M+KLP

O

8@C+@

FJ64@+8 KLA D8,@+?'M+3A 67)486K

" O

8A @8NP

Ð

( )

₌⁼ ⁼^&('^'^)+*^, ^- ^-.-^-0/ ¹ ²⁴³ ^Â«¬¨® ^≠⁵⁶⁷

8 @Ä±!³ ¨µ±*©²*¨

≤ ≤

9 :;< =

= ≠

> ?

@ A

B B Ë Â³!°ª© ©¨ª*«¬±ª Â«¬¨® ÌÁ`Í

=

( )

= ^E+FHG^C(D^D ^I

JLK

M

N OQPSRUTWVXRZY\[]V

≤ ≤

^ _

`a b

= ≠

c d

e f

g g V[

=

h i

j j kml TUnpoYqYrVoZs$RtouTV

v

lwpx Vy[ lz{l| [TUV

v Tx Y v

V[ZR}[ |{x~ o l [ZV x oVTl n | [ol R| [ZVVV |$ [oV

=

( )

=⁰

OR ^g ^e =^g ^f =^d ^V[ = = ^kpl TUnpoYYVoZs$Rto

l

s$V

"

=

( )

=^¡L¢^+H ^£ ^¡

¤ OR

=^¥

¦

§ kl

TUnpoYYVoZs$RSo¨TUV

v

lwpx Vy[

lzl|

[TUV

v Tx Y©po

l|

ª

|

n ~ R

|l []V

x

o¨{V«T

l

n | []ol R| [ZVVV |$ [UoV

=

( )

=^²L³^®°¯(±^¬ ^´ ^²

µ ¶ n x Y"TUVY lx [UoVY l Y·Yrn | [$[ol RS[ Y v l o Q¸Zº¹

»¼½{¾t¿¼ÀÁÂUÃÂÄQÅÆÇÈQÉSÆºÊÆ"ÉtË(ÌÆrÍÊpÆ

Î n x

YÏnÐYVoZs$n

| Y wpx

VÑYrR$V

x X v lwÒx

V[YÓn

|

[°TUVY

~~

VYÔs

l

TUV

x

oYÕ{VÖ

l

[ZV

x

oYÓV

[ZnpT o l|$ V lx X Vo []VYV[TUVY ~~ VYs l TUV x oYQP×$l|Ø VY kl TUnpo\YTUVY lwpx Vy[ YYn | [¨YrVoZs$RZY