State probability of a series-parallel repairable system with two-types of failure states

International Journal of Systems Science

Volumn 37, Issue 14, 2006, Pages 1011-1020

  Levitin, G ^a   Zhang, T ^b   Xie, M ^b  

^a ISRAEL ELECTRIC CORPORATION   (Israel)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Availability; Failure dangerous; Failure safe; Markov model; Periodic inspection; Safety critical system; Universal generating function

Indexed keywords

AVAILABILITY; COMPUTATIONAL COMPLEXITY; FAILURE ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY;

FAILURE-DANGEROUS; FAILURE-SAFE; MARKOV MODEL; PERIODIC INSPECTION; SAFETY-CRITICAL SYSTEM; UNIVERSAL GENERATING FUNCTIONS;

SYSTEMS ANALYSIS;

EID: 33750553803     PISSN: 00207721     EISSN: 14645319     Source Type: Journal    
DOI: 10.1080/00207720600903201     Document Type: Review

References (35)

1. A. Biswas, J. Sarkar and S. Sarkar, "Availability of a periodically inspected system, maintained under an imperfect-repair policy", IEEE Trans. Reliab., 52, pp. 311-318, 2003.
2. J.B. Bowles and J.G. Dobbins, "Approximate reliability and availability models for high availability and fault-tolerant systems with repair", Qual. Reliab. Eng. Int., 20, pp. 679-697, 2004.
3. R. Bris, E. Chatelet and F. Yalaoui, "New method to minimize the preventive maintenance cost of series-parallel systems", Reliab. Eng. Syst. Safe., 82, pp. 247-255, 2003.
4. J.W. Bukowski, "Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems", IEEE Trans. Reliab., 50, pp. 321-329, 2001.
5. L. Burgazzi, "Reliability evaluation of passive systems through functional reliability assessment", Nucl. Techol., 144, pp. 145-151, 2003.
6. J.A. Carrasco, "Solving large interval availability models using a model transformation approach", Comput. & Oper. Res., 31, pp. 807-861, 2004.
7. P. Chandrasekhar, R. Natarajan and V.S.S. Yadavalli, "A study on a two unit standby system with Erlangian repair time", Asia-Pacific J. Oper. Res., 21, pp. 271-277, 2004.
8. M.M. Cowing, M.E. Pate-Cornell and P.W. Glynn, "Dynamic modeling of the tradeoff between productivity and safety in critical engineering systems", Rehab. Eng. & Syst. Safe., 86, pp. 269-284, 2004.
9. L.R. Cui, H.T. Loh and M. Xie, "Sequential inspection strategy for multiple systems under availability requirement", Eur. J. Oper. Res., 155, pp. 170-177, 2004.
10. T.A. Delong, D.T. Smith and B.W. Johnson, "Dependability metrics to assess safety-critical systems", IEEE Trans. Reliab., 54, pp. 498-505, 2005.
11. A.D. Dominguez-Garcia, J.G. Kassakian and J.E. Schindall, "Reliability evaluation of the power supply of an electrical power net for safety-relevant applications", Reliab. Eng. & Syst. Safe., 91, pp. 505-514, 2006.
12. R. Faller, "Project experience with IEC 61508 and its consequences", Safety Sci., 42, pp. 405-422, 2004.
13. G.A. Gibson and D.A. Patterson, "Designing Disk Arrays for High Data Reliability", J. Parallel Distribut. Comput., 17, pp. 4-27, 1993.
14. P. Hokstad and J. Corneliussen, "Loss of safety assessment and the IEC 61508 standard", Reliab. Eng. & Syst. Safe., 83, pp. 111-120, 2004.
15. IEC 61508, Functional safety of electric/electronic/programmable electronic safety-related systems, Parts. 1-7, October 1998-May 2000.
16. H.G. Kang and S.C. Jang, "Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power plant", Reliab. Eng. & Syst. Safe., 91, pp. 627-633, 2006.
17. R.H. Katz, G.A. Gibson and D. Patterson "Disk System Architectures for High Performance Computing", Proceedings of the IEEE, 77, 1989, pp. 1842-1858.
18. H. Kim, H. Lee and K. Lee, "The design and analysis of AVTMR (all voting triple modular redundancy) and dual-duplex system", Reliab. Eng. & Syst. Safe., 88, pp. 291-300, 2005.
19. E. Korczak, Q. Levitin and H. Ben Hahn, "Survivability of series-parallel systems with multilevel protection", Reliab. Eng. & Syst. Safe., 90, pp. 45-54, 2005.
20. B. Knegtering and A.C. Brombacher, "Application of micro Markov models for quantitative safety assessment to determine safety integrity levels as defined by the IEC 61508 standard for functional safety", Reliab. Eng. & Syst. Safe., 66, pp. 171-175, 1999.
21. G. Latif-Shabgahi, J.M. Bass and S. Bennett, "Taxonomy for software voting algorithms used in safety-critical systems", IEEE Trans. Reliab., 53, pp. 319-328, 2004.
22. D.Y. Lee, J.B. Han and J. Lyou, "Reliability analysis of the reactor protection system with fault diagnosis", Key Eng. Mater., 270, pp. 1749-1754, 2004.
23. G. Levitin, "A universal generating function approach for the analysis of multi-state systems with dependent elements", Reliab. Eng. & Syst. Safe., 66, pp. 285-292, 2004.
24. G. Levitin, "Uneven allocation of elements in linear multi-state sliding window system", Eur. J. Oper. Res., 163, pp. 418-433, 2005a.
25. G. Levitin, A. Lisnianski, H. Beh-Haim and D. Elmakis, "Redundancy optimization for series-parallel multi-state systems", IEEE Trans. Reliab., 47, pp. 165-172, 1998.
26. A. Lisnianski and G. Levitin, Multi-state System Reliability, Singapore: World Scientific, 2003.
27. G. Levitin, The Universal Generating Function in Reliability Analysis and Optimisation, Berlin: Springer-Verlag, 2005b. Springer Series in Reliability Engineering.
28. M. Marseguerra, E. Zio and L. Podofillini, "A multiobjective genetic algorithm approach to the optimization of the technical specifications of a nuclear safety system", Reliab. Eng. & Syst. Safe., 84, pp. 87-99, 2004.
29. S.R. Nunns, "Conformity assessment of safety related systems to IEC 61508 - the CASS initiative", Comput. & Control Eng. J., 11, pp. 33-39, 2000.
30. H.S. Son and P.H. Seong, "Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application", Reliab. Eng. & Syst. Safe., 80, pp. 19-32, 2003.
31. I. Ushakov, "Optimal standby problems and a universal generating function", Sov. J. Comput. Syst. Sci., 25, pp. 79-82, 1987.
32. W. Weber, H. Tondok and M.B. Bachmayer, "Enhancing software safety by fault trees: experiences from an application to flight critical software", Reliab. Eng. & Syst. Safe., 89, pp. 57-70, 2005.
33. W.B. Yao, D.S. Wang and W.M. Zheng, "A Fault-tolerant Single-chip Multiprocessor", In: ACS AC 2004 - Proceedings of Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, Pen-Cheng Yew and Jingling Xue, Eds, Berlin: Springer, 2004, pp. 137-145.
34. T.L. Zhang, W. Long and Y. Sato, "Availability of systems with self-diagnostic components - applying Markov model to IEC 61508-6", Reliab. Eng. & Syst. Safe., 80, pp. 133-141, 2003.
35. T.L. Zhang, M. Xie and M. Horigome, "Availability and reliability of k-out-of-(M plus N): G warm standby systems", Reliab. Eng. & Syst. Safe., 91, pp. 381-387, 2006.