TY - GEN
T1 - Parametric faults in safety critical programs
AU - Jahanian, Hamid
PY - 2021
Y1 - 2021
N2 - In the process industry, Safety Instrumented Systems (SIS) are mechanisms that protect against major plant accidents. A typical SIS consists of hardware components and a software part, the program. Failure Mode Reasoning (FMR) was originally designed for identifying failure modes of SIS inputs based on an analysis of its program. In this paper we introduce an extended version of the method that can be used as a diagnostic means for identifying systemic faults concerning incorrect parameters in the program. The proposed method can particularly help with SIS factory acceptance testing, which is a critical process in validating the integrity of SIS prior to its installation on site. The original FMR used the program architecture to reason about failure modes. Here we use test cases as an additional source of information for reasoning. We describe the concepts, formalize the method, and demonstrate its application in an industrial case study.
AB - In the process industry, Safety Instrumented Systems (SIS) are mechanisms that protect against major plant accidents. A typical SIS consists of hardware components and a software part, the program. Failure Mode Reasoning (FMR) was originally designed for identifying failure modes of SIS inputs based on an analysis of its program. In this paper we introduce an extended version of the method that can be used as a diagnostic means for identifying systemic faults concerning incorrect parameters in the program. The proposed method can particularly help with SIS factory acceptance testing, which is a critical process in validating the integrity of SIS prior to its installation on site. The original FMR used the program architecture to reason about failure modes. Here we use test cases as an additional source of information for reasoning. We describe the concepts, formalize the method, and demonstrate its application in an industrial case study.
KW - Failure Mode Reasoning
KW - Safety Instrumented Systems
UR - http://www.scopus.com/inward/record.url?scp=85115118382&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-85248-1_4
DO - 10.1007/978-3-030-85248-1_4
M3 - Conference proceeding contribution
AN - SCOPUS:85115118382
SN - 9783030852474
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 51
EP - 66
BT - Formal Methods for Industrial Critical Systems
A2 - Lluch Lafuente, Alberto
A2 - Mavridou, Anastasia
PB - Springer, Springer Nature
CY - Cham, Switzerland
T2 - 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021
Y2 - 24 August 2021 through 26 August 2021
ER -