A note on failure mode reasoning

Hamid Jahanian*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationFormal Methods and Software Engineering
Subtitle of host publication21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings
EditorsYamine Ait-Ameur, Shengchao Qin
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Pages503-506
Number of pages4
ISBN (Electronic)9783030324094
ISBN (Print)9783030324087
DOIs
Publication statusPublished - 2019
Event21st International Conference on Formal Engineering Methods, ICFEM 2019 - Shenzhen, China
Duration: 5 Nov 20199 Nov 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11852 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Conference on Formal Engineering Methods, ICFEM 2019
CountryChina
CityShenzhen
Period5/11/199/11/19

Fingerprint Dive into the research topics of 'A note on failure mode reasoning'. Together they form a unique fingerprint.

Cite this