Efficient Fault Tree Analysis of Complex Fault Tolerant Multiple-Phased Systems
Fault tolerant multiple phased systems (FTMPS), i.e., systems whose critical components are independently replicated and whose operational life can be partitioned in a set of disjoint periods, are called ”phases”. Because of their deployment in critical applications, their reliability analysis is a task of primary relevance to validate the designs. Fault tree analysis based on binary decision diagram (BDD) is one of the most commonly used techniques for FTMPS reliability analysis. To utilize the technique the fault tree structure of FTMPS needs to be converted into the corresponding BDD format. Our research work shows that the system BDD generation algorithms presented in the literature are too inefficient to be used for industrial complex FTPMS because of the problems, such as variable ordering and combination of large BDDs. This paper presents a more efficient approach consisting of a flatting pre-processing technique, a proved efficient ordering heuristic and a bottom-up generation algorithm. The approach tries to combine share-variable BDDs by complex combination operation firstly and then combine no-share-variable BDDs using simple combination operation, thus to alvoid the intensive computations caused by large BDD combination operations. An example FTMPS is analyzed to illustrate the advantages of our approach.
fault tolerant system reliability analysis fault tree analysis multiple-phased system variable ordering heuristic
MO Yuchang LIU Hongwei YANG Xiaozong
Department of Computer Science and Technology,Harbin Institute of Technology,Harbin 150001,China
国内会议
北京
英文
122-127
2007-07-15（万方平台首次上网日期，不代表论文的发表时间）