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

摘要：

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

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

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2009-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：117-120