Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Henley, E.J., Kumamoto, H.: Probabilistic Risk Assessment and Management for Engineers and Scientists, 2nd edn. IEEE Press, New York (1996)
IEC: IEC 61025: fault tree analysis (FTA) (2006)
IEC: IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems - part 6: guidelines on the application of IEC 61508–2 and IEC 61508–3 (2010)
IEC: Programmable controllers - Part 3: programming languages (2013)
IEC: Functional safety-safety instrumented systems for the process industry sector - Part 1: framework, definitions, system, hardware and application programming requirements (2016)
ISA: ISA-TR84.00.02-2015, Safety integrity level (SIL) verification of safety instrumented functions (2015)
Jahanian, H.: Generalizing PFD formulas of IEC 61508 for KooN configurations. ISA Trans. 55, 168–174 (2015)
Jahanian, H.: Failure mode reasoning. In: 2019 4th International Conference on System Reliability and Safety (ICSRS), pp. 295–303. IEEE (2019)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian workshop on Safety Critical Systems and Software-Volume 33, pp. 37–46. Australian Computer Society, Inc. (2003)
Kaiser, B., et al.: Advances in component fault trees. In: Proceedings of ESREL (2018)
Papadopoulos, Y., McDermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Saf. 71(3), 229–247 (2001)
Papadopoulos, Y., et al.: A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control 41, 170–182 (2016)
Parker, D., Walker, M., Papadopoulos, Y.: Model-based functional safety analysis and architecture optimisation, pp. 79–92. IGI Global (2013)
Rausand, M.: Reliability of Safety-Critical Systems. Wiley, Hoboken (2014)
Stecher, K.: Fault tree analysis, taking into account causes of common mode failures. Siemens Forsch. Entwicklungsberichte (1984)
Stecher, K.: Evaluation of large fault-trees with repeated events using an efficient bottom-up algorithm. IEEE Trans. Reliab. 35(1), 51–58 (1986)
Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook (NUREG-0492). US Nuclear Regulatory Commission (1981)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Jahanian, H., Parker, D., Zeller, M., McIver, A., Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. In: Zeller, M., Höfig, K. (eds) Model-Based Safety and Assessment. IMBSA 2020. Lecture Notes in Computer Science(), vol 12297. Springer, Cham. https://doi.org/10.1007/978-3-030-58920-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-58920-2_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58919-6
Online ISBN: 978-3-030-58920-2
eBook Packages: Computer ScienceComputer Science (R0)