A simple algebra for fault tree analysis of static and dynamic systems

IEEE Transactions on Reliability

Volumn 62, Issue 4, 2013, Pages 846-861

  Ni, Jun ^a   Tang, Wencheng ^a   Xing, Yan ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

Algebra; Analytic solution; Boolean; Fault tree; Minimal cut set; Temporal order

Indexed keywords

ANALYTIC SOLUTION; BOOLEAN; FAULT-TREES; MINIMAL CUTSETS; TEMPORAL ORDER;

BOOLEAN FUNCTIONS; FAULT TREE ANALYSIS; TREES (MATHEMATICS);

ALGEBRA;

EID: 84890433632     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2013.2285035     Document Type: Article

References (34)

1. W. E. Vesely, "A time dependent methodology for fault tree evaluation, " Nucl. Eng. Des., vol. 13, pp. 337-360, 1970.
2. A. Anand and A. K. Somani, "HierarchicalAnalysis of Fault Treeswith Dependencies, Using Decomposition, " in Proc. Annu. Rel. Maintainability Symp., 1998, pp. 69-75.
3. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation, " IEEE Trans. Comput., vol. 35, pp. 667-691, 1986.
4. R. E. Bryant, "Symbolic Boolean Operation with Ordered Binary-Decision Diagrams, " ACM Comput. Surveys, vol. 24, no. 3, pp. 293-318, 1992.
5. A. Rauzy, "New algorithms for fault tree analysis, " Rel. Eng. Syst. Safety, vol. 40, pp. 203-221, 1993.
6. J. D. Andrews and S. J. Dunnett, "Event-tree analysis using binary decision diagrams, " IEEE Trans. Rel., vol. 49, no. 2, pp. 230-238, Jun. 2000. (Pubitemid 32031222)
7. Y. S. Way and D. Y. Hsia, "A simple component-connection method for building binary decision diagrams encoding a fault tree, " Rel. Eng. Syst. Safety, vol. 70, no. 1, pp. 59-70, 2000.
8. R. R. Prescott and J. D. Andrews, "An enhanced component connection method for conversion of fault trees to binary decision diagrams, " Rel. Eng. Syst. Safety, vol. 93, no. 10, pp. 1543-1550, 2008. (Pubitemid 351657681)
9. L. M. Bartlett and J. D. Andrews, "Comparison of two newapproaches to variable ordering for binary decision diagrams, " Qual. Rel. Eng. Int., vol. 17, pp. 151-158, 2001. (Pubitemid 32636635)
10. L. M. Bartlett and J. D. Andrews, "An ordering heuristic to develop the binary decision diagram based on structural importance, " Rel. Eng. Syst. Safety, vol. 72, no. 1, pp. 31-38, 2001. (Pubitemid 32263116)
11. L. M. Bartlett and J. D. Andrews, "Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks, " IEEE Trans. Rel., vol. 51, no. 3, pp. 324-326, Sep. 2002.
12. A. R. Karen and J. D. Andrews, "A fault tree analysis strategy using binary decision diagrams, " Rel. Eng. Syst. Safety, vol. 78, no. 1, pp. 45-56, 2002. (Pubitemid 34974844)
13. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems, " IEEE Trans. Rel., vol. 41, no. 3, pp. 363-377, Sep. 1992.
14. H. Boudali and J. B. Dugan, "A discrete-time Bayesian network reliability modeling and analysis framework, " Rel. Eng. Syst. Safety, vol. 87, no. 3, pp. 337-349, 2005.
15. B. D. Brown and H. C. Card, "Stochastic neural computation. I: Computational elements, " IEEE Trans. Comput., vol. 50, no. 9, pp. 891-905, Sep. 2001. (Pubitemid 32981667)
16. Z. Tang and J. B. Dugan, "Minimal cut set/sequence generation for dynamic fault trees, " in Proc. IEEE Annu. Rel. Maintainability Symp., Los Angeles, CA, USA, 2004, pp. 207-213.
17. W. Qian, M. D. Riedel, K. Bazargan, and D. J. Lilja, "The synthesis of combinational logic to generate probabilities, " in Proc. 2009 Int. Conf. Comput. Aided Design (ICCAD'09), Nov. 2009, pp. 367-374.
18. H. Aliee and H. R. Zarandi, "A fast and accurate fault tree analysis based on stochastic logic implemented on field-programmable gate arrays, " IEEE Trans. Rel., vol. 62, no. 1, pp. 13-22, Mar. 2013.
19. H. Aliee and H. R. Zarandi, "Fault tree analysis using stochastic logic: A reliable and high speed computing, " in Proc. Annu. Rel. Maintainability Symp. (RAMS'11), USA, Jan. 2011, pp. 1-6.
20. A. Ejlali and S. G. Miremadi, "FPGA-based Monte Carlo simulation for fault tree analysis, " Microelectron. Rel., vol. 44, no. 6, pp. 1017-1028, Jun. 2004.
21. D. Liu, C. Zhang, W. Xing, R. Li, and H. Li, "Quantification of cut sequence set for fault tree analysis, " in Proc. HPCC, 2007, vol. 4782, Lecture Notes in Computer Science, pp. 755-765.
22. G. Merle, J. M. Roussel, and J. J. Lesage, Algebraic Framework for the Modelling of Priority Dynamic Fault Trees 2008 [Online]. Available: http://www.lurpa.ens-cachan.fr/isa/aadft/documents/ LURPA-2008-Framework.pdf, Internal report
23. G. Merle, J. M. Roussel, J. J. Lesage, and A. Bobbio, "Probabilistic algebraic analysis of fault trees with priority gates and repeated events, " IEEE Trans. Rel., vol. 59, no. 1, pp. 250-261, Mar. 2010.
24. G. Merle, J. M. Roussel, and J. J. Lesage, "Algebraic determination of the structure function of Dynamic Fault Trees, " Rel. Eng. Syst. Safety, vol. 96, no. 2, pp. 267-277, 2011.
25. A. Rauzy, "Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees, " Rel. Eng. Syst. Safety, vol. 96, no. 7, pp. 785-792, 2011.
26. L. Xing and Y. Dai, "A new decision diagram based method for efficient analysis onmulti-state systems, " IEEE Trans. Dependable Secure Comput., vol. 6, no. 3, pp. 161-174, Jul.-Sep. 2009.
27. A. Shrestha, L. Xing, and D. W. Coit, "An efficient multistate multivalued decision diagram-based approach for multistate system sensitivity analysis, " IEEE Trans. Rel., vol. 59, no. 3, pp. 581-592, Sep. 2010.
28. S. Reed, J. D. Andrews, and S. J. Dunnett, "Improved efficiency in the analysis of phased mission systems with multiple failure mode components, " IEEE Trans. Rel., vol. 60, no. 1, pp. 70-79, Mar. 2011.
29. A. P. Ulmeanu, "Analytical method to determine uncertainty propagation in fault trees by means of binary decision diagrams, " IEEE Trans. Rel., vol. 61, no. 1, pp. 70-79, Mar. 2012.
30. L. Xing, O. Tannous, and J. B. Dugan, "Reliability Analysis of Non repairable Cold-Standby Systems Using Sequential Binary Decision Diagrams, " IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 3, pp. 715-726, Mar. 2012.
31. J. J. Dujmović and H. L. Larsen, "Generalized conjunction/disjunction, " Int. J. Approx. Reason., vol. 46, no. 3, pp. 423-446, 2007. (Pubitemid 350101074)
32. L. Xing, J. B. Dugan, and B. A. Morrissette, "Efficient analysis of imperfect coverage systems with functional dependence, " in Proc. 56th Annu. Rel. Maintainability Symp., San Jose, CA, Jan. 25-28, 2010, pp. 1-6.
33. K. Trivedi, Probability & Statistics With Reliability, Queueing & Computer Science Applications, 2nd ed. Hoboken, NJ, USA:Wiley, 2001.
34. S. Amari, G. Dill, and E. Howals, "A new approach to solve dynamic fault-trees, " in Proc. IEEE Annu. Rel. Maintainability Symp., Tampa, FL, USA, 2003, pp. 374-379.