容错计算机系统可靠性评价中的覆盖率问题.pdfVIP

容错计算机系统可靠性评价中的覆盖率问题 王建莹孙峻朝杨孝宗 哈尔滨工业丈学计算机与工程系 培尔滨{5000 摘要 覆盖寮是窨错系统设汁和评价中的重要磷念，占上盏结』’与覆盖童T目关的，L个。¨题。，子护 j夏盖盘对蜜错系绩j J靠性计价的显苫彩啊。暑结j+覆盖率礴型的建立期求解声，云．荤言介绍丁 ：]’兮群技术。午掣丁敞f鼋涎^、技术年进行简单甘建，以硬件般障任^为例一j。再i。用故嶂注入万 ，圭劳埒可爱盖率的精确，占计，薹结丹斫r硬仕盛涟一。j、试验施抽洋司题， 美键词墨盖童i1靠洼bf船玖降托，＼强再；量卞，‘鼻’i磊；。一； ，．． 1引言 oP价二{错计算qI系统可靠芒的度量包括可毒旺、aj嗣度，[TTF、＼{T野；．i要些发量部 包含 个际z为覆盖率、cOVelTaZe)的参数，覆盖宰最早白CsrLer：j1芝义为． 3 FOCOFeFs[ault‘)c CUT ％OVeVa@8 S。 pFooa．bl】l【v!SySt?m 艺反埂一个系统从、正常操作时出现的错误由目动囊夏的能力。系统在：u现政障2后能反直 邑括故障硷：删、救嶂隔离和屏蔽、指令重：式、磊境童向等等。这些行为都“j以崩覆盖蜜来 最征。 覆盖军参数对于李错系统可靠度、MTTF等指际的估汁有|}常显善∥j影响：!j：8j，以一 个扳模可垮系统为例．月Markov摸犁求得 、 ■} ， ^、 』+_()一jcj MTTF 其甲．矗：ot量矶失放一#．五，为，喏复蛊，c为镬薷 f_+一—：∑_～一 f【l十i-【i—e)j M丁TF～ ， 儿， ≈’一■一(1—0J M1TF ^ 一睃瞄。兄r兄．7丘小?。l、001．由此 T以舌出，蔼篆弓7参数的微小变亿ii系z彤j韶昝 为评价影喇j；常犬。 2覆盖率模型及其解法 ·__t1J音牛量腰对面篆翠≈7i敢’0‘兰，一营曲乐虢二奠o!=二百屈丑锅跫晶是氆一j，‘与水夏陕 系统埘}波筇错以∽处理芤，幻：8：：‘【。。1听百韵馐：是处璎-奠掣鄙鼍旦＼Fi多I二：嗔7：-，；j 行稹刑鞠口I々孰是胡走劐遗愿个i的嘶幸巷盖摹馍掣tl剀l。行不。 =． 吐 t f ， 二- i一J - 。F Z ． ∥． - Ⅵ，n L¨ j r丝一 。一。山 ．性 驰寸 州嘴 晰型 充Ⅻ 爻试 验 j的玳叫 耳一。 ●o 饼技 乍 ¨嘲 ；～， 0数尊㈠瞳 ，乐聋 癌j 可中一 可 ，，， _J ? 趣尊 月iH 珥并 巾阿 f!被采 蚌口 t、“|峨 咒程¨ ．誓 琏 ≯ 美 葫_三： H 岫玎∞町 ， 2了 I‰瘴’．蝇 ， n广—————] “ j攻障让卑 l ： 。。——一1 嗔々。。————·’ ‘。