3 papers
cs.SE2022
From Function to Failure
Hamid Jahanian
Failure Mode Reasoning (FMR) is a method for formal analysis of system-related faults. The method was originally developed for identifying failure modes of safety-critical systems…
cs.SE2020
Reasoning with failures
Hamid Jahanian, Annabelle McIver
Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. power plants, against catastrophic accidents. An SIS consists of hardware components and a controller softwa…
cs.SE2020
Failure Mode Reasoning in Model Based Safety Analysis
Hamid Jahanian, David Parker, Marc Zeller +2
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 p…