Probabilistic safety assessment and management of control laws based on strict Markov analysis

This paper presents a probabilistic safety assessment and management framework based on strict Markov analysis according to the international safety standard, IEC 61508. The framework enables us to take possible common-cause failures into consideration, whose measures are important from a practical viewpoint of system safety. Also the framework establishes the existence of a trade-off between safety and guaranteed control performance quantitatively for the first time ever.