Abstract
Safety instrumented systems or emergency shut-down systems play an important role in the oil, gas and process industry. New standards, like the ISA SP84 or the IEC65, are under development to come to an unambiguous method to evaluate these systems in terms of safety. Markov modelling is a technique that plays an important role in these new standards. The paper represents a program that makes it possible to automatically generate Markov models for safety instrumented systems and it explains the requirements and assumptions that have to be made. A practical case study is performed to show the results of the program and to explain the voting aspect which many systems use
Original language | English |
---|---|
Title of host publication | SAFECOMP 96 / the 15th international conference on computer safety, reliability and security, Vienna, Austria, October 23-25, 1996 |
Editors | E. Schoitsch |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 230-239 |
ISBN (Print) | 3-540-76070-9 |
Publication status | Published - 1997 |