Computing steady-state mean time to failure for non-coherent repairable systems

IEEE Transactions on Reliability

Volumn 54, Issue 3, 2005, Pages 506-516

  Wang, Dazhi ^a   Trivedi, Kishor S ^a  

^a Duke University   (United States)

Author keywords

Availability; Binary decision diagram; Failure frequency; Fault tree; Mean time to failure; Noncoherent system

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; PROBABILITY; RELIABILITY THEORY; VECTORS;

BINARY DECISION DIAGRAM; MEAN TIME TO FAILURE; NONCOHERENT SYSTEM;

FAULT TREE ANALYSIS;

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

References (49)

1. [Online] Available: http://iml.univ-mrs.fr/~arauzy/aralia/ benchmark.html. Last verified on 2/4/2005
2. S. V. Amari, "Generic rules to evaluate system-failure frequency," IEEE Trans. Reliab., vol. 49, no. 1, pp. 85-87, March 2000.
3. L. M. Bartlett and J. D. Andrews, "An ordering heuristic to develop the binary decision diagram based on structural importance," Reliab. Eng. Syst. Saf., vol. 72, pp. 31-38, 2001.
4. S. Beeson and J. D. Andrews, "Importance measures for noncoherent-system analysis," IEEE Trans. Reliab., vol. 52, no. 3, pp. 301-310, 2003.
5. R. G. Bennetts, "On the analysis of fault trees," IEEE Trans. Reliab., vol. 24, pp. 175-185, August 1975.
6. Z. W. Birnbaum, "On the importance of different components in a multicomponent system," Multivariate Analysis II, pp. 581-592, 1969.
7. M. Bouissou, "An ordering heuristic for building binary decision diagrams from fault-trees," in Proc. Annu. Reliability and Maintainability Symp., 1996, pp. 208-214.
8. K. Brace, R. Rudell, and R. Bryant, "Efficient implementation of a bdd package," in Proc. 27th ACM/IEEE Conf. Design Automation, 1990, pp. 40-45.
9. D. B. Brown, "A computerized algorithm for determining the reliability of redundant configurations," IEEE Trans. Reliab., vol. 20, pp. 121-124, 1971.
10. R. Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. 35, no. 8, pp. 677-691, 1986.
11. Y. Chang, S. V. Amari, and S. Kuo, "Computing system failure frequencies and reliability importance measures using obdd," IEEE Trans. Comput., vol. 53, no. 1, pp. 54-68, 2004.
12. O. Coudert and J. C. Madre, "Metaprime: an interactive fault-tree analyzer," IEEE Trans. Reliab., vol. 43, no. 1, pp. 121-127, 1994.
13. D. Davcev, "A dynamic voting scheme in distributed systems," IEEE Trans. Softw. Eng., vol. 15, no. 1, pp. 93-97, Jan. 1989.
14. S. A. Doyle and J. B. Dugan, "Dependability assessment using binary decision diagrams," in Proc. 25th Int. Symp. Fault-Tolerant Computing, 1995, pp. 249-258.
15. S. A. Doyle, J. B. Dugan, and M. Boyd, "Combinatorial-models and coverage: a binary decision diagram (bdd) approach," in Proc. Annu. Reliability and Maintainability Symp., 1995, pp. 82-89.
16. Y. Dutuit and A. Rauzy, "A linear-time algorithm to find modules of fault trees," IEEE Trans. Reliab., vol. 45, no. 3, 1996.
17. K. D. Heidtmann, "Smaller sum of disjoint products by subproduct inversion," IEEE Trans. Reliab., vol. 38, pp. 305-311, 1989.
18. Y. H. Kim, K. E. Case, and P. M. Ghare, "A method for computing complex system reliability," IEEE Trans. Reliab., vol. 21, pp. 215-219, 1972.
19. M. Lanus, L. Yin, and K. S. Trivedi, "Hierarchical composition and aggregation of state-based availability and performability models," IEEE Trans. Reliab., vol. 52, pp. 44-52, Mar. 2003.
20. B. Lin, O. Coudert, and J. C. Madre, "Symbolic prime generation for multiple-valued functions," in Proc. 29th ACM/IEEE Design Automation Conf., 1992, pp. 40-44.
21. P. M. Lin, B. J. Leon, and T. C. Huang, "A new algorithm for symbolic system reliability analysis," IEEE Trans. Reliab., vol. 25, pp. 2-15, 1976.
22. J. Liu and Z. Pan, "A new method to calculate the failure frequency of noncoherent systems," IEEE Trans. Reliab., vol. 39, no. 3, pp. 287-289, Aug. 1990.
23. T. Luo and K. S. Trivedi, "An improved algorithm for coherent-system reliability," IEEE Trans. Reliab., vol. 47, no. 1, pp. 73-78, 1998.
24. K. B. Misra, "An algorithm for the reliability of redundant networks," IEEE Trans. Reliab., vol. 19, pp. 146-151, 1970.
25. K. B. Misra and T. S. M. Rao, "Reliability analysis of redundant networks using flow graphs," IEEE Trans. Reliab., vol. 19, pp. 19-24, 1970.
26. S. Rai, M. Veeraraghavan, and K. S. Trivedi, "A survey of efficient reliability computation using disjoint products approach," Networks, vol. 25, pp. 147-163, 1995.
27. A. Rauzy, "New algorithms for fault tree analysis," Reliab. Eng. Syst. Saf., vol. 40, pp. 203-211, 1993.
28. R. Rudell, "Dynamic variable ordering for ordered binary decision diagrams," in Proc. IEEE/ACM Int. Conf. Computer-Aided Design, Nov 1993, pp. 42-47.
29. A. Satyanarayana and M. K. Chang, "Network reliability and the factoring theorem," Networks, vol. 13, pp. 107-120, 1983.
30. A. Satyanarayana and A. Prabhakar, "New toplogogical formula and rapid algorithm for reliability analysis of complex networks," IEEE Trans. Reliab., vol. 27, pp. 82-100, 1978.
31. W. Schneeweiss, Boolean Functions With Engineering Applications and Computer Programs. Berlin: Springer, 1989.
32. W. Schneeweiss, "Better fault tree analysis via sequential modularization," in Proc. 1997 ESREL Conf., 1997, pp. 2039-2044.
33. W. G. Schneeweiss, "Advanced fault tree modeling," Journal of Universal Computer Science, vol. 5, pp. 633-643, 1999.
34. W. G. Schneeweiss, The Fault Tree Method: LiLoLe-Verlag GmbH, 1999.
35. W. G. Schneeweiss, "Calculating mean system-failure frequency with prescribed accuracy" IEEE Trans. Reliab., vol. 46, pp. 201-207, Jun. 1997.
36. W. G. Schneeweiss, "Computing failure frequency, MTBF & MTTR via mixed products of availabilities and unavailabilities," IEEE Trans. Reliab., vol. 30, pp. 362-363, Oct. 1981.
37. W. G. Schneeweiss, "Addendum to: computing failure frequency via mixed products of availabilities and unavailabilities," IEEE Trans. Reliab., vol. 32, no. 5, pp. 461-462, Oct. 1983.
38. D. Shi, "General formulas for calculating the steady-state frequency of system failure," IEEE Trans. Reliab., vol. 30, no. 5, pp. 444-446, Dec. 1981.
39. M. L. Shooman, Probabilistic Reliability: An Engineering Approach, 2nd ed. New York: McGraw-Hill, 1990.
40. C. Singh, "Reliability calculations of large systems," in Proc. 1975 Annu. Reliability and Maintainability Symp., 1975, pp. 344-345.
41. C. Singh, "Calculating the time-specific frequency of system failure," IEEE Trans. Reliab., vol. 28, no. 2, pp. 124-126, Jun. 1979.
42. C. Singh and R. Billinton, System Reliability Modeling and Evaluation. London: Hutchinson Educational, 1977.
43. R. M. Sinnamon and J. D. Andrews, "Improved accuracy in quantitative fault tree analysis," Qual. Reliab. Eng. Int., vol. 13, pp. 285-292, 1997.
44. S. Soh and S. Rai, "Carel: computer aided reliability evaluator for distributed computing networks," IEEE Trans. Parallel Distrib. Syst., vol. 2, no. 2, pp. 199-213, 1991.
45. K. S. Trivedi, Probability and Statistics With Reliability, Queuing, and Computer Science Applications. New York: John Wiley and Sons, 2001.
46. M. Veeraraghavan and K. S. Trivedi, "An improved algorithm for symbolic reliability analysis," IEEE Trans. Reliab., vol. 40, pp. 347-358, 1991.
47. O. Wing and P. Demetriou, "Analysis of probabilistic networks," IEEE Trans. Commun. Technol., vol. 12, pp. 38-40, 1964.
48. R. K. Wood, "A factoring algorithm using polygon-to-chain reductions for computing k-terminal network reliability," Networks, vol. 15, pp. 173-190, 1985.
49. Q. Zhang and Q. Mei, "Element importance and system failure frequency of a two-state system," IEEE Trans. Reliab., vol. 34, pp. 308-313, Oct. 1958.