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

Reliability Engineering and System Safety

Volumn 93, Issue 11, 2008, Pages 1720-1729

  Kumar, Manoj ^a   Verma, A K ^b   Srividya, A ^b  

^a BHABHA ATOMIC RESEARCH CENTRE   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

Author keywords

Availability; Continuous time Markov chain; Fail dangerous; Fail safe; Markov model; Markov regenerative process; Probability of failure on demand; Proof test

Indexed keywords

MARKOV PROCESSES; PARAMETER ESTIMATION; PROBABILITY; PRODUCT DESIGN;

CONTINUOUS-TIME MARKOV CHAIN; MANIFESTED AVAILABILITY (MAV); MARKOV REGENERATIVE PROCESS; PROBABILITY OF FAILURE ON DEMAND; PROOF-TEST;

SECURITY SYSTEMS;

EID: 44349099828     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2007.12.001     Document Type: Article

References (20)

1. IEC 61508. Functional safety of electric/electronic/programmable electronic safety-related systems, Parts 0-7, October 1998-May 2000.
2. Zhang T., Long W., and Sato Y. Availability of systems with self-diagnostic components-applying Markov model to IEC 61508-6. Reliab Eng Syst Saf 80 (2003) 133-141
3. Bukowski J.V. Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems. IEEE Trans Reliab 50 3 (2001) 321-329
4. Hokstad P., and Corneliussen K. Loss of safety assessment and the IEC 61508 standard. Reliab Eng Syst Saf 83 (2004) 111-120
5. Scherrer C., and Steininger A. Dealing with dormant faults in an embedded fault-tolerant computer system. IEEE Trans Reliab 52 4 (2003) 512-522
6. DeLong T.A., Smith T., and Johnson B.W. Dependability metrics to assess safety-critical systems. IEEE Trans Reliab 54 3 (2005) 498-505
7. Bukowski J.V., and Goble W.M. Defining mean time-to-failure in a particular failure-state for multi-failure-state systems. IEEE Trans Reliab 50 2 (2001) 221-228
8. Rouvroye J.L., and Brombacher A.C. New quantitative safety standards: different techniques, different results?. Reliab Eng Syst Saf 66 (1999) 121-125
9. Choi C.Y., Johnson B.W., and Profeta III J.A. Safety issues in the comparative analysis of dependable architectures. IEEE Trans Reliab 46 3 (1997) 316-322
10. Bukowski JV. Incorporating process demand into models for assessment of safety system performance. In: RAMS 2006. p. 577-81.
11. Guo H., and Yang X. A simple reliability block diagram method for safety integrity verification. Reliab Eng Syst Saf 92 (2007) 1267-1273
12. Summers A. Viewpoint on ISA TR84.0.02-simplified methods and fault tree analysis. ISA Trans 39 2 (2000) 125-131
13. Brown S. Overview of IEC 61508: functional safety of electrical/electronic/programmable electronic safety-related systems. Comput Control Eng J 11 1 (2000) 6-12
14. Bukowski JV. A comparison of techniques for computing PFD average. In: RAMS 2005. p. 590-5.
15. Goble WM, Bukowski JV. Extending IEC61508 reliability evaluation techniques to include common circuit designs used in industrial safety systems. In: Annual reliability maintenance symposium, 2001. p. 339-43.
16. Marsan MA, Chiola G. On Petri nets with deterministic and exponentially distributed firing times. Advances in Petri Nets 1986, Lecture Notes in Computer Science, vol. 266. Berlin: Springer; 1987. p. 132-45.
17. Mainkar V, Trivedi KS. Transient analysis of real-time systems using deterministic and stochastic Petri nets. In: International workshop on quality of communication-based systems, 1994.
18. Darroch J.N., and Seneta E. On quasi-stationary distributions in absorbing continuous-time finite Markov chains. J Appl Prob 4 (1967) 192-196
19. Cox DR, Miller HD. The theory of stochastic processes. Methuen & Co., 1970.
20. Trivedi K.S. Probability & statistics with reliability, queueing, and computer science applications (1982), Prentice-Hall, Englewood Cliffs, NJ