基于模型的安全分析中的故障模式推理
软件工程
2020-07-21 v2
摘要
故障模式推理(FMR)是一种用于分析安全仪表系统(SIS)中故障的新方法。该方法通过对 SIS 程序自动分析来计算 SIS 部分中的潜在故障。在本文中，我们使用来自电力行业的案例研究来展示 FMR 如何与其他基于模型的安全分析方法（如 HiP-HOPS 和 CFT）结合使用，以实现对 SIS 的全面安全分析。在该案例研究中，FMR 覆盖 SIS 输入的分析，而 HiP-HOPS/CFT 对逻辑解算器和最终元件的故障建模。SIS 程序由 FMR 分析，结果通过自动化接口导出至 HiP-HOPS/CFT。最终产出是 SIS 故障模式及其可靠性度量的汇总列表。我们从定性与定量两个角度展示并审阅结果。
引用
@article{arxiv.2005.06279,
title = {Failure Mode Reasoning in Model Based Safety Analysis},
author = {Hamid Jahanian and David Parker and Marc Zeller and Annabelle McIver and Yiannis Papadopoulos},
journal= {arXiv preprint arXiv:2005.06279},
year = {2020}
}
备注
15 pages, 5 figures, submitted to IMBSA 2020