Méthode formelle d`évaluation de la qualité de service des

Méthode formelle d`évaluation de la qualité de service des

!"
!
1
2 6%
!
2
%
/
!
2
22
9% ; 2
2
% 9
9%
9
2 2
2%
2
;
"
#
2
!>
%
%
% =
% 9
9
%! 6
$ %&
%
%! 2 % =
2
2 6%
6
2 6%
2 2 22 5 = 2 225 2 %
2 6%
!
252 2
;
2 6% %
2% % 2
2
2; 2
22 5 =
2% % 2
2
# 2 6
2
2 2
9
%
%
2 6%
22 5 =
%
2 2
2 28
2 2
2 2
2
22 2%
2 2
2 9
2 2
%
%
2
6 2/
%
2
2
2/
%
2 2
2
2 2
!
2
2
!
2
2
2 6% /
!
/%
%
%%
2
%
2
27
/ 2% % 2/ 2
22
/
/ 2 2
2 22
2 9 :
2
%
5; / 2 < 2
!
% %
%
2
2
2/
22
2
/ %%
=
26
2 % 9
9%
/ 2 2
22
%
2 2 =% 2
2
2 2 % =
2
%
2 62 2
6
2
%
9%
2 9%
2
8
%
2 6% 8
% %
85 2
2 6%
% %
# $ %
&' ((
$) %
*(+ +, +- ' ./(+ +, +- ' 0&/(+ +, +- ' 0.
%
*(+ +, +- ' 0,
%/
/ 2 34 5
6
2 6% 2 !
2 % %
2 5
2 22
! 2!
2 ?! ?
2 %
2 6%
2 5
%
2 ! !
%
2 ! @2
% =
22 62 5
%! 2 ! % =
? ! ! 52
2 6%
2 6% 6
!
%
22 5 ?!%!
A ?
2
2 6%
? !? %
/
%! % 2 %2 B !
9
/?
6
2
!
2 6%
22 5
9%
%
9%
2
2 %
2
?!
!
2 6% /
6
%
/ 2 5
%
5% 2
52
2=
!
2
2
2?! ?
2
!2 %
?2
6
!
%
2%%! % 2 %2
!
%
?!%! 2 !
2 ) !2/? 2
2 2
5 !
%
2/% %
! /
'
%
2 6%
2
%
%%
2
27
/ 2% % 2/ 2
2 22
2 9 :
2
%
!
% %
%
2
8
%
2/
%
9%
/
2
% =
2
5:% 2
8 22
2
%
% 6/ 2 6 2
2
;
22 5 2
%
%
%
% 2 22 5 = 2
2
2/ 2 6 2 5
!
%
C&D
225 2
#
5:% 2 %
%
2 2 % 2
% /
5
2
2
2
%%
2 9
%
2 2
2
/ 2
2%
2
2
9 2 2
!
2;
2
6 %
%
9%
F % 5
%
2
2
%
/
2
2
/
2
2 2
2
%
6
%
6
%! %
8
22
!
6
; 8 6
2 6%
9
9%
2
%! 2
%
%
% %
< 2
%
6
2
=
2 6%
6
2
2
2
2
2
2
2
2
22 5 =
9
22
%
9
2
2
2
C+D E 2
2 6%
6
2
2 9
2 2% =
2
2 6%
2
2
=
2
2 6%
;
=%
2 6%
2
2
2
2 6% % % 8
2
=
26
22
% %
852
%
2 2 =% 2
2 62 2
6
2
2%
2 22
%
2
2
22
5; /
2 22 5 = 2
%
22 ! 2
%
22 5 =
2 6%
;
2%
/
2
%
2 2 7 /
()
("("
2 6% 2 G
% %
2
2 6% H C0D
%
2
G 2 5
2% % 2
2
%
2
2
%
%
%2
9
62
# 2
2 6%
2
%
62
%
HC,D
2 2 %
2 6%
2
2 6%
22 5 =
2 5
2
2/ 2 % % 2
2/ 2
%2
%
2 6 % 2 6%
% % C'D
% % 2
2 6%
8%
6
2% 2
% 22
%
!
2 % %
2%
%
6
22 ! 2
%
6
2
2
2 6% %
2 6%
2 6%
2 6% % 2
0
2
2 2;
=
2
2 6% 2 !
%
2 2/% 22
2 6%
%
2 6%
2
2 6%
%
% 5=
%!
22 5 =
%
%
6% 2 % %
2
2
% %
2 2%
2/
2 5
2
%8
2
2
%
;
2 2
2
2
2
2
2
("*"
("*"("
+%
,
# 2% 2
A
2
%
% %
%
8
2
/
2 6%
2
2
2
2% %
* 2
% 9 % 28
F
6
9
2
2 /
2
% ; 2
,
,
%
% ;
6I 9
2;
6
22 =
2
%
22
=
2
%
6 2/ 2%
% ;
,
+
%
2 %
2 6%
=
2
5
2
2 22
J
2 ! 2
2
%
2 2 2 5 2
/
9
/
%
% % 2
2 22 6 2 2
22
%
2
% 2%
26
%
%
2%
2
%
9
9%
2
6
%
/ 2% ; 2
2% ; 2% 9
2;
2 9= % 2
2
2
2
6% 2
2
2 2
22 2
2
%
2 6%
%
2
2 6%
%
2
=
* 2
2
5
22
2
2
2
2 %
2
28
5 92
2
2
("*"*"
2 6%
% 9
2 2
2/
2;
% 9
/
% 26
2 2%
2 2%
9
2 6
F
2
2;
% 9 K
=
%
2
9% =
2# 2
2 2 %
2
2 6% 8
9
2 2%
%
5 2% 2
%! % 8
2F
2
2
2
2 2 6% 2 5 2
%
%! %
%2
2 2/
2 6%
2
2% 2 %
2
J
# 2%! 222
2 2/
/%
2
(
2
%
2
/
(
2
2 6% 2 %
2 !
2
/2
%
2
L(/
(M
%
2
2
9
%
8
2 %
2
2
2 6% 2
2
2
82
6
22
2
%
J
9
2
%% 5
2 6%
/
2
> ALMNL / M
%
2
2
2;
2
(
-
%
O
(!
=%
2
%
% 2 6%
2%
2 2
.
2% % 2
6 2 %
9
% % 2 %
2 5
% %
28
2
2
%
2
2
2
8
%
%
2 6%
5 8%
2
J
2
2
%
2
2
9
2
%
2
2
2;
2
(
-
("*"0"'
*!
/
/
2
2 6 % 2 22
8
% 28
F
2
2 =
%
2
2
%
2
!
2
6
%
% 2
2
%
%2
F
%
%
%
9 2
/
% % %
%
2
2
2 %
8
2
L(/
(M
2/
L(/
(M 2
22 5
9
2 52% 22 2 7
%
2
9
2
% %
/2 2
2 6%
*)
22 5 =
%
2 22
%
2
J 2 2%
2 2 % 2
2%
2
2 %
% 2%
2
2%
2 2
2/
2%
28 2 %
=
2%
2
2 K % 2
2
:
2
5
2
2 %
2 % % 2
2 %
9
2
2
9
2 2
6
% F
2 2
%
2
6
2 6%
2
% 2
2%
9
2
22 5 =
% 2% % 2
2%
9
2 2%
2 2
2 9 % 2
C&D/
% 2
%
%
F
2 %
J
2
*"("
*"("("
7 % 2
9%
2 22 5 = 2 %
22 5 2
2 /8
/
2
/ 6
2%
2 22
9
2 %! = 2
22 5 = 2
%
22 5
6
6 2
2 /
22 5 = 2
%
2
2
2 %
2
2
2 2
/
2 %
5
9%
9%
2
2
%
%
%
22 5 2
2 9
2
%
2 22 5 = 2
/ 6
%
6
6
9
2 PQ
2 9
*"("*"
!
6
F
2 6%
2 %
2 6%
22 2 7
2% 2
2
2 2
2
2 6%
2 2
2
2
62
2 2%
2
'
2
%! 2 22
%
%! %
CD % 6
2
2 6%
2 22 5 = 2
22 5 =
2
2 2 2
2
=
% 2 6%
2 6% / %
%
2 %
2/
2
%
2
K
2
2
2
2
%
2
2
2
2
J / 2
2
2 2
;
8
2
%! 2
2 %
%
2
2
2 6%
9
2
%!
%
2
2 %
2 2 =%
%
2
2;
%
%
%
2
2/
=
2 =
%!
2 %
% %
22
8
2 6%
/8
%
%
2
% 2
6
%
2
2 %
28
*"*"
%
2
%
2
%
2
%
2 6%
2
%!
2
2 6% 2 !
2
2
2
2
2
22 5 =
2 6%
2/
2
2
2
9
6 %
7 /= "% 8
2
2 2 %
% ; 2/
2; L M %
9
L M/ 2 6
2 6%
> ALMNL / M
# 2
%
%
2;
2
/%! %
2
22
22 5
9
2 2
2 6%
22
9
5 =
!
%!
2
2
%
%
2
/ 2 =
*"*"("
>
PQ
2 %
%
%
2
2
22
%
2%
22
5 =
,
22 5 = 2
9%
% 6
2%
2 2 7
%
2
%
/2 2 % %
/%
2%
*"*"*"
2
2
2
2;
2
2
28
%
2
2
2
%
2
%
+
!
6
2
2%
% 2/
%
2
2 2 %
% 2/ 2
%
2
8
% % 2
2 % 6
2
22 5 =
22 5 =
/
%!
2 2
/%
2 2
2 2
6
%
2 9
2
2%
2
2
% 22
2 2
%
%
2
9
2
2
%
9
9
/
2 2 2
%
2
2
2
22
6
%!
%
9
2
9
8
2
2
%
PQ
2 2 % % 2
2
% % 2
/ 2
2
22
9/
%! O
2 52
%! O
# 2
22
% 22
2 F
%
5
%! O
7
2
6
2
/
9%
/ 2 6%
2
2
=
2
9
2 6%
%
!
8
5 = 2
2 %
2
2
2
9
2
22
8
*"*"*"("1
2 6%
2
%
2
9
% %
%
2
2 %
=
%
% 2
2
2 8
2
!
% 2
%
2%
9
2
2 8
2% %
2
2
2
2
2
2
2
2/ 2 %
%
22
2
%
2
52
2
2
2%
PQ
2
% 6
5
2
9
2 6%
%
% 6
%
2
%
9%
/
%
2
*"*"*"*"1
%
% 6
2
9
/ 22 5 =
= ! 2
2 %2
2
2
2
=
6
5
2
2
9
+
!
2
9%
2 2
2
%! = 2
8
2
2
% 2%
%
2 %
2 2
2 PQ
2 2
2
6
2
%
%
22
7
2 %
2%
2
2
2;
6
% 7 2%
2 2
2
R:
% ; %
2
9
/
9
# 2
5 2
2
=
!
%
9
2 %
2% % 2
% 2
2% % 2
2 6%
=
2
%
2
2 6%
2 9 92
2
%
2
R
%
2
2
%
2
2
2
2 6%
5
2
2
2
2
2 %2
2
2 22
%
6 %
8
2 2
2
92
2
2
% 6
22
%
%
5 =
9
2% %
2 6%
2
2
2
9
6
2
=
2
2
9 2
2
5 2 %
52
2
2
2
92
F
9 2
%
2
2%
2
F
9
2* 2
5 2 CD
9 2 56
R
9
% 2 ;
F
%!
% 2
9%
2
%
2
2
%
%
2
2
2
9
% 2
2
2 6
*
R0
0
R
-
!
9*
6 %
R'
'
R+
+
0!2
2 %
+
2
2
2 6%
%
2
P
0
%
%
2
2
2;
S0
%
%
2
2%
9
P
2%
2 *R
2
2
S
2
S:
9 Vf j S :0
2
%!
%
!
%
%
%
%
2
%
/
2
2;
2%
9
P
%
%
6
2
2
2%
2
2
9
%
2
9
%
2
&
S/ %
2
= !
%
%
22
%
5 =
%
2
%! 2
2 8
2
2
2
2
/
2
2 22 % 2
2
2
%!
/
2
2
2 2 =
2
22
9
9/
0/
22 %
9
2
2
2
9
+
2
%
%
9 %!
5/ % %
9% % 2
2 2
2
9
2
0)3+
2%
2
%! 2
22
2
2
%
%
2
2
%
9
9/S/
% 2
!#
0"("
+
9
2
2
C-D # 2
% 8
2
%
2
2
22 2 % 8
2
%
%
%#
2
2
22 5 =
2 2 22
2 2
%
%
/
2 2 25
TJ
2
%
22
0
0
U 22
6
U 22
%
T %
6
T %
%
T 2
6
T 2
%
4
%
2
0
6
2
22
T
0
6
2
22
T
0
6
2
22
T
0
U 22
=2
T
7
U 22
=2
T
TR
T %
=2
T
T
T %
=2
T
0
0
T7
;2
2
22
T
'
T
;2
2
22
T
'
T
+
T
+0
R
T 2
7T
R2
2
!
%
2 %!
5
T
()
%
2
=2
7R
6
U%
2
2
2 %
2
2
2
"
22 5 2
2
-
% 6
=
T
%
%
2
2
22
U 5
%
2
2
2
%
6
22
%
2
22 5 = 2 2
= ! 2 6 C&D*
A
T
0
T
T0
0
T
7R
7
0
TR
T
T'
T7
T
T
T+
R
T +0
7T
-
%
%
2
=
%
2
%
2
; %
;
22
0"*" #
0
#
5)
2%
2
!
=
2
%
2
8
2
%
2
22
%
%
22
%
"
2
2 %
%
/
5
2
2
%
2
2
%
0"*"("
% ;
2;
2
2
%
% ; %
22 5 = 2
9 % %
2 %
%
2
2%
6% %
2
0"*"*"
7
2
6
%
5
2
%
72
2 %
9%
2
/
22
%
2
/
2%
2
=
%
%
2
2
% ;
6%
9
% 2
2
2
2
5 2/
2;
2%
9
2 % %
%
%
2 % ; 2
2
2
22
22
2
2
5
2 22
2
.
= 2
2
%
22
2 6%
7
%
/
% ;
2 %
/
% /
5 2 6 % VQ ) C.D2
6
2
2;
9
6
2
2 !
9%
22 5
2 % 6
7
/
%2
% /
2
%
%
2
2 !
2 2
2 22 6 2*
22
22
2
22
=
6%
0*
2
22
=
6%
*
2
%
2
%
2
F /
(8
2 %
5
= 2
0(
6 %
2
%2
= 22
2
*
%
=
0
= (/+
=(
%2 2 2 2 ! 2
2
0+
= 2
2 %
22 2
2/
;
9
9% %
22 2/
%
2
%
2
9
2
6
9
5
2
2
2 %
(W
9
9% %
5 *0
2 !
9
8
2
2
2
2
2
%! 2
%
% ; %
%
9
9
0"*"0" 3
0"*"0"("
+
6
% ;
2
%
6
%
% ; %
2;
2
,
2
%
5
%
8
9
8
%
2
*
%
2
2 %%
8
2
%
/ (/+
0/
% /
/
9
=
/
6
2
5
−
2 0+ <
2
−
2 0( ≤
≤ 0+
−
2
< 0(
6
8
= 2
2 %
=
=
2
≥ (
2
=
−
2
< (
2
=
W *
(
+
2
2
2
=
2 6
2
0
8
0
2
+
0+
2
2
*
0"*"0"*" 3+
K 2
2
0+ −
0+ − 0(
9
−
%
2
=(
2
2
+
0+
0
2
% ;
/
%
2;
=
6
2
22
N (/+
2
N0+
N( %
0(+ (
=
=(
0+
2 6% 2
%
2
2 2 6%
J
5 = %! 2
22
6
> A(
2
,
)= (
2 %
% ; %
/
=
) = (( +/()
9
*
2
2
%
2%!
(
> AL M
(
-
6!
,
2 6%
5
2
7 6 6
% 2/ % 2 8
%! %! 8
%
(/+
2
%
2 6%
2 6%
%
%
2
%
6
=
2
%
2;
/
2
%
9
F
0"*"0"0" 3
%
2
2%
22
6
22
2;
2
/
= 2
6 %
9 /
2 2 =% 2
5 =
2
%
%
=
2
9
% 22
6
=
!
2 % %
2
2%
2
22
92 6
%
%
%
2
5 =
*
R
R0
R
R'
7R
R+
TR
$
R&
T7
%
R-
-
R
7!3
+
(
2
2
/
%
2
9
!
6
2
2
%
R
2
:
2
% 6
%
9
:
6
9
2
/
2
%! O
%
2
2
%! O
8
6
2
2
%2/ 2 6 %
Vf j
7
2
2
*
%
9
2
22
6%
% 2
2
2
2
2;
%
%
2
2%
9
2
%
2%
2
9
9
2
2%
2 2
2% % 2
2 2% %
%
2%
%
2
%
/
2 2
9
22
2
9 %
%
2
2*
2
% 2
9 %
2/
5
=2
2%
2 2
=
% 2%
# 2%! 222 2/
2% % 22
%! =
%
2 # 22
/ R + / $& R &/ % R -
2%
2
2
2
9
2
2
2 %
9
/ 2
2
%! =
6
2
2
2
F !
!;2
2 52 6
22
%
6 %! /
%
2
2 %
9
2 22 /
R/
%
PQ
%6
%
2
5
=2
2 2%
9 %! 8% %
2 2
6
2
2
2
6
2 92
=
2
22
2
% 2/
92 % 2
%
6
2 % 2%
/
2
2% % 2
2
6
2
5
= 2 2%
9
%%
2
%
6
2% %
=
2 %%
9% % 2
2% 9
2
2 2 % 62 !
%
22
2
2
%
2
/
%8 6
*
5
2
2 2
22
2 6%
2R/
%
2
%! =
2
/ R0
2 2
6
2%
2
7
26
%
9
R '/
2
=
8
6
% 22
9
22
% 22
2 2
%
2
0
2
6 2
2
9 22
9
22 5 =
% ;
=2
2;
2
2%
% N(
9
!
0 ! + !
0+
/ /
2 2 2
=2 2
2
!
=
6
9
=
5
( )
6
9
9= 5
=2
%!
6
2
/ /
2%
5
% 2;
2
2
9
2
2
9
%!
2
%
2
%
2%
2 2
2
%!
%2
2%
2
9
9
2 2
2
%
%!
* =∏
2
=
/
!
2 6% 2
2
%
2/ 2
!
2 2 5
2
%%
;
2
96
2> A = ( /
)
1
2
6
/
92
=%
2
22 5
2 <
2 6
8
2
5
22
2 6%
22
% 2
2 6%
2
2
2
2
7
6 %! /
% 5 2
%
9
2
2
%
2=
% 22
2
# 2
2 2%
5:%
2
!
%
2 2 =% 2 2
%
=
2 22 5 2
7
/
%! %
2 2%
22 5 2/
6 2
%
2
6
#
2
%
# 2 6 2
%
8
5 %
2
!
22
2
2 %
2 6%
2 %
%
2
2
5 2
2 6%
2 2
2
2
% 22 8
2% % 2
2
% 5
8
2
% 2
9% ; 2
9
9%
2
2
;
2 6%
= !
F
2
2
!
22
%
5 =
%
2
A
5 =2
2 6%
9
%
2
%
2
2
2
2 %
2 6%
%
2
2
2
2
2
2 6%
2 % % 2
2 2%
2
62
%
2
2
2 6%
/
2 /
2
2
5;
2
%
2
2
2
2 6%
2
2
%
2 6%
2 2 7
/
7
6 %! / 8
6
2 2
2
9/
2
%
2
2
2
2
2
%
2
6
2 2
# 2 6 2 2
2
!
6
6
22 5 =
%
2 2 =% 2
2 2
2/
2 % % 2/
2
%
2 9
2
2%
2 2
2 9
2 %! = /
5 2
2
2
2
2 2 /
% 6
2 22
2
%
J
:2
2
% 2 2
%
8
6 9
% %
2
;2
%
2 2
=
% %
2 %
%
!
22 5
8
5
%
22
2 "%!
2
62
!
2
22
%!
2 2
=; / % 2
5 2
2
%
82 2 6I 9 # 2 6 2
2
22 5 2
%
28 6
2 6%
2
2
2 2; %
2 6
2/
%
2 6%
5
2%
6 9
22 2
%
%
= !
2 6%
2
2
2 2
%
%
%
2
!
2 6% 2
2
2
/
2
2
8
CD
! 22 = *>
C0D
2
%
CD Q
2 X
Y #TA T7 / ,,-
= !
# ? @2 YT % +(/
=
/
T 2 / ) ! *
2 ?
%
%
=
2=
M/ A / AA# (,( , .,L. = 2M
L
C'D
A 6%
[
#
C+D A
%
/Z 6
#'
%!
% * %! %
= 5 2 YQ
/T
( )
=%
7
C&D A
% /Q
/ T 2 *>
Q Q #A 0(( /& ! ) 777
A
5 0(( />
X
2
6 2
22
/
!
%!
* 2 5
=
6 2
%
% 22
2 %2
%
%!
= L
Q
Q
2 6%
/0((0
2 5
Q
=
0
A 6%
6 / ,.,
5 2
0((0M/0 0' :
%
"/ \&/ ,,./
%
!
>
/Z
%
#
A 6%
2 /#
*Z
%
>
# ? @
%
0((0
A 6% *
2Y&!
2
T 6 ?Y
+(
2
%
%
Q
2
2
# ? @2
2
2
%! Y 2 /
A 6% 2/
-!/ (!
C-D
T 2 /Q
0& !
22/0& 0,
C.D A
C,D
Q% 2 2
/)
!
= 2 0((0/K9
2 */V 6 Q
R = / ] ! 6 /Z
A 6 Y 777Q
V
*
2 5
%! %
6
6 Q
A ?
%
% L KQ A 0((0M/ 777
/7 =
/ A # *( -&,+ -0- -/ AA# *(- ( +-/ ''' '',
)
? @
Z
R 2
%!
/Z7 7 /* 2 5
/ = 2 ,,+
0(Y 6 5
%
2Y
A%
,,,
%
2
>
A 6% *