Research on the method of dynamic fault tree analysis

ICRMS'2011 - Safety First, Reliability Primary: Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety

Volumn , Issue , 2011, Pages 950-953

  Han, Wei ^a   Guo, Weigang ^a   Hou, Zhiqiang ^a  

^a NAVAL AERONAUTICAL AND ASTRONAUTICAL UNIVERSITY   (China)

Author keywords

dynamic fault tree; Markov chain; reliability

Indexed keywords

COMBINATORIAL EXPLOSION; DYNAMIC FAULT TREE ANALYSIS; DYNAMIC FAULT TREES; DYNAMIC LOGIC; FAILURE PROBABILITY; MARKOV CHAIN; MARKOV MODEL; MODULARIZATIONS; SIMPLE APPROACH; SUBTREES;

EXPLOSIONS; MAINTAINABILITY; MARKOV PROCESSES; MODULAR CONSTRUCTION; PLANT EXTRACTS; RELIABILITY;

FAULT TREE ANALYSIS;

EID: 80052476505     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRMS.2011.5979422     Document Type: Conference Paper

References (13)

1. R. M. Sinnamon, J. D. Andrews. "Fault Tree Analysis and Binary Decision Diagrams", Proceeding of Annual Reliability and Maintainability Symposium. 1996.
2. J. B. Dugan, S. J. Bavuso, M. A. Boyd. Dynamic Fault - Tree Models for Fault- Tolerant Computer Systems. IEEE Transactions on Reliability, 1992, pp.363- 377.
3. Manian R, Coppit DW, Sullivan KJ, Dugan JB. "Bridging the gap between systems and dynamic fault tree models", In: Proceedings ofIEEE annual reliability and maintainability symposium. Washington, DC: IEEE Computer Society Press; 1999. pp. 105-11.
4. H. Boudali, P. Crouzen, and M. Stoelinga, "Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains", Proc. 37th IEEE/IFIP Int'l Conf. Dependable Systems and Networks, pp. 708-717, June 2007.
5. R. Manian, J.B. Dugan, D. Coppit, and K.J. Sullivan, "Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems," Proc. IEEE Int'l High-Assurance Systems Eng. Symp., vol. 3, 1998,pp. 21-28.
6. J.-P. Katoen, M. Khattri, and I.S. Zapreev, "A Markov Reward Model Checker," Proc. Second Int'l Conf. Quantitative Evaluation of Systems, 2005,pp. 243-244.
7. C. Baier, H. Hermanns, J.-P. Katoen, and B. R. Haverkort. "Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes", Theor. Comput. Sci., 2005,pp.2-26.
8. H. Boudali, P. Crouzen, and M. Stoelinga, "A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains," Proc. Fifth Int'l Symp. Automated Technology for Verification and Analysis, 2007,pp. 441-456.
9. Gulati R, Bechta-Dugan J. "A modular approach for analyzing static and dynamic fault trees", In: Proceedings of reliability and maintainability symposium RAMS1997; 1997. pp. 1-7.
10. Bobbio A, Portinale L, Minichino M, et al. "Improving the analysis of dependable systems by mapping fault trees into Bayesian networks", Reliability Engineering and System Safety, 2001, pp. 249-260
11. J.B. Dugan, B. Venkataraman, and R. Gulati, "DIFTree: A Software Package for the Analysis of Dynamic Fault Tree Models," Proc. Reliability and Maintainability Symp., pp. 64-70, Jan. 1997.
12. H. Boudali and J. B. Dugan. "A new Bayesian network approach to solve dynamic fault trees". In Reliability and Maintainability Symposium, Jan 2005.
13. S. Amari, G. Dill, and E. Howald. "A new approach to solve dynamic fault trees", In Annual Reliability and Maintainability Symposium, pp. 374-379, January 2003