论文标题
基于模型的安全分析中的故障模式推理
Failure Mode Reasoning in Model Based Safety Analysis
论文作者
论文摘要
故障模式推理（FMR）是一种用于分析安全仪器系统（SIS）故障的新方法。该方法使用对SIS程序的自动分析来计算SIS部分中的潜在故障。在本文中，我们使用电力行业的案例研究来证明如何与其他基于模型的安全分析方法（例如嘻哈和CFT）一起使用FMR，以实现对SIS的全面安全分析。在此案例研究中，FMR涵盖了SIS输入的分析，而HIP-HOP/CFT模拟了逻辑求解器和最终元素的故障。 SIS程序通过FMR分析，结果通过自动接口导出到嘻哈/CFT。最终结果是SIS故障模式的集体清单及其可靠性措施。我们从定性和定量观点介绍并审查结果。
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.
