Modeling demand rate and imperfect proof-test and analysis of their effect on system safety

Abstract Quantitative safety assessment of a safety system plays an important role in comparing design alternatives at design stage and deciding appropriate design options to apply for safety systems. There are a number of such indices given in the literature. Most of the safety indices consider only system parameters (hazard rate, repair rate, diagnosis, coverage, etc.) along with proof-tests (or inspection). This paper extends the underlying model to incorporate demand rate and imperfect proof-tests. It also introduces a new safety index, average probability of failure on actual demand (PFaD), and an availability index, manifested availability (mAv). This paper uses Markov regenerative process-based analysis for state probabilities. Based on state-probability values of various states of the underlying Markov chain, solutions are derived for safety index PFaD and availability mAv.

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

[2]  David R. Cox,et al.  The Theory of Stochastic Processes , 1967, The Mathematical Gazette.

[3]  Kishor S. Trivedi Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[4]  W. M. Goble,et al.  Extending IEC61508 reliability evaluation techniques to include common circuit designs used in industrial safety systems , 2001, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179).

[5]  B. W. Johnson,et al.  Safety issues in the comparative analysis of dependable architectures , 1997 .

[6]  J.V. Bukowski A comparison of techniques for computing PFD average , 2005, Annual Reliability and Maintainability Symposium, 2005. Proceedings..

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

[8]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

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

[10]  E. Seneta,et al.  On quasi-stationary distributions in absorbing continuous-time finite Markov chains , 1967, Journal of Applied Probability.

[11]  H. D. Miller,et al.  The Theory Of Stochastic Processes , 1977, The Mathematical Gazette.

[12]  J.V. Bukowski,et al.  Incorporating process demand into models for assessment of safety system performance , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..

[13]  Andreas Steininger,et al.  Dealing with dormant faults in an embedded fault-tolerant computer system , 2003, IEEE Trans. Reliab..

[14]  Aarnout Brombacher,et al.  New quantitative safety standards : different techniques, different results? , 1998 .

[15]  A E Summers Viewpoint on ISA TR84.0.02--simplified methods and fault tree analysis. , 2000, ISA transactions.

[16]  Simon Brown,et al.  Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems , 2000 .

[17]  Kishor S. Trivedi,et al.  Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets , 1995 .

[18]  Xianhui Yang,et al.  A simple reliability block diagram method for safety integrity verification , 2007, Reliab. Eng. Syst. Saf..

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

[20]  William M. Goble,et al.  Defining mean time-to-failure in a particular failure-state for multi-failure-state systems , 2001, IEEE Trans. Reliab..