分析上面的计算结果，可以得到下述结论：
(1)利用恢复块技术实现软件驻留备份之后，大大提高了纯软件部分(S)的可靠性。与单个软件模块相比，故障率降低了数个数量级。
(2)三通道硬件容错大大降低了硬件部分(H)的故障率。
(3)中值表决器(mv)的故障率对包括它在内的部分(MS)故障率影响较大。由于恢复块技术的应用，纯软件部分(S)故障率很小，所以中值表决器的故障率几乎决定了MS部分的故障率。应当提高它的可靠性，以保证软件容错所实现的较高的可靠性。
(4)作为触发旁路系统工作的接口单元(IU)是1个关键的部件，直接决定了在主系统故障后能否成功地转换到旁路系统。
(5)整个系统由于软、硬件容错技术的综合应用，可靠性有显著的提高。■
基金项目：国防科技预研基金和航空科学基金资助项目
文章网址：http://www.hkxb.net.cn/hkxb/2000/01/0034/
作者简介：程明华 1975年出生，1999年于北航获得硕士学位。曾发表国内国际学术论文5篇。
主要研究兴趣为动态故障树、建模方法研究，软件可靠性预计和评估及软件可靠性早
期预计方法研究，Markov状态转移链法建模研究。
姚一平 教授，IEEE高级会员，从1960年起一直在北京航空航天大学任教，自1979年
开始从事可靠性及余度技术方面的研究工作，著有《可靠性及余度技术》一书，发表
国际学术论文20余篇。现正致力于计算机控制系统动态故障树综合建模分析方法和
软、硬件综合FMECA方法的研究
作者单位：程明华（北京航空航天大学 自动控制系，北京 100083）
姚一平（北京航空航天大学 自动控制系，北京 100083）
参考文献：
［1］姚一平，李沛琼．可靠性及余度技术［M］．北京：航空工业出版社，1991．53～86.
［2］Dugan J B，Bavuso S J， Boyd M A. Dynamic fault tree models for fault tolerant compuer systems［J］．IEEE Transaction on Reliability，1992，41(3)：363～377.
［3］YAO Yi－ping， YANG Xiao－jun， LI Pei－qiong．Dynamic fault tree analysis for fault－tolerant computer system［A］．In：AIAA/IEEE．Proceeding of 15th DASC(Digital Avionics Systems Conference)［C］. Atlanta：AIAA/IEEE．1996. 479～484.
［4］张福渊，李沛琼，韩于羹．状态转移链法——不可修的马氏型系统的可靠性分析分析［J］．航空学报，1984，5(2)：193～199.
［5］Anand A, Somani A K. Hierarchical analysis of fault trees with dependencies, using decomposition［A］．IEEE 1998 PRPCEEDINGS Annual RELIABILITY and MAINTAINABILITY Symposium［C］. 1998. 69～75.
［6］Deets D A, Lock W P. Flight test of a resident backup softwar system［R］. N88－10805, NASA, 1987
|
会员登录
