A multiple-valued decision-diagram-based approach to solve dynamic fault trees

IEEE Transactions on Reliability

Volumn 63, Issue 1, 2014, Pages 81-93

  Mo, Yuchang ^a  

^a ZHEJIANG NORMAL UNIVERSITY   (China)

Author keywords

Dynamic fault tree (DFT); Multiple valued decision diagram (MDD); multiple valued variable

Indexed keywords

MODULAR CONSTRUCTION; RELIABILITY ANALYSIS;

CONCISE REPRESENTATIONS; DYNAMIC FAULT TREES; EMBEDDED COMPUTING SYSTEM; FAULT TOLERANT SYSTEMS; MODULARIZATION METHODS; MULTIPLE VALUED DECISION DIAGRAMS; MULTIPLE-VALUED; STATE EXPLOSION PROBLEMS;

STATE SPACE METHODS;

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

References (31)

1. K. K. Vemuri et al., "Automatic synthesis of fault trees for computer-based systems," IEEE Trans. Rel., vol. 48, no. 4, pp. 394-402, Dec. 1999.
2. A. Reibman and K. S. Trivedi, "Numerical transient analysis of Markov models," Comput. Operations Res., vol. 15, no. 1, pp. 19-36, 1998.
3. K. S. Trivedi, Probability and Statistics With Reliability, Queuing, and Computer Science Applications, 2nd ed. Englewood Cliffs, NJ, USA: Prentice-Hall, 2001.
4. S. Amari et al., "A new approach to solve dynamic fault trees," in Proc. IEEE Annu. Rel. Maintainability Symp., Tampa, FL, USA, 2003, pp. 374-379.
5. J. B. Dugan et al., "Dynamic fault-tree models for fault-tolerant computer system," IEEE Trans. Rel., vol. 41, no. 3, pp. 363-377, Sep. 1992.
6. R. Manian et al., "Bridging the gap between systems and dynamic fault tree models," in Proc. IEEE Annu. Rel. Maintainability Symp., Washington, DC, USA, 1999, pp. 105-111.
7. R. Manian et al., "Combining various solution techniques for dynamic fault tree analysis of computer systems," in Proc. 3rd IEEE Int. High Assurance Syst. Eng. Symp., Washington, DC, USA, 1998, pp. 21-28.
8. L. Meshkat et al., "Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees," IEEE Trans. Rel., vol. 51, no. 2, pp. 240-251, Jun. 2002.
9. X. Hong X and J. B. Dugan, "Combining dynamic fault trees and event trees for probabilistic risk assessment," in Proc. IEEE Annu. Rel. Maintainability Symp., Philadelphia, PA, USA, 2004, pp. 214-219.
10. J. B. Dugan et al., "DIFtree: A software package for the analysis of dynamic fault tree models," in Proc. Rel. Maintainability Symp., Jan. 1997, pp. 64-70.
11. R. Gulati and J. B. Dugan, "A modular approach for analyzing static and dynamic fault tree," in Proc. Rel. Maintainability Symp., Jan. 1997, pp. 57-63.
12. Y. Ou and J. B. Dugan, "Sensitivity analysis of modular dynamic fault trees," in Proc. Compute. Perform. Dependability Symp., Jan. 2000, pp. 35-43. (Pubitemid 30578188)
13. J. B. Dugan et al., "Developing a low-cost high quality software tool for dynamic fault tree analysis," IEEE Trans. Rel., vol. 49, no. 1, pp. 49-59, Mar. 2000.
14. J. K. Sullivan et al., "The Galileo fault tree analysis tool," in Proc. 29th Annu. Int. Symp. Fault-Tolerant Comput., Madison, WI, USA, 1999, pp. 232-237.
15. Y. Dutuit and A. Rauzy, "A linear time algorithm to find modules of fault trees," IEEE Trans. Rel., vol. 45, no. 3, pp. 422-425, Sep. 1996. (Pubitemid 126771050)
16. R. Tarjan, "Depth first search and linear graph algorithms," SIAM J. Comput., vol. 1, no. 2, pp. 146-160.
17. D. M. Miller, "Multiple-valued logic design tools," in Proc. 23rd Multiple-Valued Logic (ISMVL), May 1993, pp. 2-11. (Pubitemid 23697839)
18. D. M. Miller and R. Drechsler, "Implementing a multiple-valued decision diagram package," in Proc. 28th Int. Symp. Multiple-Valued Logic, May 1998, pp. 52-57.
19. L. Xing and J. B. Dugan, "Dependability analysis using multiple-valued decision diagrams," in Proc. 6th Probabilistic Safety Assessment Manag., Jun. 2002.
20. L. Xing and Y. Dai, "A new decision diagram based method for efficient analysis on multi-state systems," IEEE Trans. Dependable Secure Comput., vol. 6, no. 3, pp. 161-174, Jul.-Sep. 2009.
21. T. Kam et al., Synthesis of Finite State Machines: Functional Optimization. New York, NY, USA: Kluwer Academic Publishers, Nov. 1996, 0-7923-9842-4.
22. T. Kam et al., "Multi-valued decision diagrams for logic synthesis and verification," Multi-Valued Logic-An Int. J., Special Issue: Decision Diagrams, vol. 4, no. 1-2, pp. 9-62, 1998.
23. C. Y. Huang and Y. R. Chang, "An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees," Rel. Eng. Syst. Safety, vol. 92, no. 10, pp. 1403-1412, Oct. 2007.
24. O. Coudert and J. C. Madre, "Fault tree analysis: 1020 prime implicants and beyond," in Proc. Annu. Rel. Maintainability Symp., Jan. 1993, pp. 240-245.
25. J. B. Dugan and S. A. Doyle, "New results in fault-tree analysis," in Proc. Annu. Rel. Maintainability Symp., Jan. 1996.
26. A. Rauzy, "New algorithms for fault tree analysis," Rel. Eng. Syst. Safety, vol. 40, pp. 203-211, 1993.
27. V. Venkatesan and I. Iliadis, "A general reliability model for data storage systems," in Proc. 2012 9th Int. Conf. Quantitative Evaluation of Syst., 2012, pp. 209-219.
28. W. Nelson, Applied Life Data Analysis. New York, NY, USA: Wiley-Blackwell, 2004.
29. J. Rupe and W. Kuo, "Performability of systems based on renewal process models," IEEE Trans. Syst., Man, Cybern., vol. 28, no. 5, pp. 691-698, 1998. (Pubitemid 128748076)
30. J. A. Carrasco, "Computing transient dependability/performability measures from irreducible markov models using regenerative randomization," IEEE Trans. Rel., vol. 52, no. 3, pp. 319-329, Sep. 2003.
31. H. Choi, V. G. Kulkarni, and K. S. Trivedi, "Markov regenerative stochastic petri nets," Perform. Eval., vol. 20, pp. 337-356, 1994.