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

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

作　　者：吴剑[1] 徐中伟[1] 喻钢[1,2] 李弋强[1] 

机构地区：[1]同济大学电子与信息工程学院,上海201804 [2]上海大学悉尼工商学院,上海201800

出　　处：《计算机工程》2009年第15期117-120,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60674004);铁道部科技研究开发计划基金资助项目(2007X003)

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]