动态故障树分析方法在软硬件容错计算机系统中的应用.docxVIP

动态故障树分析办法在软_硬件容错计算机系统中的应用

,姚一平程明华

()北京航空航天大学自动控制系,北京100083

APPLICATIONOFDYNAMICFAULTTREEANALYSISTOSOFTWAREAND

-HARDWAREFAULTTOLERANTCONTROLCOMPUTERSYSTEMS

22,CHENGMinghuaYAOYiping

(),...,100083,AutomaticControlDepartmentBeijingUnivofAeroandAstroBeijingChina

结合几个动态逻辑门及其向状态转移链的转化,

介绍了一种新的动态故障树建模分析方摘要:Markov

法,用来解决不可修系统中对动态时序特性的建模困难问题。

并给出了一种具体的例子,应用这种办法对其进行分析。分析成果表明,软、硬件容错技术在计算机系统中的应用,能够明显提高系统的可靠性。()动态故障树分析法;软、硬件容错计算机系统;状态转移链;

核心词:可靠性;逻辑门DFTAMarkov

中图分类号:247;302.8文献标记码:V