作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (15): 117-120. doi: 10.3969/j.issn.1000-3428.2009.15.040

• 安全技术 • 上一篇    下一篇

基于改进DFTA的安全苛求系统可靠性分析

吴 剑1,徐中伟1,喻 钢1,2,李弋强1   

  1. (1. 同济大学电子与信息工程学院,上海 201804;2. 上海大学悉尼工商学院,上海 201800)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-08-05 发布日期:2009-08-05

Reliability Analysis of Safety-Critical System Based on Improved Dynamic Fault Tree Analysis Method

WU Jian1, XU Zhong-wei1, YU Gang1,2, LI Yi-qiang1   

  1. (1. School of Electronics and Information Engineering, Tongji University, Shanghai 201804;
    2. Sydney Institute of Language and Commerce, Shanghai University, Shanghai 201800)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-08-05 Published:2009-08-05

摘要: 针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。

关键词: 动态故障树, 安全苛求系统, 可靠性分析, 马尔科夫模型, 模块化

Abstract: Accounting for neglecting repairable attributions or system redundancy in traditional reliability analysis, a new modular dynamic fault tree analysis method is proposed by bringing repairable factors into formalized system reliability modeling. In the process of modular analysis both dynamic and static, the state combination explosive problem is avoided by adopting the approximation algorithm based on the Markov model and the probability of the top events, which improves the accuracy of Safety-Critical System(SCS) estimation results.

Key words: dynamic fault tree, Safety-Critical System(SCS), reliability analysis, Markov model, modulation

中图分类号: