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

This paper presents a method for the analysis of a series-parallel safety-critical system where the system states can be distinguished into failure-safe and failure-dangerous. The method incorporates the Markov chain and universal generating function technique. In the model considered, both periodic inspection and repair (perfect and imperfect) of system elements are taken into account. The system state distributions and the overall system safety function are derived, based on the developed model. The proposed method is applicable to complex systems for analysing state distributions and it is also useful in decision-making such as determining the optimal proof-test interval or repair resource allocation. An illustrative example is given.

[1]  Hai Jin,et al.  Disk System Architectures for High Performance Computing , 2002 .

[2]  Barry W. Johnson,et al.  Dependability metrics to assess safety-critical systems , 2005, IEEE Transactions on Reliability.

[3]  Stuart R. Nunns.  Conformity assessment of safety related systems to IEC 61508-the CASS initiative , 2000 .

[4]  G. Levitin,et al.  Multi-state system reliabilit y , 2003 .

[5]  J. B. Bowles,et al.  Approximate Reliability and Availability Models for High Availability and Fault‐tolerant Systems with Repair , 2004 .

[6]  Per Hokstad,et al.  Loss of safety assessment and the IEC 61508 standard , 2004, Reliab. Eng. Syst. Saf..

[7]  Gregory Levitin,et al.  A universal generating function approach for the analysis of multi-state systems with dependent elements , 2004, Reliab. Eng. Syst. Saf..

[8]  Luca Podofillini,et al.  A multiobjective genetic algorithm approach to the optimization of the technical specifications of a nuclear safety system , 2004, Reliab. Eng. Syst. Saf..

[9]  Peter W. Glynn,et al.  Dynamic modeling of the tradeoff between productivity and safety in critical engineering systems , 2004, Reliab. Eng. Syst. Saf..

[10]  Gregory Levitin,et al.  Multi-State System Reliability - Assessment, Optimization and Applications , 2003, Series on Quality, Reliability and Engineering Statistics.

[11]  Wolfgang Weber,et al.  Enhancing software safety by fault trees: experiences from an application to flight critical software , 2005, Reliab. Eng. Syst. Saf..

[12]  L. Burgazzi.  Reliability Evaluation of Passive Systems Through Functional Reliability Assessment , 2003 .

[13]  Rainer Faller.  Project Experience with IEC 61508 and Its Consequences , 2001, SAFECOMP.

[14]  Julia V. Bukowski.  Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems , 2001, IEEE Trans. Reliab..

[15]  Han Tong Loh,et al.  Sequential inspection strategy for multiple systems under availability requirement , 2004, Eur. J. Oper. Res..

[16]  Min Xie,et al.  Availability and reliability of k-out-of-(M+N): G warm standby systems , 2006, Reliab. Eng. Syst. Saf..

[17]  Gregory Levitin,et al.  Uneven allocation of elements in linear multi-state sliding window system , 2005, Eur. J. Oper. Res..

[18]  Aarnout Brombacher,et al.  Application of micro Markov models for quantitative safety assessment to determine safety integrity levels as defined by the IEC 61508 standard for functional safety , 1999 .

[19]  D. Elmakis,et al.  Redundancy optimization for series-parallel multi-state systems , 1998 .

[20]  Poong-Hyun Seong,et al.  Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application , 2003, Reliab. Eng. Syst. Saf..

[21]  Dongsheng Wang,et al.  A Fault-Tolerant Single-Chip Multiprocessor , 2004, Asia-Pacific Computer Systems Architecture Conference.

[22]  Juan A. Carrasco,et al.  Solving large interval availability models using a model transformation approach , 2004, Comput. Oper. Res..

[23]  Gregory Levitin,et al.  Survivability of series-parallel systems with multilevel protection , 2005, Reliab. Eng. Syst. Saf..

[24]  Stuart Bennett,et al.  A taxonomy for software voting algorithms used in safety-critical systems , 2004, IEEE Transactions on Reliability.

[25]  Zhou Zhibang.  Analysis of a two unit standby redundant fail-safe system , 1987 .

[26]  David A. Patterson,et al.  Designing Disk Arrays for High Data Reliability , 1993, J. Parallel Distributed Comput..

[27]  Farouk Yalaoui,et al.  New method to minimize the preventive maintenance cost of series-parallel systems , 2003, Reliab. Eng. Syst. Saf..

[28]  Jun Lyou,et al.  Reliability Analysis of the Reactor Protection System with Fault Diagnosis , 2004 .

[29]  Min Xie,et al.  Statistical Models and Control Charts for High-Quality Processes , 2002 .

[30]  R. Natarajan,et al.  A Study on a Two Unit standby System with Erlangian Repair Time , 2004, Asia Pac. J. Oper. Res..

[31]  Hyun Gook Kang,et al.  Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant , 2006, Reliab. Eng. Syst. Saf..

[32]  Toshiyuki Inagaki,et al.  Performance analysis of a safety monitoring system under human-machine interface of safety-presentation type , 1989 .

[33]  Hyunki Kim,et al.  The design and analysis of AVTMR (all voting triple modular redundancy) and dual-duplex system , 2005, Reliab. Eng. Syst. Saf..

[34]  Jyotirmoy Sarkar,et al.  Availability of a periodically inspected system, maintained under an imperfect-repair policy , 2003, IEEE Trans. Reliab..

[35]  Alejandro D. Domínguez-García,et al.  Reliability evaluation of the power supply of an electrical power net for safety-relevant applications , 2006, Reliab. Eng. Syst. Saf..

[36]  Gregory Levitin,et al.  The Universal Generating Function in Reliability Analysis and Optimization , 2005 .

[37]  Yoshinobu Sato,et al.  Availability of systems with self-diagnostic components - applying Markov model to IEC 61508-6 , 2003, Reliab. Eng. Syst. Saf..