$B!V0l@87|L?%F%9%H$7$?$N$K!"$I$&$7$F$b%P%0$,$J$/$J$i$J$$!#!W$3$l$O!"$9$Y$F$N%=%U%H%&%'%"3+H/
$B%P%0$N$"$k%=%U%H%&%'%"$G$b!"%j%j!<%9a0$k$o!"kdbg$j%f%9%h9`l\$r%/%j%"$7$f$-$?$o$:$@!#$@$,!"$=$n$[$h$s$i$o!";emm=q$d@_7w=q$+$i=q$-
$B%F%9%H$7$F$b8+F($5$l$k%P%0$O!"%=%U%H%&%'%"$r;H$$9~$s$@$j!"$A$g$C$HJQ$o$C$?A`:n$r$7$?$j!"$"$kFCu67$G$N$_H/@8$9$k$b$N$,B?$$!#$3$N$h$&$J%P%0$O!"0U?^E*$K%P%0$r8+$D$1$h$&$H$7$J$$8B$j!"8+$D$+$i$J$$$b$N$G$"$k!#(B
$B%=%U%H%&%'%"%F%9%H$b!"AOB$@-$rLd$o$l$k;E;v$G$"$k!#%=%U%H%&%'%"%F%9%H$K4X$9$k9-HF$JCN<1$h!"k-$+$ja[a|no$g!"%p%0$r8+$d$1$i$l$k$h$&$j%f%9%h$rao$j=p$7$f$$$+$j$/$f$o$j$i$j$$!#$=$l$,$g$-$j$1$l$p!"%=%u%h%&%'%"$nije$7$J$$!#(B
$B%=%U%H%&%'%"$N%F%9%H$O!"@5$7$/F0$/$3$H$r3NG'$9$k$?$a$K9T$&>l9g$H!"%P%0$r8+$D$1$k$?$a$K9T$&>l9g$N!"(B2$B$D$N%"%W%m!<%a$,$"$k!#$i$a$i$n%"%w%m!<%a$gnw$`$+$k$h$c$f!"%f%9%h$n$d$jj}$o0c$c$f$/$k!#(b
$B@5$7$/F0$/$3$H$r3NG'$9$k%"%W%m!<%a$g$o!"$^$:!"3ng'$9$y$-@5$7$$!x7k2l!y$rdj$a$k!#$3$l$odl>o!"MW5a;EMM=q$d5!G=;EMM=q!"@_7W=q$J$I$H$7$F!"%F%9%H9)Dx$K?J$`A0$K4{$KJ8=q2=$5$l$F$$$k$G$"$m$&!#%F%9%H$G$O!"$=$l$i$NJ8=q$K5-=R$5$l$F$$$kDL$j$N7k2L$,F@$i$l$k$3$H$r3NG'$9$k!#(B
$B$3$N%"%W%m!<%a$o!"$$$o$p!"7k2l$rcf?4$kah$_>e$2$k!"7k2L;X8~$N%F%9%H$G$"$k!#(B
$B$3$l$KBP$7$F!"%P%0$r8+$D$1$k$?$a$N%F%9%H$G$O!"$I$N$h$&$J%P%0$r8+$D$1$i$l$k$+$r!"M=$aDj$a$F$*$/$3$H$O$G$-$J$$!#$=$NBe$o$j!"%P%0$r8+$D$1$k$?$a$K2?$r$d$k$+!"$rDj$a$k!#;vA0$N7W2h$G$O!"$J$k$Y$/%P%0$r8+$D$1$i$l$k$h$&$J
$B$3$N%"%W%m!<%a$o!"$$$o$p!"
$B0lHLE*$J%=%U%H%&%'%"%F%9%H$O!"2<5-$n$h$&$jn.$l$g9t$o$l$f$$$k!#(b
- $B;EMM=q$d@_7W=q$r4p$K!"%F%9%H7W2h$rN)$F$k!#(B
- $B%F%9%H9`L\$rNs5s$9$k!#(B
- $B%F%9%H9`L\$K=>$C$F!"%F%9%H$r
$B%F%9%H9`L\$K$O!"9T$&$Y$-A`:n$NZ7k2L$NMs$K(B$B!{(B$B$7$m$^$k(B$B0u$,5-F~$5$l$k!#%F%9%H$O!"%F%9%H9`L\$r$9$Y$F%/%j%"$9$k$^$G9T$o$l$k!#(B
$B%F%9%H9`L\$K$O!"4|BT$5$l$k7k2L$,=q$+$l$F$$$k!#$3$N7A<0$o!"7k2l;x8~$g$"$k!"3ng'$n$?$a$n%f%9%h$r9t$&$n$ke,$7$f$$$k!#$@$,!"
$B4|BT$5$l$k7k2L$,L5$$$H!"$C$?%F%9%H$7$+9T$C$F$$$J$$>l9g$O!"0lDL$j$N5!G=$O@5$7$/F0:n$7$F$b!"$^$@$^$@%P%0$,;D$C$F$$$k2DG=@-$,9b$$!#(B
$B%P%0$r8+$D$1$k$?$a$K$O!"%F%9%H9`L\$K4|BT7k2L$r=q$1$J$$$h$&$J!"$5$^$6$^$JA`:n$r$9$kI,MW$,$"$k!#(B
$B$H$O$$$(!"$d$_$/$b$K%=%U%H%&%'%"$r;H$C$F$$$k$@$1$G$O!"%P%0$O:,@d$G$-$J$$!#3NG'$N$?$a$N%F%9%H$HF1MM!"
$B=i$a$K!"$I$N$h$&$JE@$K$D$$$F$I$N$h$&$J%F%9%H$r9T$&$+!"%F%9%H$NJ}?K$r@v$$=P$9!#
$B3NG'$N$?$a$N%F%9%H$H0c$C$F!"%P%0$r8+$D$1$k$?$a$N%F%9%H$G$O!"@52r$,L5$$!#;W$$$D$/8B$j$NJ}?K!&
$B@5$7$/F0$/$3$H$r3NG'$9$k%F%9%H$G$O!"G
$B$@$,!"%P%0$r8+$D$1$k$?$a$N%F%9%H$G$O!"I,$:$7$b@=IJ$=$N$b$N$r;H$&I,MW$O$J$$!#L\E*$O!"%P%0$r8+$D$1$k$3$H$G$"$k!#$h$j8zN(E*$K%P%0$r8+$D$1$i$l$kJ}K!$,$"$l$P!"$=$A$i$r:NMQ$9$k$Y$-$G$"$k!#(B
$BE57?E*$JNc$r$$$/$D$+>R2p$7$h$&!#(B
- $B%3!<%i%l%s%e!<(b
-
$B$7$?J}$,!"%P%0$,8+$D$1$d$9$$$3$H$b$"$k!#Nc$($P!"GSB>@)8f$d>uBVA+0\$N;EAH$_$K@x$`%P%0$r8+$D$1=P$9;~$O!"$3$l$K3:Ev$9$k!#(B
$B$?$@%=!<%9%3!<%i$rfi$`$@$1$g$j$/!"%=!<%9%3!<%i$+$i5u$k%7!<%1%s%9?^$d%9%f!<%h?^$h$$$c$?@_7w?^$r:n$jd>$9$H$$$&$N$b!"NI$$J}K!$@!#@_7W%U%'!<%:$g:n@.$7$??^$h8+hf$y$k$h!"%p%0$,8+$d$1$d$9$$!#(b
- $B%=!<%9%3!<%i$n=$@5(b
-
$B@=IJ$=$N$b$N$G$O$J$/!"%F%9%H$N$?$a$K>/$7
$BNc$($P!"GSB>@)8f$dDL?.!"%9%l%C%I$J$I$N%?%$%_%s%0$K4X$9$k%P%0$r8+$D$1=P$9;~$O!"%=!<%9%3!<%i$n?o=j$ke,ev$j(bsleep$bj8$rf~$l$f!"(bsleep$b$n;~4v$rjq$($d$d%f%9%h$7$?j}$,!"%p%0$,8+$d$1$d$9$$!#(b
$B:G6a$N%=%U%H%&%'%"3+H/$G$O!"%f!<%6$,;h$$$d$9$$%=%u%h%&%'%"$r:n$k$?$a$k!"=>Mh$N$h$&$J5!G=Cf?4$N9M$($G$O$J$/!"%f!<%9%1!<%96nf07?$n3+h/$,9-$/9t$o$l$k$h$&$k$j$c$f$-$?!#(b
$B%=%U%H%&%'%"%F%9%H$G$b!"%f!<%9%1!<%9$k=>$C$?%F%9%H$,9T$o$l$k!#$3$l$O!"3NG'$N$?$a$N%F%9%H$H$$$&$h$j$b!"%P%0$r8+$D$1$k$?$a$N%F%9%H!"$H$$$&l$K$J$C$FA`:n$7$F!";H$$$K$/$$$H$3$m$,$J$$$+$rD4$Y$k$N$G$"$k!#$3$N>l9g!";H$$$K$/$$!"$H$$$&$3$H$O%P%0$H8+$J$5$l$k!#(B
$B$3$N%F%9%H$G8+$D$+$k%P%0$NNc$r$$$/$D$+>R2p$7$h$&!#(B
$B%f!<%6$k$h$c$f;h$$$k$/$$$h;w$c$?nc(b
- $B%\%?%s$r2!$7$F$b!"2hLL$K2?$bJQ2=$,$J$$$N$G!"$A$c$s$H=hM}$,
- $B$&$C$+$jJQ$J?tCM$rF~NO$7$F$7$^$&$H!"4JC1$K$O$d$jD>$;$J$$!#$9$4$$D9$$;~4VBT$?$5$l$F$+$i!"$h$&$d$/$d$jD>$9$3$H$,$G$-$?!#(B
- $B%(%i!<%a%c%;!<%8$,i=<($5$l$?$,!"%a%c%;!<%8$rfi$^$:$k$&$c$+$jjd$8$f$7$^$c$?$n$g!"$i$&bp1~$7$fni$$$+j,$+$i$j$/$j$c$?!#(b
- $BF1$8%(%i!<%a%c%;!<%8$,(b3$b2so"b3$7$fi=<($5$l$?$n$g!"$$$i$$$i$7$?!#(b
$B
$B%P%0$r8+$D$1$k$?$a$N%F%9%H$G$O!"8zN(E*$K%P%0$r8+$D$1$k$3$H$,:GM%@h$5$l$k!#$h$jB?$/$N%P%0$,8+$D$+$k$N$J$i!"%F%9%H$,A}$($F$b9=$o$J$$!#(B
$BC"$7!"?7$?$K;W$$$D$$$?%F%9%H$O!"B>$N%b%8%e!<%k$d5!g=$k$be,mq$g$-$k$+$b$7$l$j$$!#$^$?!"%j%9%/$dm%@hey$r9mn8$9$k$h!"8e2s$7$k$7$?j}$,ni$$$+$b$7$l$j$$!#(b
$B$=$3$G!"?7$?$K%F%9%H$rDI2C$9$k:]$O!"%F%9%H7W2hA4BN$K$b8+D>$7$r$+$1$k!#(B
$B$"$kFCDj$N5!G=$d%b%8%e!<%k$kjp8~$7$?$j!"hqmqbp8z2l$,dc$/$j$c$?$j$7$j$$$h$&$k!"a4bn$n%p%i%s%9$rj]$a$d$d!"
$B%P%0$r8+$D$1$k$?$a$N%F%9%H$NMh$N%F%9%H9`L\$K$OJB$Y$i$l$J$$$O$:$G$"$k!#(B
$B$7$+$7Mh$N%F%9%H9`L\$K4^$a$F$$$k$3$H$bB?$$!#(B
$B%P%0$r8+$D$1$k$?$a$N%F%9%H$Nl9g!"%F%9%H9`L\$K$O!"M=A[$7$?%P%0$rN"JV$7$F!"!V(B$B!{(B$B$7$m$^$k(B$B!{(B$B$7$m$^$k(B$B$,5/$3$i$J$$$3$H!W$H$$$&4|BT7k2L$r5-F~$9$k$3$H$,$G$-$k!#(B
$B$@$,!"$I$&$7$F$b4|BT7k2L$r=q$1$J$$
- $B%F%9%H$N5-O?$H$7$F$O!"5u56$NJs9p$H$J$k!#(B
- $B%F%9%?!<$k$h$c$fh=dj4p=`$,0[$j$j!"%f%9%h$n:f8=@-$,l5$/$j$k!#(b
$B$?$H$(%P%0$rM=A[$G$-$k>l9g$G$b!"$=$l$@$1$r3NG'$9$l$PNI$$Lu$G$O$J$$!#4|BT7k2L$,=q$$$F$"$k$H!"M=A[$7$J$+$C$?LdBj$,5/$-$F$b!"8+F($7$F$7$^$&$+$b$7$l$J$$!#(B
$B%"%W%m!<%a$n0c$$$rl@3n$k$9$k$?$a$k$b!"3ng'$n$?$a$n%f%9%h$h!"%p%0$r8+$d$1$k$?$a$n%f%9%h$o!"(b1$b$d$n%f%9%h9`l\$k$^$h$a$j$$j}$,ni$$$@$m$&!#(b
$BEE5$DL?.Bg3X$N@>9/@2;a$O!"(B@IT $B%=%U%H%&%'%"%F%9%H!&%_!<%f%#%s%0(b(2005$bg/(b5$b7n(b31$bf|(b)$b$g9t$o$l$?4pd49v1i!v%=%u%h%&%'%"%f%9%h$nf08~!w$n;qna$ncf$g!"%=%u%h%&%'%"%f%9%h$na@$$$h$7$f!"2<5-$n(b4$b$d$n;ke@$r5s$2$f$$$k!#(b
| $B;kE@(B |
$BFbMF(B |
| User-view($B%f!<%6$n;ke@(b) |
$B%f!<%6$,2?$r$9$k$+$r9m$($k(b
|
| Spec-view($B;EMM$N;kE@(B) |
$B;EMM$r9M$($k(B
- $B5!G=LVMeK!(B
- $BF1CMJ,3dK!(B
- $B6-3&CMJ,@OK!(B
|
| Design-view($B@_7W$N;kE@(B) |
$B@_7W$d%=!<%9%3!<%i$r9m$($k(b
- $B@)8f%Q%9%F%9%HK!(B
- $B>uBVA+0\%F%9%HK!(B
|
| Fault-view($B%P%0$N;kE@(B) |
$B5/$3$7$?$$%P%0$r9M$($k(B |
$B%F%9%H$NA@$$(B:4$B$D$N;kE@(B
$B$@$,!"$3$l$i(B4$B$D$N;kE@$NCf$G$O!"(BFault-view($B%P%0$N;kE@(B)$B$@$10LCVIU$1$,0[$J$C$F$$$k$h$&$K;W$&!#(B
$B%=%U%H%&%'%"%F%9%H$NJ,Ln$G$O!"%&%)!<%?!<%u%)!<%k7?3+h/%b%g%k$k$*$1$k3+h/9)dx$hijZ$H$N4X78$r!"2
V$B;z7?%b%G%k$H!"(B3$B$D$N;kE@$N4X78(B
User-view($B%f!<%6$n;ke@(b)$b!"(bspec-view($b;emm$n;ke@(b)$b!"(bdesign-view($b@_7w$n;ke@(b)$b$n(b3$b$d$n;ke@$o!"@=b$%u%'!<%:$nmw5aj,@o!"4pk\@_7w!">\:Y@_7W!&$lBP1~$9$k%F%9%H$G$"$k$h$&$K;W$o$l$k!#(B
$B$3$l$KBP$7$F!"(BFault-view($B%P%0$N;kE@(B)$B$O!"%F%9%H$KNW$`%"%W%m!<%a$ri=$7$f$$$k!#(b
User-view($B%f!<%6$n;ke@(b)$b!"(bspec-view($b;emm$n;ke@(b)$b!"(bdesign-view($b@_7w$n;ke@(b)$b$n(b3$b$d$n;ke@$k$d$$$f$b!"3ng'$n$?$a$n%f%9%h$@$1$g$j$/!"%p%0$r8+$d$1$k$?$a$n%f%9%h$h$$$&%"%w%m!<%a$bi,mw$g$"$m$&!#(b