A Formal Approach to Fault Tree Synthesis for the
Analysis of Distributed Fault Tolerant Systems
Mark L. McKelvin, Jr. , Gabriel Eirea , Claudio Pinello , Sri Kanajan ,
and Alberto L. Sangiovanni-Vincentelli
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley
Berkeley, CA 94720
General Motors Berkeley Lab
Berkeley, CA 94703
[email protected], [email protected],
[email protected], [email protected], [email protected]
ABSTRACT
!"#$%!"'&()*&(+,$-
.
*/00
*
1#2"*+&(23*4*
$%
*&657*8907+
&(!:*;<+26=07+>*4?@&A*2=B<.C;&D&A2
.C#/
2
E/F83&(28.3!"0
*'8?G"+2'CHI*&
?%0
$%
J8K!J57???:&L,M*I84*N
!"0
!"+-68K
7
8!"6:K07
5$:?%
[email protected]+2
"0*&P*!
Q &(N
C*K
9*2!"*
<K00
*
CR.E)S,T8
>0407.U%MV
0%#K"*WC8L1#2&P2+
T"&A*2I84B
!"-?%
J8BMX!"07#Y&A2@!:$Z
?[\$%!]&P
2E
F8"&A2Y+T+45
I2K92"+O%
9!"!"+)*4
$%
^#
^_`[%2!J57+:*&a?07?*5
b$c!".+^*&
8@$%!dETe2%I00<*.8fI+-.?gZ`!"-?%/&=!@
02CBDU/h2aFW.C#J*Cdh'
M Q h3FKh/R.Ui84BY4*5
8J
#CB
f*&V&(!:3+j4BgC81-2EYF8
K+M
*4*
$%
/05
,$Y
)???K*J+O%
?%
Y&(C!".MH7U
*
54*?KYh3FKhVU8*W4*5
3=$%#8
54*?iUB*+
5#$-2+
DU7?%
\!"+8-?
$`&(;8Y?0
B$%!"#>*&
!">&P+?5CH@#4$%!"V
:*&(+,$".
*k00
*
E
Categories and Subject Descriptors
l%E mIn oYpkqgr'sWtu-vwx^y(zWu%z9{|W}7y(|Wu-u%v*yP|D}4~3€V!"02+b?%??.
Q €;IR.‚4€;E ƒ9n „Nu-v*…p4vqg†|'‡uˆp4…K‰kŠW‹tuqf‹+~ )h4*2>
+
*U4ŒN
L*5
,$#UB
5
b$#U4*4?`+-
*5
,$
General Terms
N
8!"U+DUŒ;
5
b$
Permission to make digital or hard copies of all or part of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage and that copies
bear this notice and the full citation on the first page. To copy otherwise, to
republish, to post on servers or to redistribute to lists, requires prior specific
permission and/or a fee.
EMSOFT’05, September 19–22, 2005, Jersey City, New Jersey, USA.
Copyright 2005 ACM 1-59593-091-4/05/0009 ... 5.00.

Keywords
h4*26+=2+
iU#$%!Ž$%U%?%
"+O%0*C*
iU
&P+?5CH^#D00
*
1. INTRODUCTION
F8+04*K?^*2!"
<N?2+=*;+*$
2
g
.
d8*C?-M=*`?*&(bM=*9+##J8*@!a2
57?%
?:Y57N*&P4?T*
L*5
K?%0;&P2
684*!:$
#2%EK+U78Y+#T#++
ˆ8Y?2L*
+*;@2K&A2;.C+a*JM$`*&6+0
JM>89.
5
,$"1-2!"#E3h4*2)
+C
VT*
52%=84*
2Y8:$%!‘!:
a07+CB
4*=
Z8:0+T&
d04B
2*a+Y&=&P2
EdF8@&(!J2*
[*&=8@0%5
!
&L"*6Y&P26
+C;M>8"8>#N&(2+
4*
b$
&)8Y$%!’8N^57Y2*C#?9M>8\&A2#2%E“Z
&P#+2=:*M>8.;$TK25.=&i8>&P2+
=84*
57=24*C*#?aM>8
>8+)*=)+2+L*8*&(+,$J&
8V07+CBJ*&48$%!dEDS,Y8
3*UMV!J23!:H<)2
84B;8
;25+;
07.C*
'24?.N8I07#W&P2
;&
8a*C8.2EIF8
a
&6
-.K
98a2!"
<
?!:
DE
F)$%0
$#U&A*2/
+C*>
V*.8
<?Y5-$a?%20
B!".
M>84B=5
4?%$@84BC?%M**4?"&L,M*!"07#U-Y
2
84B/
3&(+J!"V+O%07
<)84Y+??I07+L*
$YM>8+aM
?+8Y
!"?d&P2+
4
,$91-2!"#ESb[n”•*~ Ui8
05
!]&N
#-?2+d?24?.$Z*2!:B
$Z9!"+
?+074?5
,$ˆ*4?ˆ
!"
:1#2!"+-;M=Y??%+?iE@;
#+C+
<;?+^!".8-?
$aM=*007?"I+O%0
>8
?%24?+$–*NC?+*—3EF8˜4M™M>&P24?%?`9J.M
š`-?+&J€V!"02CB Q š`#€=R.UN›Dœ%ž Ÿ9 7¡ž¢.£œ¤Ÿa¥IœŸœZ›Vž
¡*¦
§ › D¥;›W¨U48*N4*5
>8K2Y*&3&P*!:D+.81#2=&P*$%
8+T*4?©
?B
ª*&K8d
!"0
!"+-CB
DEªF89+-C*
04B*&68*˜M«
:+*&*2!:B
a$%#8
N.81#2
84B=0#+
!J2
C*2$"8;
8!X07+j4BDU%8
C84*C*++
9&Y8ˆC8+¬.O+2
­0LB&P*!dU*4?ª8
*07?
"®+œ%ž ŸN¯@¡°#¢+ž EJF8
K
&P*!:*
g
K2?\ Q ”BR
2%!:B
$J?%?268VB$a*&(bM=*=0%#30
B
iU Q± R>?
52%KC890#+;d8K+O%+2
d0*&P*!dU
? Q •<RD?%+
<6I0%!:*<C8?%2
N&%8)0#+'I*.8
+
T#62
Q ² €V³KR9*
&L$Z8"B<+C*
6
!"
*4?:&A2=
+CKC
#E6FW+8.U0
B
DU!:0%
0 U4?`.8?2
@2N
`8I*2!:*
Y?0$%!"#=*&
8d!a57??%?Z&L,M=B\8d?%
52?_+O%2%©0*
&(!dE
F8
ˆ007+ˆ
\!"
*?¬5-$´8Z&P
M>
­*
EµSb&
8J?%
++O%0*;bMT+*
<a
2
&)!"04BC*
5
aI?9578Z¯:¢¢.Ÿ'8Y&P2
+C@*4?`
!"
:
C*
-U'ˆM:+YM>8C8f*&8a,M`84I^57++K&A*2
+C:B<+CB¶·S,g8.YMVC?%U'M@M#I^+j"2%
*5
,$K*4*
$%¸)8)$%-8
¸?Y?0
B$%!"#D
Y8V?%074?-
*5
,$:?%!"+
iE3S,@8604*07+U<MN007N8>2N&k&A*2
+I4*$
Yn”m*~D"C8
8
=AE
h2=I*4*
$%
Q h3F'RV
NY0b?M>`00%<*.8TJ&A*
2%\$%f^CBTM>8´*ª2?C*5
9<#:*
?´
0
<3+<#U48+g?%++!"
+;M=$%8a#!:$d#+2
\8I$%!dEKF8Y0
<3+<#*&"&A*2Y
Kˆ*5
C*+
_&9$+!]&P
2`*@!:*
&(2+
DU6*4?ZJ0%+
+->8#**&38&P2>Eh3F'¹2N&P2
NN*N8
?*C2+230%#/8B80"57.,M+@07+
*784¸*C?6?J8V%˜42>"$+!º+*5
b$#Ec»ŸœŸA¼ ½
&P2
2!J5**L*W*
8
084*\57Y+O-
0%?d5#$^¾V#
*9&P2+
E¬¥K¿*¤7œ*¯J¼ ½&P2NU`8
*8+:8?iU!"-?%&A*
2%"84B:!:$Z:57^+O%0?©5#$
+!J5
4**k
U
H;8;2*&/šdBH<BT€V84
Y+C*
8
$Z*&N!"07#I&A*
2%Egh42
YY84<"57+[2?
.O%+
<$d:07+&(!ÀB2;H%
?*&6?07?*5
b$9*4
$%Kn”ÁB~ E6h=.O*!"0
U#&P2=+T572?"J?%+
<;8
$%!º&A*
2%;CBU-68>+*&i&P2
V+*$@YC8
g$+!Â&A
2 Q AE E­2%:+CR.E™h42
"+T
[
4?
B
8=$%!º
-
b$J&P2
V?a8/&A*
2%NCB64?
&P
2I!"-?+E6eKY&A2N+K>+CB?iU+O%
@!@
!".#V:57>2?@K07+&(!Ž8=,$%07)&W$%
*2!:*
$#E
N828c&P2
:+^5907MV+&P2$%
UNb$%0
$
8+$B`2.?[!:-24*$f5-$f25-Ã."!:*+J+O%07+E
h^!"0.O©8*C?-M=*–*&L,M*f$%!"UV8
:0#^
57@?
2I4?\
!"@2!"
%E:F8"+2+
Z*&&A*2
+U7
`8K.C'*U41#2
+NH-BM>
?%I&/8K$+!
57+84-*d*4?c+!"07#:2?cZ
!"0+!"#"89$%!dE
;M<.U
2%N00<*.8T
=54*?^`h3FKhVU-8CH"*&
+2+
d&P2IY*Z57@&P*!:
¸?iE`S,ˆ&A.U/h3FKh
*
^07+
j8M¹&A*20%0<BJ*4?d8BM™8+$d*—k.;8
.O+2
I*&8)+#
+E/F8D&P!:*<
&LC2.2*
M>
8\2\&aZ$%#8
54*?cC81#2d&(`+C*
[8
&P2
:d2!:*
*$#U=+074?
fg8`$%#8
¸?
?%0
$%!"#E
F8+=84*/57@0%*/MHY
J8**&7&A2)+=$#8+
Y?f?%
f˜BM>&(Y*&(+,$g+
6$%!"2C8Z*"n” ± ~
n”+ƒ~[n ÄB~ E6F8>M*H"!"6
$:*?"I8
60407.
n” ± ~U
M>8+ˆf!"+8-?
$©T0+#?_8*T4*5
:&A*2^+
$%#8+a54*?Z_9!"07&N578984*¸*C?*4$-
Å`8aB.8+2C*W!"07#;*4?d@&(2.4*D&A*2
+*C*?M>8K8/&P2+
#!"07+-CÆE'B-
=8
+!"07
*&N8",M9+45
a8"$+!]
V&A*2J+
ˆ57T$#8
¸?iE[F8T54
`&P2
@<#Y&8`B.8+
2%C!"07#)*;2!"?aK57>8+62%02%6!"
DU
!"
a&A
2+;*;
2K?!:
^&P
2E
e2%J0%07=?%
—k.J
Z8::8*YMT84<T`&P*!:
!"-?%K&a!"02CB
­&Y8ˆ&P2+
,$´84B9?%+
57
Ő¸*C?9$%
@$%!:BI!"+8-?`&/j4?
@2%;8
!:*+>
^M>8
C89d*C8+2%Ci!"07#=&A*
E
Æ €V!"07#V8+N?+j?"*=&P2+
7!"07+-)84B
8NJ07+
jK
02%N?^2%02%>#+&PE
actuator
actuator
driver
actuator
driver
sensor
plant
actuator
sensor
control law algorithms
embedded software
sensor
driver
sensor
driver
RTOS & middleware
hardware architecture
ECU ECU
ECU ECU
ECU ECU
ECU ECU
execution platform
controller
Ç>y(}7sWvBu[È4ÉIxÊvBu%†ËLwtyPqguˆ‡p7|ktvBp7Ë>‹ŠW‹tuq_Ì
8 M¹a&P2+
9`&P
AU78M¬8KB.8+2C*W&A*2N!"-?Í
*V!:&(?II8)&P2+
,$a?a*
8M[8/&A*2/&
8I!:*007?d!"07#;BJ!"07?`+8+Ee2N&A2
I*"+!"0+8?8BM™B.8
++2C*D&A*
2%;*K004B
<B?Y8%28I86&(2+
4*%?*C;?07+4?+
E3Î%
68+
=&P*!:k?.j4
:*&W8BM©8>&P2+
,$:578<6M>8
!:007?d#T"84B?gB.8+2Uk!"!"9!"-?K&A*
2%
*9
$c+˜+?__8`&P2
T9*:!J2
0
d+<#"&
8I*!"Yb$07I
\?—k++-N&A*2I5%CC8+EF8Y.C
2?+$%
[!"+8-?$­*
c?%
—k.d
ª8ˆ\84B`M
+2-I&(Y8J
!"
`4?g07+&P*!:+"C
#Y*&=8
*C8.2N@8=&(2.4*b$:?2%8N!:00
084*E
S,™n”ƒ~ U=&(#2:M=*T
<ªc8MÏZ+*\Z?%+
0
<
!"-?+
=L*24 Q ŒNS,KÐ/U+ŒN
5
,$!J57???N
IÐD%
2BRW84*'a4*5
V&A*23$%#8+E'F8
/
</N4B
2C*W!"-?%
"--
!"#>&P*;+*5
b$9
.;@M*H
?^*
J!"B<V8K!a5
2,$"
`
#+0%+C*
^&W!"07*
+-W
L*5
,$Y1#2!"#EWÑ/
!"
<'2.8J3
=07
-
&A*
2%\!"07#U2007*:!"07#U07*?_!"07*
+-)B>B
5
N
J8=--
!"#'K+-?%>B
+,$a&
$%!"D&L!¹=+*5
b$YC4?K07#E3Î%
/8+60%!"
<
a8V!"-?+
24*=8BV0+
!:#
UN&P23
*"57=$#8
¸?iE3F8
)MVHJ?—k+/&(!º26!"+8-?%
*$
J,MVI07. Q ”BR3F8=*2*
?%$J2!")!:007?
$%!«*'8V
023?
YM>8
=
a2/!"+8-?
$I8+6
"&P!:*304BC*
ˆ&)&P2+
4
,$ˆ*4?\*C8.2EIF8
J*Z
2"07+
$[
[[*2!"
<"?%!:
Z
@2
&6&P2+
)!"-?
K*+Y?%
—k.#I*C8+2%I
I^!:*
Ã*>1#2!"#E Q± R>F8KŒ;SbKÐ\L*24Y2!"+>J07j4
!"-?+'&V!"02C*
d84*!"07?9\8Y!:007?d$%
!XCB8+=8daÃ2>8&(2.4*b$#E
F8>V&i8N0407.
V*<
¸?TV&(
BM>E6S,TÎ-+
±
M=5%
+˜$Y0+#38&P*!J2LB
@*&48$%#8+¸+?J?%0
$-
!"#E/h*>J?%+C
?d?%+
0
`&D8;$#8
>
*
8!dU
8>?+V)+&P.?::n”•B~ E6SbTÎ%.T•KMV0%#h3Fh
?ˆ!"J*&V8a54*a+!"
$ˆ2?9^?+
57"h3Fh
C*08E`SbÎ%.Zƒ`MV:&(!a2*@8@&A2Y+T$%#8+
05
!Ò4?"
2C*;8Mª8;07+
j*
DU
YM>8:8
$%#8
¸?[?%0
$%!"#U3*[57T2?f\$%-8
¸Td&A2
"&P*a8:?07+4?*5
,$f4*$
E`S,Î-+
_ÁTMVT00$
[email protected]#2KZ`
!"0J-<.?g07?22!’#
+
+O!"0
E)h'
4
$#U9Î%+
dmaMVY*—k+N!"++2
E
Í+Sbd8
N<+
9*&38I
!"0
!"#C*
DU%MY2!"?^8YB
C8+2%K^$T&A*D
+-$#E
ECU0
ECU1
ECU2
CH0
CH1
Ç>y(}7sWvBugÓiÉIxʋyAqˆr3Ë(u\r3Ë(†t…bpvqÔ}v*†r3Õ6Ì
inverted pendulum
(the plant)
sensor
m
sensor
m
sensor
m
input
m
coarse
control
task
m
fine
control
task
m
m
arbiter
m
actuator
output
m
actuator
Ç>y(}4sWvBufÖkÉaoYp7|ktvBp7ËPËPy(|W}†4|ªyP|k×7u-vBtu%z©r/u%|'z's'ËPs'q_Ì
2.
THE PROPOSED DESIGN
METHODOLOGY
h>8K*H<K&/
!"0
,$#U%
`8&A2;!"-?%k84*N
>2?
"8
)04*07+VMV*2!")®œ¼Až%ؼAž¢.¤7½C¢./!"07+-/8+0%
-?K++;2N?@;0B-?I#$T2*;
AE>ŒN+
+#@M*H[8M>@84B@&A*>
#"0B&P!""_57^*
¸?
M>8¬
!"?´B*+8?­4?´-24*$´07+&P*!:+
07+4b$´n”+~ E_F8T&A
>
`2!"0
*©57:*O%?&
-
?Y2
)B=?+++?a*8+M>
U#3
a8=*&i€VŒN€6
0%.?a!"!J2
*
J*4?a?Y!"02C*
^n ƒ~ E/SbJ2%
MVH7U*&A
-
V
M>32W>
?*62%W&A*2'6$%-8
!".8-?JM>8"8
8:j4?E/h2%8+!"*UMV;2KØ+¡,®.ŸA¦6œ£¢
£¢bÙ7ž ¼ ½œŸA¼ ¡*¤fgC8
<T&A2@
+C*`+
=2%
"B
+0
*?TC*
*$ Q *>!"0
;
!"BRV*4?:+O%2%?T^+0
BC* ² €V³;?d8Y0#?ˆ?*CT*I2%?9\!J2
0
+!"!J2
B`0*8aM>
8C?`.87&A*
2%E
F8:?
[!"+8-?%
*$g.C*ad*
L?ˆ&A2Y
+C#
?%0
$%!"#*&="&P?54*.H9+#/$%!’
<gKTh3FKh
*C08T5#$J07&($%
I8)®œ%ž Ÿ3Ÿ¡ž¢.£œ¤ŸVÚ+¼P¤4°¼P¤-ÛE)c&P2
6
+
*#>5
4?%a24BC#=84B&P*NC8^&P2>+4*
%U4_®+œ¼AžÜ
-£¢IÙ%œŸAŸb¢.£C¤¹n Á~UW8"+O%2%
f*&N`*07?
d25+Y*&
8f*+^
™h3FhÝC*08iUÞº!J2^57ˆ2*C*-+?iEÝh'
2%>•
2C*6Kh3FKh9C*08J&(V04*C?
!:B
&P?%54*.H#
+#/*00
BDUi8Y
%+?9074?%2
2!Ï#3$%!dE
Sbc89.O*!"0
U=89#
+`^?++
57?´^Z5
04B
?%+?:C*08^Þ«M>8+;8;+
U%
?^+*=?T!@
!a2*
­!"?%L-U0%#9*&(,M*[0%#\*4?¬?*C
+!"!J2
BDEºSb´??
DUh'
2% ± dZ075
gÙ7ž
œŸ Ü
®+¡£.¯‘Û£œ.Ù%ßfàIáaU6M>8+d<+
+J0+# ² €V³;:?_!@
!a2*
[C84*+J?Z?@?%+
57T8J
#++
EaF8a+O!"0
I07B8I&P
M>
91#2+J*K*.8
07.-?`âiã3äå- Q ”BR*BY*!"0
?kU Q± R*&(,M*I2%
B>+O%2?iU4? Q •<R3+2**VB=20k?B?YM>8@8+M>$-
0%#?:?*C%E'S,"C?%+)K24BC#>*+607+CBDU#8
MV*Y.O+2
:
!" Q “ª€ ² F>R*!"J
i07
5
K+
B
)!J2/57!:
+)84*a8V
<@07.-?Jâ ã3äå Q 2%3
!"+C*
-.R.EVš`*B<+U%8#D
*
8!">!J257
.O+2?T
d0K&W8K07
5K0*&P*!æ&A2E
3.1 Tokens
DF H<Ba02*
*&V?*C@84B
;C*&(+?957+
bM+ˆ&(2.4*3!"07#NˆTh3FKh©*C08DEYÎ-I8
007+;&P#2K98Y+2+
ˆ&/&A*2+?dH<
BK07j4?d>04BN&'807+CB
4*W!:*#+N*&/h3FKhVU
8?%+N
>.&P+?Tdn”•*~D&P*@?%+C
?d*!"#E
3.2 Actors
Sb@*@.
#?@?%
Y&(C!".MHTn ë*~ U#*+6*6&P2+
4#+!"07#i8*D+O%2%6*4?K!"!J2
*'M>8I8+
*+"
©ˆ!"-?%AE;_*+"+#C
J07J8*:B`
+?T-La`5C*+
9*&3!"!a2*
:C84
E).
8
5C+
T
)+&P+?:I*@¯:¢°¼P-¯aE/;+**Y
C*
™9ì/£.¼(¤-ۏ£C%ž¢g*4?´9ì)£C¼P¤#Û^®.-¤7½+ŸA¼A¡¤™8*T07j^8
57+84-*>&W`+*E)­jY2
>Y24BC?^4?
:84B
!a2K57"B
j4?f5#$\
02I
I^8@+*E`F8@j
&(2+
T+O%2+=Y57-?-$"-?%;84B
!"0
!"+-6I04*
2*
&(2+
4*
b$`*&38K*+E
SbZh3FKhVUW.a*@,$%07?kE:;fh3FKh­+*Y57
Y
Y&)Od,$%07EI»7¢.¤Ø.¡£:*4?ˆíN½+ŸAœŸ¡*£T+*?\*4?d20%
?*V+07+
<$I8+)*4?a+2*)?%-
3
#+C+
M>8d8K0#E;îC¤Ù4-Ÿ>+*;07.&P!ÀN&P2
DE"ï-ŸÙ4-Ÿ
*+*Y2?`:54*+Y8a
<?9d8a.24**U7M>8
4œØðg+*Y*@07
5
@&P*I8@!"02%C*
\M*H%
?iE
íN£+Ú+¼PŸb¢.£\*+a!"Of8"
2a8*a!""&(!ñ*+aM>
8
?%—k+#.
*
b$d"C8d"8I!"I202%;+*EF8
.&ij
I2
V&P*>Î-*UN+24BU-FWH-U4?:e2%02%
*+/0%+
57'84B'8V+*)Ij$KM>8+J*%
!@
d
4*
U3IHUW*"0%#EJ“fJ0+#K8
KM>
8
8K&P
M>
TCB
gò™ó¹ô Qbõ<ö+õ#ö÷
÷
÷
ö+õ Rø#UM>8+K8I$%!J57
ù õBú 0+#;8I0%+a*&"
2U48Y8Y+*K
j>$"&D
4
!"
H<VB;0%#CûE)F8
6/8=b$0%
*Vj
d2
@&P24?Z
Z*8+J?BC^˜4MÝ24*dn üB~n”ýB~E
eT8*8+N84?kU-8
02N*4?`B5+;.NTjK
8>0>&i25+6&k)02%E/h6+O!"0
U#*"02%
*+;84B;!:$:jI&)*;
N,MV"&/8+K02%NH<;B
5KMV2?`8<8;&P
M>
T+N&'jJ2

Q ”R
ò´ó¬ô Qbõ#ö+õ<ö+õ R öQþJöõ#ö.õ R öBQbõ#öCþJöCõ R öQbõ#ö+õ<öCþ Rø ö
M>8+ þ ?T8g5ˆ&J*2EæF8g.O+2
+!:#
J*&h3FKh™?
+CBJ84BU)_*5^*&;&P2
UV
*+T82?M=:&P*^
;*&K"
02%"H<+@57+&(djE
һ8KDW?+++?84B'H<K
D!"
=&(3=K07+
-?iU
8a8=04BL*j2
/!:$I
5
=8+*6jE
Sb`??%
TY8N
O:b$07+V&'+*>?.57?`57B<U7»ŸœŸb¢
ÿg¢.¯"¡£C¿ª*+^!:$c57ˆ0+-^
­h3FKhŽ*C08DEÝF8
+!"07#W*W2'0-?%2?K?%2
86+2#D07+
-?
*&)`h3FKh[+O%2
`&P*;2K
`8&(
M>:07+
-?iE
3.3 Communication Media
€V!"!J2
*
`#2%;-J2?+
4D!"!a2*
!"?%EZ;
V0
*"&N89Ø.œ¯:¢Y2+d.@M=^98
*!"I!"?
2!dU?d
3?%
4Bˆ+*;?`&(!ÀE;š`+
?%ˆ*+@57*8@!".+a?[J07*+a4?%98:
ù !".? ú +2T
3?%
4BEKš`Y0
$#U78
!"?
2!Ž0B-?)8N.=!"+?"+2==T-
?@
H`&/a++;+2>
?%++!"
?kE
N2!"
Y®œ*¼AžÜؼAž¢.¤4½C¢.Uk!"+
T
K:
+
g&Kœ*¤¿Y*
L?
+2‚/2!"
*œž 4¢T¢.£C£¡£CØ!:Ã*,$ˆ<
`
K+*$
\07+&(!Ê8"!"+‚V2!"
\¾6$%¸#
"&A*2aMV:?
û Î%J+*J84<:902%U398+$g_*
M$YjU)B
8K57
@*&3*.8d07.-?kE
!J20
:2?Y&;<
\
[C?%+J\!"+T8T?*C Q 8\2d0%5+! n ± ~PR.Eæ€V!"!a2
B
´!"?%LZ!a2
579°¼(ØCŸA£C¼ Ú+-Ÿb¢°:TM>8C?f0B&P!‘&P2ETF/$0
$g8
!"*=84-
JY07B+N^C8`2 ² €V³«?^a!"++
[C8?
4B
² €V³ Q 2
95?%
\!"!J2
*
\C84
N8
0;?%2I!"*IC*G"YB$4R.EN2%
89&P2^ˆ4*$
UNMg5C+^8\
!"0
!"#CB
?.C
572N!"!J2
*
`!"?@?%
52
iU7?d2I
!"0
j4?dC84BC+.¸*
g&6!"!a2
B
9!"?%L-EN³
!"!J2
*
"!"?%U%*+>*
M$+
<.O*+$";*
H<I07+W
02% Q 07
5$"¼P¤ *œž ¼ °RD*4?8600
*
a578%
*
>?07+4?+->*&'8;,$%07&/0*&P*!X&A*2E
3.4 Composition Rules
F8>&P
M>
a2
07+
&L$"8N+*&W
?T+*=!"07
N:5%C
\@
<*3h3FKhC*08DE;Î-!"K5
K2
Q E %E
i
02%=*4?:202=07*=&'^+*;82L?:57++?kU
?BC* ,$%07I82?Z57"!:B.8?iUW+E R¬B:!"!"g9!"
?BC*˜BM¬!"-?%
;*4?^*Y2!"?^
!"0
$T8+E
Xh3FKh´*C08Þ´
ad04 Q )ö RM>8+ ó 8;+>&W<+
>*4? ¬Q ¬R Q R6
8;+>&
?.?`?%E6™.;*&/.N>d5#
$ ªó!"#%$& ö
Q ± R
M>8.c
6!"07?@&iK04B"&k8>OJb$%076*&D+*
?^8C*I!"!"$T*+E' ;J+N&/+!"!J2
B
!"?%L-E3F8DUh3FKhd*C08JÞd
=ž¢ Û<œž%
&86&(
M>K8L?%
ê ޏ+#C
>J*2
,$`+$%
U
ê 8I2%Y`îC¤Ù4-Ÿ>+*K*:»k¢.¤Ø.¡£:.Ui?`8
202=*&»k¢.¤Ø+¡*£@*+;*aîC¤Ù4-Ÿ>+*U
ê 8J2Y\í>½+ŸAœ*Ÿ¡£^+*I*fï-ŸÙ4-Ÿ+*U3*4?
8202%=&Kï-ŸÙ4-Ÿ>*+NB@í>½+ŸAœŸ¡£J+*
ê »k¢.¤Ø.¡£d+*a8<"9
02K&(!Ê8.@*+U)*4?
íN½+ŸAœŸ¡£@+*;8Ba202@*8+;*+E
h'
4*$Zh3FKh¬*C08JZ+O%0%Y?2?*+$#UW E Ed:*
!"Y*+;!:$^57K0
B?iENND80
*&6*\+*
(
) «Ba?%*?d5#$ * Q ( R Y,E +;K84B*#$`,MVT+*
* Q ( RB"&8J!"a,$%07"?ˆ!a2K+!"02%a8@!"
&P2+
DE­F8:5
9?
ª
Tg!"*
B©&(\£¢bÙ7ž ¼A½Cœ
°#¢.Ÿb¢.£C¯J¼P¤¼PدJE)ŒN0
@?%++!"
!X
fn”•*~'CB>84*>&'bM
.N
* Q ( RVjU%8+$T0%-?2+?#
k2
E
4. FAULT TREE SYNTHESIS
S,"86+
iU^
*
8!Ò&P*>2%!:BN&A*2;%
2.`&(!ÀJ?24?*#>!:007?^h3FKhC*08d
>&P*!J2
*?\*4?9?++
57?iE;F8ICBY&A*2I+CB?9
;0%
#?^dJ+
N&)¾V#d*
8
0E=F8&P2
>
?++
578M¬&A*2
98I+O%2%90*&(! !:$^
?d
&A*2)Y8V&(2+
4*
b$@*4?J2!:B$I-
*
V*&48
07j*
U4AE E/J$%!Ò&P
2EV¬+2
<K*
8!
07.C*98Y?0
B$<?9h3FKh©*C08ˆ!"-?%W:0-?%2Y
$%!ñ&P2:E´F8d0%5
!ñT?%+j4?[!"d0%
$
57
MKE
4.1 Problem Formulation
™?%2?#N!:007?dh3FKhC*08/.'01$6U
++CB?95-$
8$#8
;*
8! ?%+
57?`
gn
”•*~ Uk*4?^N
>
<9*
Q •<R
.,02$\ó 4Q 3!57686ö 3!968 R ö
M>8. 3!5768 ó Q #
à ;:K1R )8=+6&k<+
+V*4? 3!968 8>+V&D?E/S, 3 5768 U-à¬)8>+V& ² €V³;<U :¬
68N.
*&WC84*
U-? )8>+V&D+*=?@!"?-U-V?+j?
TÎ-+
:•-E ƒ%E6c<++O>= ) 3 5 68 M>
8=kó Q@?ö ( R/!"*384B
*c*+:*"!"?%2! ( @!:007?Z\+2+ ? E_N[?
? = Æ ó Q@? Æ ö ( Æ R
A#) 3 96 8 = M> 8 = A EKó FW:Q =
Å ö2= Æ R.CBU B=Å UDó @Q ? Å Lö ?%( +Å R.UWbMTC
++;
07
5
@*
*&/!:00
%Å E Æ
ê '¦6¡Zœ<½+Ÿ¡£CØJ*d!:*007?[8^!" ² €V³YU38^j
.`?
<+^?BCgZ89+4?c4?©ZC84*+;
-<
<?kU-AE 2E D Å ) à™4F
? E Å ö E Æ ) IU#8
=Å ó QD Å ö E Å R
? = Æ ó Q D Å ö E Æ R.E
ê ï¤7¢œ<½+Ÿ¡£66!:007?@T ² €V³aU-VC*!"?*CK
^C84*AUDAE %E D Å ) à Hö G Å ) : ö E Å ) ö I Å ) ·Uk8
= Å ó Q D Å ö E Å R>*4? = Æ ó @Q G Å Hö I Å R.E
J C*0C
8 . 01$ 0.<8J2+2%C6?07?
K57+bM
N!"07#NN07j?`
`8K2!:*007?^h3FKh[C08DU
ÞVE
Ž&A2J:
Jd0%#C*
[&;¾V#
*[*
8
0
*!"g&A*2:<+-E©h4*2:<+- A *9¾V#
ª**5
M>8
.8ZC*H<:*2I
L
K óÀô*ý ö ”*ø#U3M>8[+<#KCH<+Y8
2ˆ”U6AE E A óʔU)8^+074?
ˆ&P2J84a#2%?iU
+-<+$#UNM>8 A ó ýZ8ˆ*07?
_<#^84*`*
#+2?kEˆF8:+a&aڜؼ ½:<#
M7N¹?%
4Ba8:02%
+<#"a&P2>E)Sb^2NU454*
K<#=*07?
N&A*2/Y$%!·!"07#U2.8a3
.
=23
+!"!J2
B:.8
E/ª&A*2;#C
=Y
2
02V<#U#*#>#U#
?^"Ÿ¡CÙ7ÜbžO¢ ¢+žD<#??"5#$
>8&P
2I&W8K$%!dE
A $6FE)8F^8&P2a0%b
dD?%+<+#=
57
4@?%8B*MÝ
8:&A*2@&54*^!"07*
# Q 54
K&A*2CRN!:$T
?`@8K$%!æ&A
2E>™&A*2
+J
!"07?9*&"+&Û<œŸb¢.>
Ø PBQ=E«<* (SRF) PTQ©8
*ˆ#*?f¾V#f$%!a572 U7Uk?\8;Y2%02%#
AVR E´“´8ªˆ
8#`*52d&IC*
DUMVdM>
N$©8*T
+<# A R ) P Q U'&=I
8@202K#K&> Q 2L1#2BR;<B
(WRX*) PTQVEE);Fd8N
0+2, NMVY[ZX<+\]- PTQX^M7M N[Y ZJ?+
;+86+;8N8
K022%602<N#6# (R
A )
*&!"a*UDAE E A Å ) PTQÅ UD*Ka*&V8a5
@<+-UkAE E
_YZ
A ) M N E ² C8[<* ( R a
?[9¾V#
*[&P2+
`
8Å *J!"02I8T*
2T&N8T202a<# AVR <[8
2>&'8K02%><#E/™&(2+
/
_7Y Z ;?%+j4?`*
Q ƒ<R
_ Y Zaa KXb
cdK
M>8+
e g
ó f M Y ZfiI8"-2!J57+I*&;
02K9* ( R E\F8
&(2+
]
_WY Z &;<*+@
©d&P2@+^8@\+ ^+
+074?%+"57+,MVg8:¾V#
*[
"0%#C*
Z4?
8&A*2>0+#C*
Zn”ÁB~ E
X&P2@+
hÊ*©57:&P*!J2B?"ˆ?+?iUV+$%
*C08
Q ÁR
hºó Q P Q ö M N ö P b R ö
M>8+;
P Q 8;+>*&W+
iU M N 8N+>&D54*<#U
*4/
? P \ Q PTQ/MVN6,R /PTQ©
N8I+;&V?+?d?+
+
b^8@<.+E:;g?F
j P Y`0I&=+
jdó Q (lk ö (Sm R62.8"84B (Sk) P Q ^M )N b 8;2;<++O"4?
(WmX) PTQ[=8
HT<++OkE
„vBp n'Ë(uq ‰it+†tuqgu%|ktL
É op¼ ¢.¤©œJ®œ*ž Ÿ;Ÿ¡ž¢.£œ*¤Ÿ;Û£œCÙq
ß . 01$sr
Ÿ(ߢ@Ÿ¡CÙ7ÜbžO¢ ¢+ž)O¢ ¢.¤Ÿ A $ § œ¤7°`Ÿ(ߢKÛ<œŸb¢a¦'ß-¼ ½Cßg¡-ŸÙ4-ŸAØY¼PŸ
¨ r Û#¢.¤4Ü
¢.£œŸb¢\œ@®œ%ž ŸKŸA£¢>
¢ h ó Q P Q ö M N ö P Rdœ¤4°[œZ½¡£.£¢.Ø Ù%¡¤7°#¢.¤4½C¢
¯@œ.#
Ù _7tª 3u5768 cvPBQ r ؝½Cß9Ÿ(ߜ*xŸ w b
à :z
ê Ÿ(ߢYØ+¢.ŸN¡®Yڜؼ ½@O¢ ¢.¤ŸAØ M N ¼PؼP¤gÚ+¼ yB¢½+ŸA¼ ¡*¤ˆ¦/¼PŸ(ß:z
{%F;œ¤7°@¼P¤4°¼ ½œŸb¢.؟(ߢ)®œ*¼Až -£¢K¡®£¢.Ø.¡-£½.¢.ØK¼(¤dŸ(ߢ
œ£½Cß-¼PŸb¢½+ŸA-£¢
_7t Q =AR r ¦'ߢ.£¢=)ó Q D ö ER r £¢.ŸA-£C¤Ø@Ÿ(ߢYÛ<œŸb¢ (S|}) PTQ«Ÿ(ß%œŸ
¼P¤7°¼A½Cœ*Ÿb¢.Ø`Ÿ(ߢK®œ%ž ŸA¿O~¯J¼(ØCØ+¢°_¢H#¢½+%ŸA¼A¡¤™¡®dœ<½+Ÿ¡£ r E r ¡¤
€;;‚ r D
ê _ t Q A= R r ¦'ߢ.£¢{3= ó Q@G öI R r £¢.ŸA-£.¤ØaŸ(ߢKÛ<œ*Ÿb¢ ( | ) P Q Ÿ(ß%œŸ
¼P¤7°¼A½Cœ*Ÿb¢.Ø^Ÿ(ߢI®œ%ž ŸA¿O~¯J¼(ØCØ+¢°fŸA£œ*¤Ø¯J¼PØؼ ¡¤¬¡,®`Ÿ(ߢ9°<œŸœÜ
°#¢bÙ¢.¤7°#¢.¤4½+¿ r I r ¡¤g½Cߜ¤¤k¢+ž r G
Sb>82L?^57K?T84B>80%+<k<# A f
$ *d57I?.
ê
<?T5-$"8!:*#+=&'8h3FKh[!"-?+7&3!"02%C*
iE
h*3+O!"0UBC8@e2%02%'*+3
/**C*?K5#$8V?%
.
M>8a8!"
!J2!™-2!a57+'*&k;.24**'84B36!a2W57=5
I20k?*>
T*C?+6YC8
<NK++>.24*
T*&D8>%
W
*8!dE=Sb`8I07?2
2!X+O!"08
;-2!a57+>
Y”U
AE Eg*@
*@:&N8",MV\;+2**J82?Z57:20k?*?kE
€V+074?%
$#U $ 2?^57K?%+
57?`*=8202%=&3
eƒ]*:M>8+"A 8:
02Y*:8@&P
2:\20k?B@8
,MV";.24**„ {:;â;ýJ*4
? :;âI”E
S,+C*AU?%
."!:$gM=*-ag07+&($_?—k++-a0%
<)<+-dY8+Y07.a*&8@$%! +07
@&A*2E=h>8
=DU4MVKCH<80%b
D+<#;;
02=J8&A*2 K$%-8
>05
!dE
4.2 Fault Tree Construction Algorithm
F8/&A*2W
+C#3?%0
$%!"#kC*08DWU .'01$/U.O8
5D
2.2CD?+074?%
N*!";+*;
`8>*C08iEF8
?+074?%+$J0B-?V8;B$:
&P*!:*
:Y52
?@8
&A*2NI&)@$%!æ!"-?+?`2
@h3FKhVEkF8-2UJ2%
<J0%#?%2Y!"0
!"#?`
ˆ
*8…
! oN¢.¤7¢.£œŸb¢›Dœ%ž Ÿ Ü
£¢C¢VNCB+V8)&A*23
+C*-/*C08@?Y.C*=>&A2
K*&'8K$%!dE
F8)*8!™57
D5#$;+*
*4???
;2+b?+j?
0%+<V+<#U A $cd8@&P2
aF
h^E9F8T?
+a0*
-?8;0%+<k<#NY&(2.`*&W8;+2**=&A2
<+-E;
*8…
! oN¢.¤7¢.£œŸb¢›Dœ%ž Ÿ £¢¢T0%#?%M>8g.
*
^25;&PC8fN+24B Ei† ) ‡ . 02$ 2
8/2%
<607+C*
DU#¥aO¢ ¢+ž
¡.Ù4»Ú< £¢¢.E)Z&A*23
Y ² €V³YU
C84AUi*+24B*K8*C?-M=*a
"54*a<#E;F8
2%
9?=M>8d:Î%;+* E k ) `
;2#+?
´89&A*2d
+C*#9?+0
$!"+-T*C08iEæF8g25^&
*.8N+24BJ*:!a5
?f
[d<BU6Y07j4?Z5#$ˆ8
?++UJ&P*!æ<# A $)E
xTË(}4p4v*y(tÕ'‰
q ˆOo>¢.¤k¢.£œ*Ÿb¢›Wœ%ž Ÿ £¢p¢ ŠVw
‹+|Dr3sWt}É .'01$ ö A $
Œ sWtr3sDt,É h
 u%|Wu-vB†tu%ÇW†s'Ë(Vt ŽvBu-u Q . 02$ ö A $ {R 
h*% Ei ) %1‘1$6U
ÐD.s D  ) à·57KE uE =’†V“)ó Q D  ö E  R ) 3 5768 U
A Wó·èTu-×7uËLp4r)‰D”s nBŽv*u-u Q = †•“ R.‚
² 4?`h
A $ ó«?? J * Q A $ ö _7– 8”— ˜V™ “ Q A  RR.‚
š {;|'z  u%|Wu-vB†tu%ÇW†s'Ë(Vt ŽvBu-u
;
8!Ô¥aO¢ ¢+ž
¡CÙ4»Ú< £¢C¢f
T8\\*&Y89&A2^
$%#8
6#7M>8
.8T07+&(!"68N+2
iE/“´8TK<+.O
= ) 3!5768 *&'*C08 .'01$\
-?kU#8
*
8!Ò+*>*4?
+IT25
h a›Sœx *
=bEKF8
25%J
8\0074?%?
% hTU#*4?I807+C*
J/*
?a2%$aJ*.8a
02%/&
<+.F
O =D2#4aÎ-*iU E ) {iU-
)C8?kE3“´8+^YÎ-*
=C8?kU82%d?E
F8@
*
8!ñ¥aO¢ ¢+ž
¡.Ù4»Ú< £¢¢TjI+C*I
604B
C!".+EˆF8:07.C*
Ù4£¢ § E-¨:+2I8:+@*&;2+
Q +!"!J2
Bd!"?%LR>*&6+*{
E7Uk?f¯J¼P¤#›6¼P£¢ § E-¨K+2
8:%2!J57+I*&N02%Y8*J*:??fdj^*+žE7U)4?
?07+4?>d8j
@2
KŸ& E7E=F8Y-2!J57+=*&)02%>
j@*Z.I
K
<ˆ5#$d8J?
+Y*I^04BC!"+.M>8
8Yh3FKh_*C08d
;2+?i'E ++O-UJ#;<#N&)25%
+ž
h a›Sœx K.*?g?ˆT-2!J57.*&<+-54?ˆˆ8
b$%07`&K+*:2#+?©*9*
Z+B?iEªh:+O*!"0
U
+<# A Í :+B?´^[Î-*^5
\<#:
& E ) c
*ZN+24BK5
@<+-
u& E ) E@º*IY*+24B
5
"<+-074?%IdZ*5C*+
Z*&>T&P2Y
g8
+++!"C84*
%84BC?%M*=&8)6*+24BO E/F8
*
8!Ò??6g!ï ¡©<BNM>8@# A U A U-? A Q &i*0
0
5
BR.EZ+U A Å 074?%Jˆ9&P2Å @Æ &>8 ² Í €V³YU A Æ
;a&A*2N84*;?%+
57>M>8`8K.;>jK572
*&V!"
"H<ESbŸ& E ) {iU78J*8!À+!"
4B;8
+2
9
!"!"?%*$#E
xTË(}4pvyLtÕ3¢
q ˆ ¥aO¢ ¢+ž
¡.Ù»Ú< £¢p¢ ŠVw
‹.|Wr3sWt„É =Dó Q D ö ER ) Q £
à #R ]3 5 68
Œ sWt+r3sWt}É h a›Sœ 
èTu-×7uËLp4r)‰D”s nBŽv*u-u Q =A%R 
Ði+% eϤ
ó f D ? A Q E•R f‚
Ði+ Ôó I¥ j1P ¥4? A Q ER.‚
h a›Wœ‡ óº€6*N+ ² <# Q =AR.‚
€6B ² 24¾*
² # Q DkR.‚
A Å óº
€6BS,02%Ch42
² <# Q E7U e9R.‚
AST& Æ óº
E ) F8 A Í ó«€6*BÎ-*C¾
² <# Q ER.‚
ST& E %2‡VF8 óº€6*;+2*C¾V
² <# Q ER.‚
h%a›Wœ‡) Wó·?? J * A Q h%Í a›Wœ‡ „ö ¦;§JQ A Å ö A Æ ö A Í RR.‚
ST& E ) dF8T+2
h ¨›Wœ ‚––+!"
4i*U4?T+2
h IF© ) D ? A Q ER.U
E© ª
ó D ? A @Q I © R.‚
€6*+S,02Ch4*2 ² <# @Q IF©ö =AR.‚
AS& © ó«
Q = | « † | ó Q D ö E © R ) D ? A Q =ARRF8
AW| « † | ó·è^u-×7u%Ë(p4r/‰D”s nTŽvBu-u Q = | « † | R.‚
h% =p¬ó @Q G*Hö I © R ) D ? A Q =A2R ­ Q :£\ô I © ø*R.U
A =¬ óºó«€6€6**BŒN€V8!"*S,¾0*2 ² ² <<+#- Q @Q= ¬G R.R.‚‚
A †Ió«€6*ŒN!";+* ² <+- Q = ¬ R.‚
AW®¬ ó·;?? J * Q ¬ ö ¦;§JQ ö † RR.‚
Ah% = D ? Q =¯¬R.A U
A A®
®{ó·) èTu%×7A u%Ë(pr)‰D”s nTŽvBu-1u °= ‚
A®
®•±
² ?dh‚
A ® † ó·;?? J * Q A ® † ö e#ƒ² –³ Q A ® RR.‚
² 4?^h
A © óº;?? J * Q A © ö eƒ^² –H´ Q A ¬ ö A7| « † | RR.‚
² 4?^h
A ó ?h ? aJ ›WBœ ‚ Q A Æ %ö ¦ â ² –‡µ Q e ö öQ A © RRR.‚
.Æ 2
š {|'zªèTu-×7uËLp4r)‰D”s nBŽv*u-u
h=*.8^!"?
2!Ž8*=+=*+} E"*4
? E © U%^02%
&P2
'<#'
'.*?K&P*'84B'!"?%
2!dEDF8602%W&A*23#
07+j4)84*V!"?%2!·M=*V25=I?%
+H<:B68
026&D*+, E7E/F8*
8!Ý[email protected]%)&P*V8>
#B
*&78=!"?%
2!dUBM>8+8+)V
).@57+bM:*+)
Î%
"MV`*2!""&A*=
U/M^*T
$f+?ZM>
8
89.^0-?2
gT*:0-?2
[ˆH<iE­F8
:
T
8
8ˆ+</5C+
DUW4?dMV@?T*K?+8J
#+
!"+.8
>*&/JN;.24**?%-
8K*!" ² €V³«-J8*?d!"!"*$:;&/
N
;@.8k84*
++K,Md+*J*+a?—k+# ² €V³ETSb&V8@!"?%
2!
`ª8\!" ² €V³aU=_
!"!"?%*9<+-T
`.*?­*4?
8^
8!Â
@
?+2
<$[9&P2%8+"?<+0[84*
<+-E9F8^
*
8!]8Z+*"*[<#I&P*@*.8[?
= ¬ U4?TN??%=C8`+<#@*©!ï ¡´<BE6;T<#=+*?
*Y8
I07
#Y!"-?
K8@&P+Y84BI!":?*C`&(!]+*
C* = ¬ *=?+
<.?@J*+=
C+{
=kó Q D ö ER/M>8
[email protected]?[
J&A*2,$[*@8:!"*`*+@&P
+O%2%EŽF8\
02T?^`
= ¬ *\&P28+`?<+07?
5#$:K2
<;
7@¥aO¢ ¢+ž
¡.Ù4»Ú< £¢¢.EVF8IîC¤Ù4-ŸL›Wœ%ž ¶Ÿ €'¢.¤Ÿ
<+- Q A © RV
=8T!"07?^*&'8;
*)„í ·;¥Ž*&'8;&A2
<+-T&Y8ˆ*
2^0
*9+C*
_8g
02EÝF8
C8
J&V8:„í ·;¥Ï!"07
Z?.&(!’8Y&A*)
#
2!"0
i‚#C84
8&A*2V!"-?%M>
4
!"04*+)8M8
<+-T!J2T57ˆ+!"07?iEŽ^8\4?ª*&Y8ˆ
*
8!dU
*
984*:89?c
<N&K8d Q 4?©&L! 8
#;<+-.RV
N+B?^M>89z
¸3ïK1 €·<BE=F8C
¸3ïK1 €«<*
2.&P2'T+B@T¾V#
*f*
8
0ˆ57+,MVgT25+
&/
02E)F8
N
NJ+ K*07?J8S,02
?©>5+T*+UM>8
.8©84<`0*=jg2+E­š`
07j
$#U<8
¸3ïK1 €ª<*1-2'84B Sú ¹ 2%b*&( º ú 02
<+-!J2;#2%I57+&P*"ˆ2%02%<+-^#+2IBK84*
<BEaSbK
#2
<aTJ8*M>8 ¹ »
ó º7U78
K
!"0
j4
^f%í ·N¥À*@*4?dM>8+ ¹ óҔUi8
!"0
j4;^*¬Ÿï ¡
<BEŽ;^´.O*!"0
U>
+
º™…
ó f D ? A Q E ) ¼•R fV? I ó
f I¥ j1P ¥4? A Q E•R f E¬F8_&PT8½
¸3ïK1 € <*9*&I.
EkU ¹ ó
Q ºF¾ IÀ¿ ”BR.E9F8
a!"*K84BJ& ¹ H<YBTa0+-
*"8`
02J&K*+
E7U688Á
¸3ïK1 € <Bd&P*T+*
E
0-?%2+@&A*2# A óݔa*2%02%E ² #
$#U78
8!Ž!"07/25%/+B>8=$%!·&A*26+E
4.3 Algorithm Complexity
¹!:*007?Th3FKhC08d
;
<9*;
02=^¥YO¢ ¢+ž
¡.Ù4»ÚÜ
£¢C¢.E=;+*;
`8K!:007?^C*08\BIC<.?`
\"?0%8
j=C<.k.8!";&L!Ï*+24B;+*@N.E
;N*.8\*+98K!:007?`C*089
-
?dY8%28
2%
f*&N¥YO¢ ¢+ž
¡.Ù4»Ú< £¢¢.U/T25a&V<#
K+*?
?^*?^
T!"!"$#E ² *.8^25+#C*=
<
=&W&A2
<+->84B+#
52K"8K&P
2Y&/84BK.
C+E
F8)jW+<<*07?'=8/&A*
2%&%86.3
C*
`8K!:*007?^h3FKhC08DE ² *.89*+
CM>
'84<
ˆj:
<=&A*2:<+-U68+.&PU="!"!"$[+!"0
+O%,$
¦@Q ”BR.EcF8^?_
>:\!J5
*
_&;8T&A2
<+->84B!a2N#2%&(8Y+*
C*I"&A
AEh42
<+-V*8+4?:
<kB*`*+>V+
-J28
02H<;TjUD8 ² €V³Ž&(IM>8
C8ˆ8@*+I
C*
:!:007?[&P
U>:8`+2**^8*C?-M=*^&A
:f20k?*
8:*+E`F8"+?f
</2Y
[`!"!"*$\!"0.O%
,$T& ¦@Q ”BR.E6F88
C?T
<k-C*
><#&(;?+.!"
M>8+d^
02%=a8K+*NC
=&A2,$#U>
^8
M>8.`*©*+@C^ajT?2:98^CHf*&
%
02%KH<+E^h42I<#Iˆ8@8C?ˆ+<6?07?gf8
-2!a57+V*&W
02)J*T+*>CU%?@8+$:B+*?
?g*?g
g8ajK2
<J
/ˆ¥aO¢ ¢+ž
¡.Ù»Ú< £¢¢:
*.8©02%JM>8ªˆ!"!"$f!"0.Ob$[& ¦@Q ƒ:R.U6M>8+#
ƒ
J8^<+C*d-2!a57+Y&02%J07+@+*"
C`
8
!:007?`h3Fh*C08DE=F8&P28d
<+W2.N25+
84BI?.+!"
Y8M·&A*2I<+-;#2%K&PK8a2@+*
84B6&(?%
-8N+*=
CE)F8;+4?@
4J¥aO¢ ¢+žÜ
¡.Ù4»Ú< £¢¢a#+2N*>8
>07
#U4?^I@25%*&3&A2
<+-YB^?%<
07?g&P*a8:02%d8"2%T+*U/
84*);!"0
+O%,$I& ¦@Q ƒ:R.E)=W807#/M>8.V8=*
8!
C8Jd*".U38"+2
[?Y
:"*+
*8BY"
02%N<#>:&(28+?%<
0DENh2%8+!"*U
f8J*"84*Y*Z*+Y
K0
*? Q AE E:
I+#C
K8
*!"J*+K?07?
Uk52%
#B?ˆˆ^?%
—k.# ² €V³KR.U
8V256&860
3M>
%5768V*!"U<*4?IC8Y25+
*?:?
-?24*
$#E3F8>2
Y!"!"$J!"0
+O%
b$J&(
?%<
0
:J25&(;C8\.;CK
`8K!:*007?
*C08^
¦@Q ƒ Æ R.E J <+^KC*7-2!J57.6*T& *+C
Z8T!:*007?ˆC*08DU38"2
\!"!"*$g+!"0
+O%,$ˆ
¦@Q ƒ Æ R.E)F8.O+2
:
!"!"0
+O%,$"&(=8
*8!
¦@Q ƒ Æ & Rk
+V*.8I*<¥YO¢ ¢+ž
¡.Ù4»Ú< £¢¢=
¦@Q ƒ & R.E3F8
07.&P!:*a&)8a
*8!’
+!"02%C*
$9+O%07
*4?T8
8
$T?%07?#^8-2!a57+*&3.N?T!"!J2%
*
9C84*
=^8!:*007?^h3FKh?+
0%DE
5.
bS ©CASE
8:.STUDY
ªM90%#:8d*\&Yc-<.?©07%
?%2
2!Ê#$%!dU)9!"!"Z+O*!"0
"84*a
@2?Z
8"&P?%54*.Hg#6$%!]?!:*
DEˆÎ-:!:-24*
$g
2+?^&P2
;;*I8
8$d?%07?#>`25-Ã+
<K&P+
*J2.8*J07j?f&A*
2%`!"-?+U/$+!Ê07
*$#U64?
8N4*$V Â 24?%+C?
*&D8>$+!dU#K!"0
+OJ.O*!@
0
V&P*)8
'MHKMV2?Y57=?G"23
24BE/e2%/+O!"0
)
!"0
28J
?B8>1#24*b$a*&78&P2/=0%
?%2?g5#$ˆ2Y$%#8
Y
8!Ê5#$ˆ07+
iE^F8"
.K
?++
57?d5#$d*gh3Fh_*C0898*;84;@07$
!"
*>a8*=*&/2%!"*25$%!"V84B>#C*T&P?%
5CH9#
+UWK8M>g
gh'2"•-EYSb+
K*&V8+
07©Î%U3:S,02Y*+Y84BY07+&P*!"aa
+C*
4?fY8@+2#I07?2
2! 07
iU',MV
?%—k+#IF'*Hg*+8*K0%#bM`+#
+ Q <B
*4?Zj4BR84*a1#2^?—k+#@+!"02%
907M+U)d>
5+a8*Y
+Y8"202%Y&N"&>8"#
+ Q 8
jU%M>8+<.
5R.U7?`*\e202>*+>84BN?
++`8ˆ-I+
¬[,MVc?%—k+#9N+24BEÏF8
.O+2
:0LB&P*!Ò
V::h'
2 ± *4?@
&i8+
² €V³/*4?K,MV;!"!J2
*
YC84*
E ² *.8 ² €V³c!"0
a&)8I8Y*UkM>8
ù ² €V³ý ú *4? ù ² €V³ ±Bú ?-
*+24B ù N€F=ý ú *4? ù N€F” ú 07++
<$#E
F8T&P2
J
+C^1-2!"#a2?Zˆ?%
<:8T$%
8
;*&'8;?24?*#N?0$%!"#+
;&b
ê +O%2%a8J#@*8!‘
g5J&V&P2
Q ?%+
&A*2N5784-
.R
ê Z8:0+:*&d
² €V³X&A*2U)2*C#"8
+O%2%
T&i8.
*k25.=&i8h3FKhfC*08iU-
84B;*>
;K&'8I;+2**=N20k?*?kE
F86.
*<+W!:4?*78).O+2
K*&*D'/0
*&
ê 8S,02N*+ ù xS + ú U
ê 8<BY+#
+ ù h'³ +; ú U
ê 8N5+;*+ ù NŒ¾ ú U
ê 8Ke202%>. ù e³F ú E
Sb[04B+2*U6
_*C?+a9jU6. ù ‡S + ú 1-2a8*"B
*VbMI&k8;Î-*V?%
+68=?*CKE)F8NN5+
*+;*`jM>8dK*&3>bM@
02=0%#E
N`f+2U;8\$#8
T#07+&P*!"T89?24?*#
!:*00`?%+
57?ˆfF'5
`”E"SK
M*8Z*^8*8
j+#
+ ù h'³ +N& ú >*>0
*?iU572KNM>*
07+j4?:604B&k8;+
*7+E/F8
!:*00
2*C*
+?95-$d2+
\"
+CB@
² €V³º&A*
2%EIM=
+<+U38.T
Ydj+J1#24#j4*
Z*&>8T?*:&>&A*2
+Cd*.8+<?Z5#$g8
a0*
2B"
!"0
!"#C*
DE\h*
xT‡tp4v
Î ² +ý
Î ² +a”
β + ±
S‡+
h'³+;
h'³ +N&
;Œ;¾
e³F
N€F=ý
N€F”
{KoXÃÄ
Å
{Ko^ÈÈ
Å
{oXÃdÓ
Å
Å
Å
Å
Å
Å
Å
Å
Å
Å
Å
Å
Ž† n'Ë(uªÈ4É/Æ"u%z's'|WzW†4|kt9qg†r'r3yP|D}ªp4…YtÕWu[r/u%|'z's'ËPs'q u¨Çiw
†7qˆr3Ë(u7Ì
8
U48&A*2I$%#8
>#'
;2?kU4+O-C.TJ&A2
0%#C*
d&/8BM™*4?TM>8#$:8$+!æ!:$"&P
AE
F8&P2
>K
>8`$%¸?`5#$"8KS!æFW#
H%an m*~ U7
!"!"+#k?
52%?@5#$@Sb+!XÎ-&(bM=BS,07*C*?kE
;!"9!:*-$f$%J8*@57^07.&P!"?iU/MT0+-
8.N8N+2+4*$
U-8N?%074?5
,$"4*$
U%*4?@8
-,$`$%E
5.1 Cutset Analysis
F8Y2%+K*4$%
07+!";:?+-&L$d8Y!a5
4B
&i#/8*6+C*;$%!«&A*
2%E6F8>
V&i!"
!:
2%+Y&(Y8"!:*007?ˆ074?%2
2!‘+O*!"0
"
a0%#?f
F'*5
± EYF8J!"Y&68Y54
Y&A2K074?9^8*C?-
M=B&A*2=
dÎ-*U;+2*U ² €V³U%>+!"!J2
B
C84
EI¾V?\ˆF'*5
± Uk
;
*K8*:
² €V³
&A*
2%d
?%J\8T$+!µ&A*
2% Q 2!"
98T0
<+
<+-6
)8=&A
2;&D
k*+24BV
@8N
<:$%!º!:0
0
#R.E6š`+*+U%J
C844&P
2
?aY$%!
&A*
2%ŸE +*>8*V.8&P
26M+N*04BV*&D8=&A2
578B-
J07j4?[ˆ?-T8`?%0
$%!"#a$%#8+J
*
8!dE
5.2 Dependability Analysis
F8I?%07?5
b$`*4*
$%
N!a5
8
5
,$`
&P*
!:*
`*572!"07#V
#K8N
L*5
,$T&D8N$+!dE
Î-CB
ª&(! 8[!"% !".* &A
2 Q šdF=F=h/Rˆ?™8
!"* !"+ 04* Q šdF=FŒRY*&;8^5
T<#Ef;!"
8+N!"+
U%8$%!ÀšdF=F=h
N+!"02%?iE
S,[8J!"0
`+O!"0
U/Md*2!"`ˆ$%!µ&(+
!"d&
Áýýq
ý ÈÉWÊ ?lË U'
V5
:<#K8BJ8"*!"@
L*5
,$#U/*4?
MI*2!"8
I+O%07#L*W?%
52
i
ªâNâ%P @Q Ì E Ë A7AV(¨A j2ÍRWó ± ýýýÈÉWÊ ?lË
´â>â §J@Q Ì E Ë 7A AV(¨A jÍR'ó´ü>ÈÉWÊ ?ÎË÷
F8KS!æFW#
H%N+2U
ªâN%â P Q Ë º Ë Í A I RD󷔔ý-”BÁ ÷ ü-”>ÈÉWÊ ?lË÷
¾*?@J8
!"0
=07j*
iU<M>2?J+O%07.)
LB
5
,$a8
8+)84a84*6&i
>!"07#/&A*
Q ÿ_ = i›
§ ؿ؟b¢.¯
¨ Ï ± ýýý 82%CR.E>“ZI2?9
T+
¸a8*N8
2%´0B-?T[?2>?24?#:$%! ªTMVH<+
07
#E)U2!"
@J04*UMVK2L?^+O%07+
ªâ>%â P Q Ë º Ë Í A I sR Ь” ÷ Á Ñ7ªâN%â P @Q Ì E Ë A7AV(¨A j2ÍR'ó´•ýýFý ÈÉWÊ ?lË<÷
-
aY&P2+M­*
M>N+O%07+
!"#KM>
8^?—k++-
±
”
ƒ
•
m
Á
Ä
ü
ë
”ý
””
”±
”•
”ƒ
”BÁ
”m
”BÄ
ӟ
ӑ
±ý
±”
±±
±•
€V2%+
Î ² +ý Î ² +a”
Î ² +ý Î ² + ±
Î ² +a” Î ² + ±
² €V³ý ² €V³a”
² €V³ý ² €V³ ±
² €V³a” ² €V³ ±
€Va”
€Vý
N€F=ý N€F”
€Vý ² €V³a”
€Vý ² €V³ ±
€Va” ² €V³ý
€Va” ² €V³ ±
Î ² +ý €VY”
Î ² +a” €Vý
Î ² + ± €Vý
Î ² +ý ² €V³a”
Î ² +ý ² €V³ ±
Î ² +a” ² €V³ ±
Î ² +a” ² €V³ý
Î ² + ± ² €V³ý
Î ² + ± ² €V³a”
N€F=ý ² €V³ ±
N€F” ² €V³ý
Ž†<n3Ë(uˆÓiÉaoYsWt‹u-t‹@…p4v:tÕWu\r/u|Wz's'ËPs3q uiÇi†7qˆr3Ë(u7Ì
!"O%T&I!"*ˆ*`
T
5
g!"07#"[+O%0
98
?%
d0:nӟB~ U7>8BM>`57
BMKE
5.3 Sensitivity Analysis
F 8@Sb+! FW#H-a
d0%*-?+B
2KSb!"07C*a!"+
T&P*d$%!":2?+^$%
EŽF8\S,!"07*C+9!"+
+?%+?^
^2N*4*
$%
>
24?%;8K¾*
M=bÑ/.89Sb!@
07*C\n
””+~ U)¾V-54*2!‘S,!"07*C9n”BÄB~ U)*4?g8"h2+
Ò)$©S,!"07*C+Zn m*~ E«F8\¾*
M=bÑ/.8¬S,!"07C*
!".V380545
b$a8*38V$+!·&A
)572>+
*D+2>+>#C
a8+<#&A*
UM>8^8<#&P
*E[F8T¾V-54*2!]S,!"07*C+:+0#Y8:
-,$
*&D8;$%#
! Â 624
5
,$JM>
8"07++VY.86"8
+<#V Â 624*
L*5
,$#U-*4?a8>h2
Ò6+$@S,!"07*C=
?%
*>*^+<#V Â #
52%
:a8N$%!X24*
L*5
,$#E
N38M>@
@FW5
>•-U<2%32U?
BM>8
.8a54*=+<#
+#
52@8:!"I`8:$%!Ê?%074?5
,$g54*?Z
8K
<^S,!"07*C+!"+
E6h!Ý82
>
?`
`8
C*5
UVa
*$a84B ² €V³ ± -
523!"';8
$%#
! Â V?07?*5
b$#U#*4?J8=2
V
#VM>8:2%
.O07++C*
K
² €V³ ± #C
K!"@*+K8 ² €V³ý
* ² €V³a”U/8-2Y!:H-
² €V³ ± 98
8$[+
=!"07#
c89
<©$%! !:00
g8M>ª
´F'*5
[”E™F'5
9ƒ
0%B%?%N8I!"07*CI*2>&P;8K5
a+<#;
9*.8
*&&P2^?—k++-@$+!Â!:00
EªS,8TC5U8`j
+
2!"9
8Y5
Y<#EF8YL*8%a+
2!"BY8
¾V*
M=,Ñ3C84*\S,!"07C*!"+
&P**.8`!:00
E
5.4 Design Exploration
F82
=*&W8K$%>8BM´8*888>+#
5
%2 VY$%!Ý&P
2IB;8 ² €V³™&A*2U-8"8
&P2
U#8=.8
3&A*2U-?a8=
*V
!"0+)
V?%2VI*+
2**)&P2
E6e2%3j)B!"0/B)!"0%B%
$%!ºšdF=F=h
MV2L?d5-%
2$`57K@
!"0%*
5
,$9*&38 ² €V³U44?
_+C=*&*.8*&8T!"07+-EZF8
JMV2?
*$
{;×7u%|kt
N€F=ý
N€F”
Î ² +ý
Î ² +a”
β + ±
² €V³ý
² €V³a”
² €V³ ±
€Vý
€Va”
Ç'sW‹‹uË(ËLw
ÔKu%‹u%Ë(Š
ý-E ýümë<ÁmÁ ±
ý-E ýümë<ÁmÁ ±
ý-E ± ”BÄ*•ë-”•
ý-E ± ”BÄ*•ë-”•
ý-E ± ”BÄ*•ë-”•
ý-E ± mýümëm
ý-E ± ”BÄ*•ë-”•
ý-E •ýƒ•ƒ<Äü
ý-E ± ”BÄ*•ë-”•
ý%E
”BÄ*•ë%”•
N€F=ý
N€F”
Î ² +ý
Î ² +Y”
β + ±
² €V³ý
² €V³Y”
² €V³ ±
€Vý
€VY”
ý%E ýƒ•ƒ#Ä*ü
ý%E ýƒ•ƒ#Ä*ü
ý%E
”ýümëm
ý%E
”ýümëm
ý%E
”ýümëm
ý%E
”•ýƒ<•Á
ý%E
”ýümëm
ý%E
”BÁ ± ”BÄBƒ
ý%E
”ýümëm
ý%E ýümë<ÁÄ
ÓJyLv|2n'†s3q
ý%E ýý<Äëmü-” ± Ä
ý%E ýý<Äëmü-” ± Ä
ý%E ý-”ëë ± ý• ±
ý%E ý-”ëë ± ý• ±
ý%E ý-”ëë ± ý• ±
ý%E ý ± •ëýƒ•ü
ý%E ý-”ëë ± ý• ±
ý%E ý ± Äüüü*ƒ#Á
ý%E ý-”ëë ± ý• ±
ý%E ý-”BÁë•m ± Á
ÓY†v*Ë(p%éJw
„ v*p4‹‡ÕW†|
ý%E ý*ƒ<•ƒ<Äü ± m
ý%E ý*ƒ<•ƒ<Äü ± m
ý%E
”ýümë<ÁÄ
ý%E
”ýümë<ÁÄ
ý%E
”ýümë<ÁÄ
ý%E
”•ýƒ•ƒü
ý%E
”ýümë<ÁÄ
ý%E
”Á ± ”Ä•ë
ý%E
”ýümë<ÁÄ
ý%E ýümëÁmÁ ±
Ž†n'Ë(uTÖiÉ%ÔK†v*y(p7s'‹‹+qgr/p4vBt†4|'‡udqgu-tv*yP‡‹Ip…!n'†‹u:u%×7u%|kt‹Ì
Ó †‹yP‡d{N×7u|kt ¹
a
Õ †rVÈ ¹
Õ †r/Ó ¹
Õ †r/Ö ¹
Õ †r'ç
ý%E ý<Á*ý%”BÁBƒ
ý%E ý<Á*ýý<ÁÁ
ý%E
” ± ƒ<ëüü
ý%E
”ýýý-”
ý%E
” ± ƒ<üüü
ý%E
”ƒëümm
ý%E
”ýýý-”
ý%E
”ƒëümm
ý%E ý<ÄÁ ± •-”
ý%E ý<ÄBƒ<땕
ý-E ýÁ
ý%E ý ± Á
ý%E
” ± Á
ý%E
” ± Á
ý%E
” ± Á
ý%E
” ± Á
ý%E
” ± Á
ý-E”Á
ý-E
”
ý-E ýÁ
ë%E ü• ² bým
ë%E ü• ² bým
ý%E ± ƒ<ÄÄÄ#”
ý%E ýý-”ëü
ý%E ± ƒ<ÄÄÄ#”
ý%E ± ƒü<ÄÁ*ü
ý%E ýý-”ëü
ý%E ± ƒü<ÄÁ*ü
ý%E ýý-”ƒ<ü-”
ý%E ýý-”ƒ<ü-”
Ž† n'Ë(uÊçWÖ
É Óa†v*Ë(p%éJw„vBp7‹‡*ÕW†|׋+qgr/p4vBt†4|W‡uñ…p4vØn'†4‹yP‡
u-×7u%|it‹Yp7|ªz'y’ÙVu-vBu%|itJ‹ŠW‹tuq qg†r'r'yP|W}7‹Ì
2
N
d
+šdF=F=h[&P*;8$%!dE
S,@8
V04*07+VMVB!"*N
#+?:
:+O%0
*I8M­?&L
&P.#/?0
B$%!"#i!:$K*—k++/?+074?5
,$#UM>823C84**
J8K+O%2%d0B&P!dE6h*>8
=DU4MVK$#8
¸?
8;&P
M>
:8K??%
4W?0
B$%!"#
”E>šd0 ± EX“fˆ1#2`8*9*
K+Y+*957g.O.
2?™
´
¹8[0%[&T*-$­bM ² €V³ñ&A*2U
E E'074?%;&P
2=0*+)ô :Iòý [ö :IòY”Bø#U
ô :IòY” [ö :Iò ± ø<Uiô :Iòý [ö :Iò ± ø#E
± E>šd0ˆ•%EKSb\??
9T1-2!"#>gšd*0 ± U7Ma.
1-2J8*:*
N.
*N+*"57`+O%2%?
f
8
0"&N*#$f
+.86&P2
U' E E`+074?-
JJ&P
2I04B+;Wô :{ÈE¨j1j A =Pý<ø#UDWô :{ÈE¨j1j A =b”Bø#E
•%E>šd0[ƒET“Z"2@8"*!"@1#2!"#IY
šd0•-U
52/MVNC84*>8=*V&(2
:*8!ŽK84B6M
J[++$[+!:BT8:074?%2
2!Ê07
_*
2
K;
>!"2%!"#'&L!«8=E/S/j
2
K
NM«ò­ó¬ô Qbõ<ö.õ#ö+õ R öQþJöCõ#ö+õ R öQbõ#öþ@öõ R ö
Qbõ#ö.õ<ö.þ R ö+QþJöþJöCõ R öBQbõ#öCþJöþ R ö+QþJöõ<ö.þ Rø<E
F8Y?%0
$%!"#;$%#8+;
8!À*!"+>8I.
1#2!"#=&P*Yšd0 ± ?\šd0\ƒU7&(+O!"0
I57*2I8
&A*
2%J*&3,M ² €V³;!:H<>;!"07
5
Y@?`,MV:&/8
U3d8@*a&(2
Z+*J*Kj:*4?ˆ"&
8>&P
M>
:*+V:jsE +;+8
U-8;!:*00
I#
#-?2+
98a?0$%!"#;!"I?24?*+$`
\8a.O.
2%g*&=*+UW#
$g8+@BJM«8%a0
I&
*.8^&W8+
*'.E6;
U%
9šd*0d•a4?^šd0^ƒU!@
!J2
B[
J!""?%2?#E\>&(+a++CBˆ8"&A2
N&P*88%Y?0
B$%!"#U?94*$¸+"8!Ï
d8
Sb+!æFW#
H-UMVY5C*T82;*>dF'5YÁ#E
èTu‹yL}7|'‹
‰iŠD‹tuq‰ÕڎXŽYÇ
Q 2CR
šd*0f”
šd*0 ±
šd*09•
šd*0dƒ
””ý%””E ü%”
” ± m<Á ± E ± •
” ± mm•%E Áü
m ± ÄÁ ± E ü
Ûds3q/n/u%v"p… )Ü †tu%|'‡Š
Õ¹yP|'yAqg†Ë Q š`.
oasDt‹u-t‹
±•
±•
±ý
”BÁ
4?CR
± mý
± mý
± üý
± üý
Ž†<n3Ë(uÝkÉcÇDp4vZu-†4‡*ÕÝzDu%r'Ë(pŠWqgu%|ktˆéYucr'Ë(p4tZtÕDu´‹ŠW‹t+uq
ÕڎXYŽ Ç{3Þ tÕWuˆ|is3qq/n u-v:p4…‡sWt+w‹u-t‹l)Þ †4|WzctÕWuˆu%|'zDwtpwu%|'z
ËL†tu%|'‡Š4Ì
FW5
`Ád8M>a8*Y8T??
4*?24?.$f
!"0B<+
8:šdF=F=h´
$ˆ!:B
4*$#UiM>8+I8J2@&=^!"a
52J*J&P2
©
*
8!µ$%
?@!a2C8Z57++Y2
J
8
=+O!"0
E3F8?% ?@*+$T8;2=&'Y
!@
d$%
I&(I8Y&P2Y?+0
$!"+-?g
4?%*8@*
++$g&(!‘?
98T+Y920k?*
d8:+2*E
h%!X8;2U4>
>
*N84B>84-
J!"*0
*NJ57
.O+2?"T8;*!";+O%+2
^*C8+2%
?VY
+
B
EcF8
"
&(!:Bª*
M>"8^$+!Â?++"
C?+*—¹57+bM+ª8\?+
?c0
*
™*4?©1-2?ª*
++$:828`8+#
+E
һ8
Y!"*K+O%0
CB
\?.;*I07
5U78&P#+2
*&D8
V04*07+
VI8BMc8MªY2%!:BN8;*4*
$%
*&D8
$%#8+¸+?_$%!µ?+0
$!"+-EZFW\8
@?iU6
J
@M8
a84*=MV$%#8
¸?TC89??
D?0
B$%!"#4?
C8J&A*2/
J
/84*T”=!"
-2E'F8DU8S!«FW#H-
d+CBK8K*4$%
N+2>`+>8 ± !"
%2%E
6.
F 8
CONCLUSIONS
04*07+0%#?\ˆ*00C89T.C*a2!:*
$dI&A2=&P*;a
<+`$%!dE/F8K00<*.8^
N5?
T&P!:*kš`#€;U%h3FhVU#
--?%2?JK$#8
¸N&P2
6
.C#
!"0
!"+-CB
E3Î%
+N8N!"-?%4*"
<;
aI0%+
+K
#+0%+C*
`&38BM­+!"07#&A*D?T8!:
&(
CB
\&)84B;&P
2J
98K&(2.4*b$#Uk
\57I2?9
0%B%?%/83&P24?*
D&P*'83&P2D/$#8
W*00C8DE
Sb^8K2%!"
<?!:
DU%25$%!X200
+>82?^0%
-?`e;
4* ² 1-2
0!"#Jšd-2&P+2%+ Q e ² š9RY0*YM>
8
24BC#?c0%07+
Eª-Z\&P!:*=0+-CB
ª*&
8"&A2J
+C*T1#2!"#Y?Z007+
@*
M>J8
e ² š``+&($984B8+
200
.I*J+!"0
#EI“Za
-?%2?ªZ
!"0
9\2?%$[
2C*98957+j:*&
2`00<*.8i[*ª
%+?c07?22! #
+E«F8\
+?d07?2
2!ÀY24?%$TM=*
!"0
I28\"
?B
8K$%-8
N
*
8!æ$#+>!"0
+OT28`@+O%+
I2%
+L*
!"JZ8:!"+8-?%
*$fM>8
C8ZM=*a\!:H<@8:?
0%#>&P*B&P+b$`+
*W$%!"&A*+4?:&P*!:AE
һ
8f2Y˜4MKU'MV:57
+<"84*I8"$#8
J*4?Z*4$-
*&'Y?+T8%28:!J2
0>+CB=*:57;07+&(!"?
!"*I+G"
#$`89&/8Y?
ˆ$%#8+U&A2I
2+
iU*4?´*4$%
TMV+g?9!:-24*
$#E¹S,c&P+U>8
˜MÀ&L!Â8`0
Bª$%#8
@g8d++CBª&K
&P2
`ˆ&(9
02^
#8\Sb! #
H-`M=*d!"0
+$
*2!:*?kEYF8
˜4M«
Iˆ
#+
^00<*.8ˆ07+L*
$
M>8g8"*2!"*
<"?!:
g`4*5
:1#2
.H9.O0
C*
M>8a8&A*2/
+C*-6?%!"+
@*$J
J8=?+@+$%
E
h28.!"UD8
a007+Y&P#+2?ZZ8"-
52
a*&
&P2
D/$%-8
D
86?%
K˜4Mˆ&(!¹
5
,$C4?-
07
-E)F8>N&k8>$%#8
6>VK!"02C*
4
$
.O07+
<@*
8!’84BC<+I:!:007?\h3FKhc*C08
&/8K$+!À24?%+;4*$
Ee2>&(22KMVH^M>
3??%+
8
)
2N5-$Y?%2
8>!"!"$I1#2!"+-/
!"07?@5-$
8:&A*2"T2+
c*8!dE_F8`2%#@
!"0
+
!"#C*
^*&32%&A*2>$%#8
=*8!Ï*2!"&P
U8M<.U#&P22%NMVHJM>
7*O@8
2!"0
T*4?
+2-a&P*"9!"T?%$%!"
:*C$Z*&N07#V&P2
a84*
!"!"$I#+26J0C.$%!"E'h28+!"UMVN0
+O-?Y8/*00%<C8@5#$a+2#
;&PV?%$%!"
V
!"+-
Z8@&P2Y"90%2:1#2+-*)&P2J4?ˆ2 !"
&A*2!"
<B
9C*+
E;;8.
#+
:*07+;84*
;MV8\+O%0
T
N8Y+C
¸*
g*&68Y!:B8d&P*!J2
*
©&P"8d$%#8
@
+U=578_&PT?%0
$%!"#"*4?
&P*@&A*2@^2+
DU6ˆ8*J8T˜Mæ_*g07
M>8c?%—k+#@&A*
2%d!"-?+a&P*"8^84*C?-M=B`!"07+-
;?%
—k.#=&P!:*'š`<€V;&(>8&(2+
4*
b$#E
7. ACKNOWLEDGEMENTS
“Z)M2?a
H<V;CH-M>
?8V+2+
<?%
2
M>8Zl#a“ª$%#.H-)?ˆŒN
.H\€V
!"&L! ;ŒÐ_ÐW*57C**
T"M+ J +Cš`*^ŒNB.8©C*—3U>07j
$
Œ;!"V572HZ?[F8!:@h28!:*DE9Sb[04B+2*U6Œ;Ð
—k.?\8K+O%07+
J
\8a2J*&V8aS! #H-UWh42
FDNN4$%
U%?JŒ;
CH@€V
!"607+&P*!"?@
8N4*$+
8:&A*2@+@84*aM^$#8
¸?iE[Ñ3
J 2Z*4?
šd*Oc€V8-?%g&L!ñ8 J +C;š`*:¾V+H<+.$cÐD5M+
Z
2!"#C=
©
-f+
*N&(?5CH©8`?E
F8;
02%6&L!æÑ3&(„ ßK2u ßK2¸++U%;
J C2N*4?
€ *à 7 *à 9!:a*I*"**&(2
$9*.H-M>
?%?kE
F8
3M*HYM/2007?Y
@04B/5-$I8>€V#+3&P*VN$%5?
? ² !J57???Î-&L,M=B\?ªÎ-$%!"a2?+@8#
+B
4*
Î%++h24?B
TSFŒ­C*-;€=€VŒ>bý ±± Ám-”ý-U8 J <
Î-$%!"TŒN*C8™€V#+d24?%+^8gš`.#
+
ˆ?%
+?@Œ;+*C8d€V*07CB`*C# ± ýý•BKFVbmmý-U4*4? J %
+C*3š`*E
8.n”.~ašg
REFERENCES
E4¾*
U7YEh+CB U4Ð)E4šd+2%U
YEÎ*
BxÒ;
#
AU7šgE4Ñ'+AU4*4?9Î7EÑ'¸¸
AE
h42
.C#N0*&(!"=&P**2!"
<B&P+b$%+
*
00
*
E4S,`
Wía» €=»U0Y”ÄVý á4”BÄÄ-UDÎ%dlU
€
&P%Uk³KÎ%YU ± ýý•-EkN€=š‘Ñ/E
n ± ~ašgE4¾B57C*HkU7šgE7šd*
H7U7?dYE%K*8-52C-EF8
2N0%5+!æ^&A2
+C#N!"02
%E4^
í Wÿ
)¡¯Ù4-ŸA¼P¤#Û:»%[£ ¢.¿*ØCU ± Á Q± R.
”BÄ-[” á ±± ý%UDl2J”ëë•%E
n •B~YYE¾V-<
U4Ñ'E4€0 U7ÎkE ² ?-M=BC?<U +aE
5#M=*.8U
Ñ3EÐ)E J 2.
U4?TŒYE?KÎ%
!"EF8K$%C82
L*24K,M+$#*>*.E ⣡½+äØ ã6¡,®KŸ(ß¢î €Ÿ€!€U
ë%” Q ”R. mWƒ á#ü•-Uil<iE ± ýý•-E
n ƒ*~YhVE ÒYE¾)C
UiÑ'EaE ² ¸8
C8
iUkÎkiE ß@E4Î%8%C%U
+aEYE4Î%07U?dÎkEF'*E4Sb!"0
!"#
K&P
b
#
-?+>&(;?
52%?^$%!"E7î €Ÿ€!€Ý £œ¤Ø+œ½+ŸA¼ ¡¤Øa¡¤
)¡¯Ù4-Ÿb¢.£CØU7ƒ#Á Q ””BR.
” ±± Vm á4” ± •ü-”U +;B<!J57.”ëëm%E
n Á~a€;E
!:-U4IE J C*2Uk€;EÐW*U
? åJE4Î%*AE
e;—7b
; !"&A2
+C#N.8?2
ES,
€=-£¡*¯J¼ ½+£¡ æiçlçÎè*Ukšd*#*%USbC*$#U4h+524B$ ± ýý%”E
n mB~IS.ESb!ÏÎ-&L,M=BEk›Dœ%ž Ÿ £¢S¢ é[®+¡/
£ ê^¼(¤7°<¡¦/ØU%<
2!"
ü%E ý%ES,*C089ÐD
!"?iUk”ëëü-E
n Ä~IaEÐW*!J57+E%³K*&3&A*2>I$%>&P*;2!"
<
L*5
,$9*4?T*&P.,$`4*$
!E )¡¯Ù4-Ÿb¢.£CUk•• Q ë<R.
”Vü á ± m%U
± ýýý%E
n üB~ ² EYEÐDI*4?TJE J Ekš`+C8!"E4Î-$%C82=?*C
˜4MKE ⣡½+äØ ã)¡®Ÿ(ß¢î €Ÿ€!€U4Äë Q ëR.UkÎ-0!a57+”ëü<Ä#E
n ëB~ ² E4IE4ÐiI?dÎkE<++2?—k.E4€V**4?^257
9.N
#?d?%
E4S,#â=£¡½+Øäã)¡®Ÿ(ߢ)¡¤®¢.£¢.¤7½C¢
¡¤`›W¡£C¯"œžkÿf¢.Ÿ(ß¡°*ØYœ¤7°Jÿg¡°#¢+ž Ø/®+¡£>)¡°#¢.ؼۤ
§
ÿ €6ÿ{
ï =ï6„¥ €/¨U4Î^
%Uk€*&(-Uk³K΁IUl2
± ýýƒ%E
n”ý*~ ² E-YE-Ði;4?"FEšgE#Ñ3*H-E#KBC*˜4M´0%#6+bMH-E
⣡½+äØ ã)¡,®IŸ(ß¢î €!€Ÿ€U4ü• Q ÁR. ÄÄ7• á#üý-”UWšd$ˆ”ëëÁ-E
n””+~Y¾;<E +B%
%EŒN
5
,$d4*$
 ² +$%
07?@&
.2D
E7FWC8
iŒ;+07>ƒU³+,$:&
e
U04B!"#=&/šd*8+!:*
UkÎ-0+!J57+ ± ýý ± E
n” ± ;
~ åJEÑ30?%072
;4?TJEÑ3*H<+E™!".8-?T4?T#
2007=&(;!"-?54*?^!"b2%!:B?:&P
2
!"-?+>4?^+—k+N$%
;*&3
+
:?
E
⣡½+äØ ã)¡,®IŸ(ß¢î €!€Ÿ€U7Ä*ë Q ë<R.
”•ý<•Á á4”• ± ý-UWÎ%0%!J57+”ëë-”E
n”•*~a€;E7Ñ/
U4Ð)E4€*
AU7?dYEÎ%
* Ò
+#
AE
h4*2 +C#;?+0
$!"+-&3!a57??%?:&(bM=BI&(
b+
<K !"&P?54*.H#-W*00
B
E
S,#
â=£¡½C¢C¢°¼(¤-ÛØa¡®;¥a¢.ؼۤdíN-Ÿ¡¯"œ*ŸA¼ ¡¤fœ¤7°\ k¢.؟V¼P¤
€%£¡.Ù¢.U7Ñ3B
UkhCUh5%24*$ ± ýý*ƒE
n”+ƒ
~ ß@<E ß@<E Ò)!J2AU%lE4¾;E2DU
? ß@ElE4Î%2
*DE
;2%!:B$#8
N*&'&A*2>=&P*+!"02%+54*?
$%!"E4î €!€Ÿ€Ò £œ¤Ø.œ<½+ŸA¼ ¡*¤ØY¡#
¤ ¡>¢+ž ¼ œ<Ú+¼Až ¼PŸA¿*U
ƒ<ü Q ƒ#R. •ë*Wƒ á<ƒ<ý ± Ui!a57+K”ëëë-E
n”ÁB~K“·E ² <E Ò)$#UhVE4hVE J ?57.U +YEYE%Œ;57+U4*4?
JEhVE* E4h42=K84*4?57#H7E4FW+.8
iŒN07
+³;Œ ² J býƒë ± U³aE4Îk<E +2
*>ŒN2**$9€V!"!"
DU
-
d&)FD.8
*DSb&P*!:*
d4?T#2!"#
€V# U4l<-2*$ˆ”ëü-”E
n”m*
~ +a<E Ò
M4?8!diU Òa<E ÒaEÎkE4ÎB!:%U?9šgE J E7Î-8iE
¡>¢+ž ¼ œ<Ú+¼Až ¼PŸA¿"¡>® )¡¯Ù4-Ÿb¢.£aœ¤4q° )¡¤ŸA£¡ži»¿*؟b¢.¯JØU
<2!"Kü%<E +*8`;
4?kU4N!"+C?*!dU7”ëü<Ä-E
n”ÄB~K“·E%“[*UlEÐD!:DU?`Ñ'<E ÒV*
2iE4ŒN
5
,$
!"07C*K*&3!"07#=
da!"0.O^$%!dE%Sb
¡>¢+ž ¼ œ<Ú+¼Až ¼PŸA¿"œ¤7°Jÿgœ¼P¤Ÿœ¼P¤4œ<Ú+¼Až ¼PŸA¿@»¿¯;Ù%¡Ø¼P-¯JUÐD
;
U7€
&P*%U7³ÎIUl-24B$ ± ýýƒ%E
n”ü*~YlE4YE-“ª$%#.H-D?^ŒIE+572H7E%ŒN?24?*+$"4?
5
,$^C?%—k=&P*B&P+b$–*!"
d+
*'$%!"E
S,9îC¤Ÿb¢.£C¤7œŸA¼A¡¤7œžD»¿*ØCŸb¢.¯aØK»7œ®¢.ŸA/
¿ )¡¤®¢.£¢.¤7½C¢.U
Ñ3*-?+UŒN8-?S,?iU³K΁IU;22 ± ýýƒ%E