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

• 作者: 姚一平 程明华
• 来源期刊: 航空学报
• 学科: 工学
• 关键词: 动态故障树分析法(DFTA) 软、硬件容错计算机系统 Markov状态转移 可靠性 逻辑门
• 年，卷（期）: 2000,（1）
• 所属期刊栏目: 论文
• 页码范围: 34-37
• 页数: 4页
• 分类号: V247|TP302.8
• 字数: 233字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-6893.2000.01.007

摘要

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题.并给出了一个具体的例子,应用这种方法对其进行分析.分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚一平	北京航空航天大学自动控制系	3	49	2.0	3.0
2	程明华	北京航空航天大学自动控制系	1	45	1.0	1.0