面向自主产品安全的安全绩效指标论证模式
软件工程
2024-10-02 v1
摘要
UL 4600 作为自主产品的安全标准，要求使用安全绩效指标（Safety Performance Indicators, SPIs）以持续监控并在识别违规情况时采取行动，以确保安全案例的有效性。尽管该标准及其伴随文献中提供了大量具体的 SPIs 示例，但其实现安全目标的贡献 rationale 往往未被明确阐述。本文present我们的初始工作，旨在构建一种用于确保系统全生命周期内安全案例有效性的 SPIs 使用论证模式。我们的目标是将使用 SPIs 的隐含论证过程变得显式，并据此分析可能削弱所选 SPIs 置信度的情形。为维持 SPIs 有效性的置信度，我们提出了一种通过使用元 SPIs（meta-SPIs）持续监控其预期性能的做法。
引用
@article{arxiv.2410.00578,
title = {Towards an Argument Pattern for the Use of Safety Performance Indicators},
author = {Daniel Ratiu and Tihomir Rohlinger and Torben Stolte and Stefan Wagner},
journal= {arXiv preprint arXiv:2410.00578},
year = {2024}
}