Automatic creation of Markov models for reliability assessment of safety instrumented systems

Reliability Engineering and System Safety

Volumn 93, Issue 6, 2008, Pages 829-837

  Guo, Haitao ^a   Yang, Xianhui ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Automatic modeling; Markov models; Reliability assessment; Safety instrumented systems

Indexed keywords

COMPUTER SYSTEM RECOVERY; MATHEMATICAL MODELS; RELIABILITY; SECURITY SYSTEMS;

MARKOV MODELS; SAFETY INSTRUMENTED SYSTEMS;

MARKOV PROCESSES;

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

References (19)

1. IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems. International Electrotechnical Commission, 2000.
2. Beckman L. Easily assess complex safety loops. Chem Eng Prog 97 3 (2001) 57-59
3. Goble W., and Cheddie H. Safety instrumented systems verification: practical probabilistic calculations (2005), ISA, USA
4. Guo H., and Yang X. A simple reliability block diagram method for safety integrity verification. Reliab Eng Sys Safety 92 9 (2007) 1267-1273
5. Bukowski J., and Goble W. Using Markov models for safety analysis of programmable electronic systems. ISA Trans 34 2 (1995) 193-198
6. Zhang T., Long W., and Sato Y. Availability of systems with self-diagnostic components-applying Markov model to IEC 61508-6. Reliab Eng Sys Safety 80 2 (2003) 133-141
7. ISA-TR84.00.02-2002, Part 2, Safety Instrumented Functions (SIF)-Safety Integrity Level (SIL) Evaluation Techniques Part 2: Determining the SIL of a SIF via Simplified Equations. NC: Research Triangle Park, Instrument Society of America, 2002.
8. Summers A. Viewpoint on ISA TR84.0.02-simplified methods and fault tree analysis. ISA Trans 39 2 (2000) 125-131
9. Knegtering B., and Brombacher A. 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 Sys Safety 66 2 (1999) 171-175
10. Hauge S., Hokstad P., Langseth H., et al. Reliability prediction method for safety instrumented systems, PDS method handbook. 2006 ed (2006), SINTEF, Norway
11. Rouvroye J., and Brombacher A. New quantitative safety standards: different techniques, different results?. Reliab Eng Sys Safety 66 2 (1999) 121-125
12. Bukowski J. A comparison of techniques for computing PFD average. In: Proceedings: Annual reliability and maintainability symposium, 2005. pp. 590-595.
13. Hokstad P. Probability of failure on demand (PFD)-the formulas of IEC 61508 with focus on the 1oo2D voting. In: Proceedings of ESREL '05. In Adva Saf Reliab, 2005; p. 865-871.
14. Rausand M., and Høyland A. System reliability theory: models, statistical methods, and applications. 2nd ed (2004), Wiley-Interscience, Hoboken, NJ
15. Johnson S, Butler R. Automated generation of reliability models. In: Proceedings of the annual reliability and maintainability symposium, 1988; p. 17-22.
16. Houtermans M, Goble W, Brombacher A. Creating markov models for applications in the process industry. In: Proceedings of the 15th international conference on computer safety, reliability and security, SAFECOMP'96. New York: Springer, 1996.
17. Bukowski J. Modeling and Analyzing the effects of periodic inspection on the performance of safety-critical systems. IEEE Trans Reliab 50 3 (2001) 321-329
18. Hokstad P., and Corneliussen J. Loss of safety assessment and the IEC 61508 standard. Reliab Eng Sys Safety 83 1 (2004) 111-120
19. Shooman M, Laemmel A. Simplification of markov models by state merging. In: Shooman ML, Laemmel AE, Editors. Proceedings of the 1987 annual reliability and maintainability Symposuim.