A New Decision-Diagram-Based Method for Efficient Analysis on Multistate Systems

被引:208
作者
Xing, Liudong [1 ]
Dai, Yuanshun [2 ,3 ]
机构
[1] Univ Massachusetts, Dept Elect & Comp Engn, Dartmouth, MA 02747 USA
[2] Univ Tennessee, Dept Ind & Informat Engn, Knoxville, TN 37996 USA
[3] Univ Tennessee, Dept Elect Engn & Comp Sci, Knoxville, TN 37996 USA
基金
美国国家科学基金会;
关键词
Binary decision diagram; multistate fault tree; multistate system; multistate multivalued decision diagram; BDD-BASED ALGORITHM; RELIABILITY-ANALYSIS;
D O I
10.1109/TDSC.2007.70244
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
080201 [机械制造及其自动化];
摘要
Multistate systems can model many practical systems in a wide range of real applications. A distinct characteristic of these systems is that the systems and their components may assume more than two levels of performance ( or states), varying from perfect operation to complete failure. The nonbinary property of multistate systems and their components makes the analysis of multistate systems difficult. This paper proposes a new decision-diagram-based method, called multistate multivalued decision diagrams (MMDD), for the analysis of multistate systems with multistate components. Examples show how the MMDD models are generated and evaluated to obtain the system-state probabilities. The MMDD method is compared with the existing binary decision diagram (BDD)-based method. Empirical results show that the MMDD method can offer less computational complexity and simpler model evaluation algorithm than the BDD-based method.
引用
收藏
页码:161 / 174
页数:14
相关论文
共 47 条
[1]
AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141
[2]
Birnbaum's measure of component importance for noncoherent systems [J].
Andrews, JD ;
Beeson, S .
IEEE TRANSACTIONS ON RELIABILITY, 2003, 52 (02) :213-219
[3]
Barlow R. E., 1978, Mathematics of Operations Research, V3, P275, DOI 10.1287/moor.3.4.275
[4]
Boute R. T., 1976, EUROMICRO Newsletter, V1, P16
[5]
Brace K.S., 1990, DAC, P40
[6]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[7]
Burch J.R., 1990, P 5 ANN IEEE S LOGIC, P1
[8]
SYMBOLIC MODEL CHECKING FOR SEQUENTIAL-CIRCUIT VERIFICATION [J].
BURCH, JR ;
CLARKE, EM ;
LONG, DE ;
MCMILLAN, KL ;
DILL, DL .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (04) :401-424
[9]
COHERENT SYSTEMS WITH MULTISTATE COMPONENTS [J].
CALDAROLA, L .
NUCLEAR ENGINEERING AND DESIGN, 1980, 58 (01) :127-139
[10]
OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage [J].
Chang, YR ;
Amari, SAV ;
Kuo, SY .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2005, 2 (04) :336-347