硬件式容错计算机可靠性测评模型与算法研究.pdfVIP

CFTC，B培丈集 硬件式容错计算机可靠性测评模型与算法研究 王慧强杨永毋周大海鲜斌 1) (哈尔滨工程大学计算机系 哈尔滨15000 蔫薹：本文运用解析方法去评佶硬件式释镨计算机的可靠性。在尉计算机进行测评时，提出了五种部 模法代替复杂的Markov整体建模法的结论。 Markov模型 美Il诃：容错汁算机；可靠性t ^b●tr鱼ct：Thisatticleistoevaluatethe ofdhatd：wa地fauR-toierance reliability computersystem鼬rough theCValuation fault-tolcraaccIIlOdcS atmlysis．In offault-to[eran∞computersysicms，fivekin出ofcomponent arc two methodsarcalsousedintheevaluation：oneishicrarehiaM proposed．andmodeling otheris Markov rnemod，theglobal moddiag practicalcomputation，wecoml嫩te血c method．Finally,through two methodsand the∞n口IuaionthatthehierarchicalMarkov methodinsteadof modoling get modeling global BlOthOdoanbeusedi11the口valuationoffault-tolerallce Matkovmodeling computersystems． Reliabllity；Marko～model K●y■ord：Fault—tolerancecomputOFt 1 弓l富 对于军用计算机系统来说，他必须能够适应恶劣环境，具有很高的可靠性，所有必颁对军用计算机的设 计测评方法加以改进，以建立商可靠性的军用计算机系统。然丽，对高可靠系统性能的评价足一项重舞而困 难的1：作。在部分容错系统的研制过程巾，不惜花费昂贵的代价先建立一个实验系统，通过实测数据确认该 系统能达到的可靠性标准。为了对高可靠性系统进行正确而有效的评估．分析法和实验法同等的重要。但分 析法投资少．研制的周期短，已经得到了，“泛的应用。本文采用解析的方法去评估容错计算机系统的可靠性 指标，为高可靠性硬件式容锚计算机系统的设计提供理论依据、技术参考和测评方法，并用一个军用容错计 算机系统为参考进行了可靠性各项指标的实际计算。。 2害错计算机冗余结构的可II幢囊型 所谓容错计算机系统是指计算机系统往出现一定的运行故障时，能自动检测与诊断，并依靠系统内子系 统的能力保持系统连续正确地执行其程序和输入输出功能。容错计算机系统中等要采用的是冗余技朱．本文 要研究的主要是硬件冗余。容错计算机系统采用冗余结构在某种程度上可以大幅度提高系统的可靠性，本文 主耍针对以下五种冗余结构进行了可靠性测评研究： 罩 A． N模并联系统 m／n表决系统 c． n模单工贮备系统 D． n模多工贮备系统 E． n模混仑贮备系统 3硬件式窖错计算机系统可靠性溯评算法 近年来国内外对町靠性问题做了大越研