A Note on Failure Mode Reasoning

  • Hamid JahanianEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11852)


Safety Instrumented Systems (SIS) protect major hazard facilities against catastrophic accidents. A SIS consists of hardware components and a software part, the program. Failure Mode Reasoning (FMR) is a novel abstraction technique for identifying and quantifying failure modes of SIS hardware components based on an analysis of the SIS program. In FMR, the program is divided into smaller segments, for each of which the input failure modes are identified based on the function of the segment and the given failure mode at its output. The results of segment analyses are then combined and simplified in order to derive a short list of failure modes. The list can also be used to calculate the aggregated probability of failure. This note outlines the underlying concepts of FMR.


  1. 1.
    IEC 60812 Ed. 2.0: Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA). IEC (2006)Google Scholar
  2. 2.
    Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick III, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. Technical report, NASA (2002)Google Scholar
  3. 3.
    Sharvia, S., Papadopoulos, Y.: Integrating model checking with HiP-HOPS in model-based safety analysis. Reliab. Eng. Syst. Saf. 135, 64–80 (2015)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Macquarie UniversitySydneyAustralia

Personalised recommendations