@inproceedings{f3395a79c29145b4af1e457db78f203e,
title = "A note on failure mode reasoning",
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.",
author = "Hamid Jahanian",
year = "2019",
doi = "10.1007/978-3-030-32409-4_33",
language = "English",
isbn = "9783030324087",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "503--506",
editor = "Yamine Ait-Ameur and Shengchao Qin",
booktitle = "Formal Methods and Software Engineering",
address = "United States",
note = "21st International Conference on Formal Engineering Methods, ICFEM 2019 ; Conference date: 05-11-2019 Through 09-11-2019",
}