The simplificafion of Cuf sequence sef analysis for dynamic sysfems

2010 The 2nd International Conference on Computer and Automation Engineering, ICCAE 2010

Volumn 3, Issue , 2010, Pages 140-144

  Liu, Dong ^a   Xiong, Iei ^a   Li, Zhi ^a   Iang, Peng ^a   Zhang, Honglin ^b  

^a ACADEMY OF EQUIPMENT COMMAND AND TECHNOLOGY   (China)

^b NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

Cut sequence set; Simplification; Yynamic fault trees; Yynamic systems

Indexed keywords

DYNAMIC BEHAVIORS; FAULT-TREES; SEQUENCE SET;

SET THEORY;

DYNAMIC ANALYSIS;

EID: 77952595702     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCAE.2010.5451831     Document Type: Conference Paper

References (7)

1. D. Liu, W. Xing, C. Zhang, R. Li, and H. Li, "Cut sequence set generation for fault tree analysis," Proceedings of the 2007 International Conference on Embedded Software and Systems (ICESS 2007), Daegu, South Korea, 14-16 May 2007, LNCS 4523, pp. 58-69.
2. D. Liu, C. Zhang, W. Xing, R. Li, and H. Li, "Quantification of cut sequence set for fault tree analysis," Proceedings of the third international conference on high performance computing and communication (HPCC 2007), LNCS 4782, pp. 755-765.
3. J. B. Dugan, S. Bavuso, and M. Boyd, "Dynamic fault tree models for fault tolerant computer systems," IEEE Trans. on Relia., vol.41, 1992, pp. 363-377
4. W. Long, Y. Sato, and M. Horigone, "Quantification of sequential failure logic for fault tree analysis," Reliability Engineering & System Safety, vol 67, 2000, pp. 269-274.
5. S. A. Doyle and J. B. Dugan, "Dependability assessment using binary decision diagrams (BDDs)," Proceedings of the 25th Annual International Symposium on Fault-Tolerant Computing, 1995, pp. 249-258.
6. K. Brace, R. Rudell and R. Bryant, "Efficient implementation of a BDD package," Proceedings of the 27th ACM/IEEE Design Automation Conf., 1990, pp. 40-45.
7. R. Gulati and J. B. Dugan, "A modular approach for analyzing static and dynamic fault trees," Proceedings of Annual Reliability and Maintainability Symposium, January, 1997, pp. 57-63.