A new generation algorithm of fault tree minimal cut sets and its application in CBTC system

IEEE ICIRT 2013 - Proceedings: IEEE International Conference on Intelligent Rail Transportation

Volumn , Issue , 2013, Pages 221-226

  Miao, Zuoyu ^a   Niu, Ru ^a   Tang, Tao ^a   Liu, Jieyu ^b  

^a BEIJING JIAOTONG UNIVERSITY   (China)

^b Institute for Traffic Safety and Automation Engineering Technische Universität Brausnchweig   (Germany)

Author keywords

Binary Decision Diagram; Fault Tree Analysis; Minimal Cut Set

Indexed keywords

ALGORITHMS; BINARY DECISION DIAGRAMS; COMPUTER AIDED ANALYSIS; FAULT TREE ANALYSIS; RAILROAD TRAFFIC CONTROL; RAILROADS; SAFETY ENGINEERING;

BINARY DECISION DIAGRAMS (BDD); COMBINATORIAL PROBLEM; COMMUNICATION-BASED TRAIN CONTROLS; DEPTH-FIRST-SEARCH (DFS); FAULT TREE ANALYSES (FTA); GENERATION ALGORITHM; MINIMAL CUTSETS; RELIABILITY AND SAFETIES;

COMPUTATIONAL EFFICIENCY;

EID: 84893327815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIRT.2013.6696297     Document Type: Conference Paper

References (12)

1. A. Rauzy, "Mathematical foundations of minimal cutsets", Reliability, IEEE Transactions, volume 50, no. 4, pages 389-396, Dec. 2001.
2. S. B. Akers, "From Binary decision diagrams", IEEE Trans. Comput, volume C-27, pages 509-516, Jun. 1978.
3. A. Rauzy, "New algorithms for fault trees analysis", Reliability Engineering and System Safety, volume 40, I3, pages 203-211, 1993.
4. J. B. Dugan, S. J. Bavuso and M. A. Boyd, "Fault trees and Markov models for reliability analysis of fault-tolerant digital systems", Reliability Engineering and System Safety, volume 39, n3, pages 291-307, 1993.
5. X. Zhang, Q. Miao, X. Fan and D. Wang, "Dynamic fault tree analysis based on Petri nets", Reliability Engineering and System Safety, pages 20-24, 138-142, Jul. 2009.
6. D. R. Shier and D. E. Whited, "Algorithms for Generating Minimal Cutsets by Inversion", Reliability, IEEE Transactions, volume R-34, no. 4, pages 314-319, 1985.
7. S. Du and N. Wang, "A novel binary decision diagram variable ordering approach on phased mission system", Management Science and Engineering (ICMSE), pages 24-26, 116-122, Nov. 2010.
8. J. D. Andrews, R. Remenyte-Prescott and D. R. Prescott, "Reliability analysis of missions with cooperating platform", Reliability and Maintainability Symposium (RAMS), pages 1-6, 25-28, Jan. 2010.
9. Y. Cai, Z. Liu and Z. Wu "Improvement of Fault Tree Analysis in Formal Safety Assessment Using Binary Decision Diagram", Information Science and Engineering (ICISE), pages 26-28, 4330-4333, Dec. 2009.
10. R. Bryant "Graph based algorithms for Boolean function manipulation", IEEE Trans. Comput., volume 35(8), pages 677-91, 1987.
11. R. Remenyte and J. D. Andrews, "A simple component connection approach for fault tree conversion to binary decision diagram", Availability, Reliability and Security (ARES), pages 20-22, Apr. 2006.
12. K. Yuan and S. Hu "Multiple-fault diagnosis based on Binary Decision Diagram", Industrial Engineering and Engineering Management, (IEEM), pages 8-11, 1658-1662, Dec. 2009.