S d tha vt l C hai loi d phng vt l: nhn rng hot ng v sao lu chnh.

Nhng li th v bt li ca tng phi c cn nhc khi xc nh loi d phng vt l s c thc hin. u tin chng ti s c gng hiu nhn rng hot ng bng cch nhn vo Triple Modular d phng (TMR) trong mt mch. Xem xt mt mch vi cc thit b A, B, v C lin kt trong chui. Nu tt c cc thit b ang lm vic ng th kt qu cui cng s c chnh xc. Nhng nu mt trong cc thit b b li sau kt qu cui cng c th s khng chnh xc.

By gi chng ta s xem xt mt mch s dng TMR. Thit b u tin A, B v C c nhn rng ba ln v sau ba c tri c thm vo sau mi giai on ca mch. Ti sao ba c tri cn thit trong h thng ny?

Cu tr li l cc c tri l nhng thnh phn qu v c th tht bi. Mi c tri c ba u vo nhng ch c mt u ra. Phn ln cc yu t u vo tr thnh u ra ca c tri. Nu hai hoc tt c cc yu t u vo nh nhau th s tr thnh u ra. Nu c ba yu t u vo khc nhau th u ra l khng xc nh. By gi chng ta hy xem nu h thng s c khoan dung li khi cc thnh phn khc nhau tht bi. u tin, hy xem xt mt trng hp n gin m A1 khng. Cc c tri s i vo gi tr ca A2 v A3 v gi tr l trong a s. Cc c tri truyn gi tr ny B1, B2 v B3, trong nhn c gi tr tng t nh h s c nu khng c li xy ra. H thng l li khoan dung. By gi chng ta s xem nhng g s xy ra nu mt c tri, V1, tht bi. iu ny c ngha l B1 s c c u vo sai nhng B2 v B3 s c u vo chnh xc. V vy, trong b phim tip theo ca c tri, cc

li s c loi tr v mch s hnh ng nh khng c tht bi. Ta nn lu rng mt li trong V1 c x chnh xc ging nh mt li trong B1. By gi hy A1 v A2 tht bi. Gi s h tht bi vi kt qu tng t, kt qu ny s c thng qua thng qua cc c tri B1, B2 v B3 c gi tr sai. Nu A1 v A2 tht bi vi kt qu khc nhau sau s c ba yu t u vo khc nhau c tri. u ra ca V1, V2, V3 s khng xc nh. V vy, cc h thng TMR khng phi l hon ho nhng l nhng g? Khi xem xt nhn rng hot ng, iu quan trng l phi xem xt bao nhiu nhn rng l cn thit. Cu tr li l c lin quan n s lng kh nng chu li mun. Mt h thng c cho l chu k li nu li trong b x l k c th sn xut cc kt qu tng t nh mt h thng y chc nng. Vi tht bi li im lng, k + 1 b vi x l l cn thit t c kh nng chu li k. Nhng vi nhng tht bi Byzantine, 2k + 1 b vi x l c yu cu. Tham kho Tanenbaum [2] cho mt ng dng nhn rng hot ng trong mt h thng phn phi. Cc loi khc ca s d tha vt cht c gi l sao lu chnh. Kiu ny kh nng chu li lin quan n mt my ch, l my ch chnh v my ch d phng khng s dng. Nu chnh b li, sau cc my ch sao lu tr thnh chnh. H iu hnh my khch nhng khng phi l cc chng trnh ng dng s nhn thy s chuyn i tm kim sot. Khi so snh vi nhn rng hot ng, sao lu chnh c mt li th chnh: n gin. Tin nhn c gi n my ch chnh duy nht, nh tri ngc vi mt nhm ton b cc my ch. Th hai, loi hnh ny d phng vt l ch i hi hai my, mt chnh v mt bn sao lu. Tt nhin khi mt my ch sao lu s tr thnh mt my ch chnh, mt bn sao lu mi l cn thit ngay lp tc. Mt bt li ln cho chnh kh nng chu li sao lu l n x l tht bi Byzantine km. Khng c thi quen kim tra m bo rng chnh hot ng tt. Bt li khc l mt h thng sao lu chnh lun lun phi c tha thun sao lu c th mt hn cc chc nng ca tiu hc. Cng phc hi t mt tht bi chnh l thi gian v phc tp. Mt quyt nh quan trng lin quan n phng php sao lu chnh l khi no v lm th no chuyn sang my ch sao lu. Mt gii php l cho cc my ch sao lu gi tin nhn yu cu nu my ch chnh vn cn hot ng. Nu my ch khng p ng trong mt thi gian nht nh sau sao lu s tr thnh chnh. y khng phi l mt gii php l tng cho cc h thng khng ng b v my ch c th c chy

chm dn n nhng hnh ng lp i lp li. Mt gii php khc l mt c ch phn cng sao lu d phng c th s dng khi ng li chnh. Mt gii php khc l s dng mt a kp c chuyn c chia s bi chnh v sao lu. My ch chnh s ghi cc yu cu vo a sau lm vic v sau ghi cc kt qu vo a. Bng cch ny, nu chnh b li bt c lc no, sao lu d phng c th c a v tm ra ni m cc chnh b ri. N c th kt thc cng vic cho tiu hc v s khng c bt k thng bo lp i lp li. bit thm thng tin v d phng xem i tng Nhn rng.

