Failure Mode Reasoning in Model Based Safety Analysis

Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.

[1]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[2]  Hiromitsu Kumamoto,et al.  Probabilistic Risk Assessment and Management for Engineers and Scientists , 1996 .

[3]  Septavera Sharvia,et al.  A synthesis of logic and bio-inspired techniques in the design of dependable systems , 2016, Annu. Rev. Control..

[4]  Martin Walker,et al.  Model-Based Functional Safety Analysis and Architecture Optimisation , 2013 .

[5]  Hamid Jahanian,et al.  Failure Mode Reasoning , 2019, 2019 4th International Conference on System Reliability and Safety (ICSRS).

[6]  Hamid Jahanian,et al.  Generalizing PFD formulas of IEC 61508 for KooN configurations. , 2015, ISA transactions.

[7]  Karl Stecher,et al.  Evaluation of Large Fault-Trees with Repeated Events Using an Efficient Bottom-Up Algorithm , 1986, IEEE Transactions on Reliability.

[8]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[9]  K. Stecher.  Fault tree analysis, taking into account causes of common mode failures , 1984 .

[10]  Dominik Domis,et al.  Advances in component fault trees , 2018, Safety and Reliability – Safe Societies in a Changing World.

[11]  Cojazzi Giacomo,et al.  Reliability of Safety-Critical Systems , 2007 .

[12]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..