Reliability Analysis of Warm Standby Systems using Sequential BDD

被引:0
作者
Tannous, Ola [1 ]
Xing, Liudong [1 ]
Dugan, Joanne Bechta [1 ]
机构
[1] SE Massachusetts Univ, Dept Elect & Comp Engn, N Dartmouth, MA 02747 USA
来源
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2011 PROCEEDINGS | 2011年
关键词
dynamic fault tree (DFT); sequential binary decision diagram (SBDD); warm spare; OBDD-BASED EVALUATION; NETWORK RELIABILITY; SENSITIVITY;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
引用
收藏
页数:7
相关论文
共 11 条
[1]   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
[2]  
Dugan J.B., 1997, TUTORIAL NOTES ANN R
[3]   DYNAMIC FAULT-TREE MODELS FOR FAULT-TOLERANT COMPUTER-SYSTEMS [J].
DUGAN, JB ;
BAVUSO, SJ ;
BOYD, MA .
IEEE TRANSACTIONS ON RELIABILITY, 1992, 41 (03) :363-377
[4]  
Johnson B., 1989, Design and Analysis of Fault-Tolerant Digital Systems
[5]  
Liu D, 2007, LECT NOTES COMPUT SC, V4782, P755
[6]  
Long W, 2002, PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL I AND II, PROCEEDINGS, P391
[7]  
Misra K.B., 2008, The Handbook of Performability Engineering
[8]  
She J., 1992, IEEE T RELIABILITY, V41
[9]   Analysis of generalized phased-mission system reliability, performance, and sensitivity [J].
Xing, LD ;
Dugan, JB .
IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (02) :199-211
[10]   An efficient binary-decision-diagram-based approach for network reliability and sensitivity analysis [J].
Xing, Liudong .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (01) :105-115