Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Failure Mode Reasoning in Model Based Safety Analysis   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.

29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg