MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures
暂无分享,去创建一个
[1] V.V.S. Sarma,et al. Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems , 1981, IEEE Transactions on Reliability.
[2] C. H. Lie,et al. Simulation Model of Mission Effectiveness for Military Systems , 1978, IEEE Transactions on Reliability.
[3] Liudong Xing,et al. Reliability Analysis of Multistate Phased-Mission Systems With Unordered and Ordered States , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[4] James A. Ritcey,et al. Computationally-efficient phased-mission reliability analysis for systems with variable configurations , 1992 .
[5] Andrea Bondavalli,et al. Dependability modeling and evaluation of multiple-phased systems using DEEM , 2004, IEEE Transactions on Reliability.
[6] Huawen Liu,et al. Depth-First Event Ordering in BDD-Based Fault Tree Analysis , 2013 .
[7] Liudong Xing,et al. Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures , 2007, IEEE Transactions on Reliability.
[8] Herbert S. Winokur,et al. Analysis of Mission-Oriented Systems , 1969 .
[9] M. Smotherman,et al. A non-homogeneous Markov model for phased-mission reliability analysis , 1989 .
[10] Joanne Bechta Dugan. Automated analysis of phased-mission reliability , 1991 .
[11] Kishor S. Trivedi,et al. A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .
[12] Liudong Xing,et al. Generalized imperfect coverage phased-mission analysis , 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).
[13] Yuchang Mo. Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures , 2009, IEEE Transactions on Reliability.
[14] Liudong Xing,et al. An overview of the phase-modular fault tree approach to phased mission system analysis , 2003 .
[15] Liudong Xing,et al. Analysis of generalized phased-mission system reliability, performance, and sensitivity , 2002, IEEE Trans. Reliab..
[16] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[17] Daniel P. Siewiorek,et al. Mission reliability analysis of fault-tolerant multiple-phased systems , 2008, Reliab. Eng. Syst. Saf..
[18] James Daniel. Esary,et al. Reliability analysis of phased missions. , 1975 .
[19] D. Michael Miller. Multiple-valued logic design tools , 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.
[20] Huawen Liu,et al. Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis , 2013, Qual. Reliab. Eng. Int..
[21] John D. Andrews,et al. Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks , 2002, IEEE Trans. Reliab..
[22] Liudong Xing,et al. A separable ternary decision diagram based analysis of generalized phased-mission reliability , 2004, IEEE Transactions on Reliability.
[23] Andrea Bondavalli,et al. Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.
[24] Yuchang Mo,et al. New Insights Into the BDD-Based Reliability Analysis of Phased-Mission Systems , 2009, IEEE Transactions on Reliability.
[25] Joanne Bechta Dugan,et al. BDD-based reliability analysis of phased-mission systems with multimode failures , 2006, IEEE Transactions on Reliability.
[26] Liudong Xing,et al. Reliability of Phased-mission Systems , 2008 .
[27] Liudong Xing,et al. Dependability modeling and analysis of hierarchical computer-based systems , 2002 .
[28] Kishor S. Trivedi,et al. Boolean Algebraic Methods for Phased-Mission System Analysis. , 1997 .
[29] Liudong Xing,et al. Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems , 2010, IEEE Transactions on Reliability.
[30] M. Noca. Next generation ion engines: mission performances , 2003 .
[31] Liudong Xing,et al. A New Decision-Diagram-Based Method for Efficient Analysis on Multistate Systems , 2009, IEEE Transactions on Dependable and Secure Computing.
[32] Antoine Rauzy,et al. New algorithms for fault trees analysis , 1993 .
[33] Kishor S. Trivedi,et al. Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.