| 动态故障树分析方法在软、硬件容错计算机系统中的应用 |
| |
| 引用本文： | 程明华,姚一平.动态故障树分析方法在软、硬件容错计算机系统中的应用[J].航空学报,2000,21(1):34-37. |
| |
| 作者姓名： | 程明华 姚一平 |
| |
| 作者单位： | 北京航空航天大学,自动控制系,北京,100083 |
| |
| 基金项目： | 国防科技预研基金，航空基金，，，， |
| |
| 摘 要： | 结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。
|
| 关 键 词： | 动态故障树分析法(DFTA) 软、硬件容错计算机系统 Markov状态转移链 可靠性 逻辑门 |
| 文章编号： | 1000-6893(2000)01-0034-04 |
| 收稿时间： | 1998-10-14; |
| 修稿时间： | 1998-10-14 |
APPLICATION OF DYNAMIC FAULT TREE ANALYSIS TO SOFTWARE AND HARDWARE FAULT-TOLERANT CONTROL COMPUTER SYSTEMS |
| |
| CHENG Ming-hua,YAO Yi-ping.APPLICATION OF DYNAMIC FAULT TREE ANALYSIS TO SOFTWARE AND HARDWARE FAULT-TOLERANT CONTROL COMPUTER SYSTEMS[J].Acta Aeronautica et Astronautica Sinica,2000,21(1):34-37. |
| |
| Authors: | CHENG Ming-hua YAO Yi-ping |
| |
| Institution: | Automatic Control Department,Beijing Univ. of Aero. and Astro.,Beijing 100083, China |
| |
| Abstract: | This paper introduces a new Dynamic Fault Tree Analysis(DFTA) modeling technique, combining the dynamic fault tree containing dynamic logic gate(s) with Markov chain, to solve the problem that the dynamic behavior and sequence process are hard to describe in irreparable systems. An example is also given to demonstrate the modeling of the method and to analyze the system. The result shows that the application of software and hardware redundancy to the computer based system can greatly improve the system reliability. |
| |
| Keywords: | dynamic fault tree analysis (DFTA) software/hardware fault tolerance Markov state transition chain reliability logic gate |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《航空学报》浏览原始摘要信息 |
| 点击此处可从《航空学报》下载免费的PDF全文 |