Cc khi nim c bn hiu c vai tr ca kh nng chu li trong h thng phn phi trc tin chng ta cn c mt ci nhn gn hn vo nhng g n thc s c ngha l mt h thng phn phi chu ng li. L li khoan dung l c lin quan cht ch vi nhng g c gi l h thng ng tin cy . tin cy l mt thut ng bao hm mt s yu cu hu ch cho h thng phn phi bao gm nhng iu sau y ( Kopetz v Verissimo , 1993) : 1 . sn sng 2 . tin cy 3 . an ton 4 . bo tr Sn sng c nh ngha l cc ti sn m mt h thng sn sng c s dng ngay lp tc. Ni chung, n cp n kh nng m h thng ang hot ng mt cch chnh xc . ti bt k thi im no v c sn thc hin chc nng ca mnh thay mt cho ngi s dng. Ni cch khc, mt h thng sn sng cao l mt trong nhng c th s c lm vic ti mt ngay lp tc c a ra trong thi gian . tin cy cp n cc ti sn m mt h thng c th chy lin tc m khng c tht bi. Tri ngc vi tnh sn sng, tin cy c xc nh trong iu khon ca mt khong thi gian thay v ngay lp tc trong thi gian. Mt h thng rt ng tin cy l mt trong nhiu kh nng s tip tc lm vic m khng b gin on trong mt thi

gian tng i di ca thi gian . y l mt s khc bit tinh t nhng quan trng khi so snh vi tnh sn sng. Nu mt h thng i xung mt phn nghn giy mi gi , n c mt sn c ca hn 99,9999 phn trm , nhng vn cn rt ng tin cy. Tng t nh vy , mt h thng m khng bao gi b treo nhng c ng ca trong hai tun mi thng Tm c tin cy cao nhng sn sng ch 96 phn trm . Hai l khng ging nhau. An ton cp n tnh hnh khi mt h thng tm thi khng hot ng chnh xc , khng c g nghim trng xy ra . V d, nhiu h thng iu khin qu trnh , chng hn nh nhng ngi s dng kim sot cc nh my in ht nhn hoc a ngi vo khng gian, c yu cu phi cung cp mt mc an ton cao . Nu h thng iu khin nh vy tm thi khng ch mt khonh khc rt ngn gn , cc tc ng c th l mt thm ha . Nhiu v d t qu kh ( v c l nhiu hn cha ti ) cho thy th no l kh xy dng h thng an ton. Bo tr cp n cch d dng mt h thng khng th c sa cha . Mt h thng nh gi cao duy tr cng c th cho thy mt mc cao ca sn c, c bit l nu tht bi c th c pht hin v sa cha t ng. Tuy nhin , nh chng ta s thy sau ny trong chng ny, t ng hi phc sau tht bi l ni d hn lm . Thng thng, h thng ng tin cy cng c yu cu phi cung cp mt mc bo mt cao , c bit l khi ni n cc vn nh ton vn . Chng ti s tho lun v an ninh trong chng k tip. Mt h thng c cho l tht bi khi n khng th p ng li ha ca mnh . c bit, nu mt h thng phn phi c thit k cung cp cho ngi s dng vi mt s dch v , h thng tht bi khi mt hoc nhiu cc dch v khng th c ( hon ton ) cung cp . Mt li l mt phn ca nh nc ca h thng c th dn n mt tht bi. V d, khi truyn cc gi tin qua mng , l c mong i rng mt s cc gi tin b h hng khi h n nhn. B h hng trong bi cnh ny c ngha l ngi nhn khng chnh xc c th cm nhn c mt gi tr bit (v d , c mt 1 thay v 0 ) , hoc thm ch c th khng th pht hin ra rng mt ci g n. Nguyn nhn ca mt li c gi l mt li. R rng, tm ra nhng g gy ra mt li rt quan trng. V d, mt phng tin truyn dn sai hay xu c th d dng gy ra cc gi d liu b h hng . Trong trng hp ny , n l tng i d dng loi b cc li. Tuy nhin , li truyn dn cng c th c gy ra bi iu kin thi tit xu nh trong cc mng khng dy . Thay i thi tit gim thiu hoc ngn chn cc li l mt cht phc tp hn.

Xy dng h thng ng tin cy lin quan cht ch li kim sot . Mt s khc bit c th c thc hin gia ngn nga , loi b , v d bo li ( Avizieniset ai . , 2004). Cho cc mc ch ca chng ti , vn quan trng nht l kh nng chu li , c ngha l mt h thng c th cung cp dch v ca mnh ngay c trong s hin din ca nhng li lm . Ni cch khc, h thng c th chu ng nhng li lm v tip tc hot ng bnh thng.

Li thng c phn loi nh thong qua, lin tc, hoc vnh vin. Li thong qua xy ra mt ln v sau bin mt. Nu cc hot ng c lp i lp li , li i xa. Mt con chim bay qua chm mt my pht vi sng c th gy ra cc bit b mt trn mt s mng ( khng cp n mt con chim rang ) . Nu thi gian truyn ra ngoi v c xem xt li , n c th s lm vic ln th hai. Mt li lin tc xy ra, sau bin mt theo cch ring ca n , sau li xut hin , v nh vy. Mt s lin lc lng trn mt kt ni thng xuyn s gy ra mt li lin tc .