安全案例中基于危险分析的论证：一种模块化论证模式
软件工程
2025-03-21 v2 系统与控制
摘要
我们观察到安全论证往往过于抽象，例如解决方案指向大型包，论证策略涉及复杂推理步骤，上下文与假设缺乏可追溯性。这些问题会降低我们对这类论证所需的信心。本文中，我们研究基于(i)危险分析(HA)结果与(ii)安全措施设计（即两者均用于信心评估）来构建可信论证。我们提出一种集成三种HA技术（即FTA、FMEA与STPA）以及针对这些分析结果的反应（即安全需求与设计增量）的论证模式。我们提供了一个示例说明该模式如何助力论证构建，并讨论了在形式化分析及计算机辅助构建安全案例中使用该模式的步骤。
引用
@article{arxiv.1704.03672,
title = {Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern},
author = {Mario Gleirscher and Carmen Carlan},
journal= {arXiv preprint arXiv:1704.03672},
year = {2025}
}