基于模型的安全分析中的故障模式推理
Failure Mode Reasoning in Model Based Safety Analysis
摘要：
故障模式推理（FMR）是分析安全仪表系统（SIS）故障的一种新方法。该方法使用SIS程序的自动分析来计算SIS部件中的潜在故障。在本文中，我们使用的案例研究，从电力行业来展示如何FMR可以与其他基于模型的安全分析方法，如HiP-HOPS和CFT，以实现全面的安全分析SIS结合使用。在本案例研究中，FMR涵盖SIS输入的分析，而HiP-HOPS/CFT对逻辑解算器和最终元件的故障进行建模。SIS程序由FMR进行分析，结果通过自动接口导出到HiP-HOPS/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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
