基于多值决策图的动态故障树分析方法  

Dynamic Fault Tree Analysis Based on Multiple-valued Decision Diagrams

作　　者：王斌[1] 吴丹丹[1] 莫毓昌[1] 陈中育[1] WANG Bin WU Dan-dan MO Yu-chang CHEN Zhong-yu(College of Mathematics,Physics and Information Engineering,Zhejiang Normal University,Jinhua 321004,China)

机构地区：[1]浙江师范大学数理与信息工程学院,金华321004

出　　处：《计算机科学》2016年第10期70-73,92,共5页Computer Science

基　　金：国家基金面上项目(61272007;61572442)资助

摘　　要：针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出。因此介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题。通过一个具体的实例说明了多值决策图方法的应用和优势。In the system reliability analysis,dynamic fault trees analysis has been used as a very important technique for many years. However, when these kinds of large dynamic subtrees appear, which abound in models of real-world dyna- mic software and embedded computing systems, the state explosion problem is too serious to be removed. In order to im- prove computing efficiency, this paper introduced an efficient, multiple-valued decision-diagram （MDD）-based DFT analysis approach. This approach restricts the state-space methods only to the subtree components associated with dy- namic failure behaviors. By using multiple-valued variables to encode the dynamic gates, a single compact MDD is then generated. Finally, the failure probability is calculated to describe the reliability of the systerr~ Applications and advanta- ges of the proposed approach are illustrated through detailed analysis of a practical case study.

关 键 词：多值决策图 动态故障树 马尔科夫 可靠性 

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