评估安全案例：声明与证据评估的自下而上指南
软件工程
2025-06-12 v1 计算机与社会
摘要
随着自动驾驶系统(ADS)技术的进步，确保安全和公众信任需要强大的保证框架，安全案例正成为实现这一目标的关键工具。本文探讨了一种评估安全案例如何由其声明和证据支持的方法，旨在为整个案例建立可信度。从安全案例构建模块（声明、证据和可选的格式相关条目）的描述开始，本文深入探讨了通过提供的证据对每个声明支持度的评估。为每个声明概述了两个评估领域：程序性支持（形式化过程规范）和实施支持（证明过程应用）。此外，还独立于声明支持进行了证据状态的评估。提供了评分策略和评估指南，包括用于声明支持和证据状态评估的详细评分表。本文进一步讨论了安全案例评估的治理、持续改进和时间考虑。结果和发现的报告在其主要用于内部决策以持续改进工作的背景下进行。所提出的方法建立在最先进的审计实践基础上，但专门解决了判断安全案例可信度的问题。虽然本身不是结论性的，但它为全面的“案例可信度评估”(CCA)提供了一个起点，从评估每个声明（单独和汇总）以及提供的每条证据的支持开始。通过深入研究ADS安全案例的技术复杂性，这项工作有助于正在进行的关于安全保证的讨论，并旨在促进ADS技术负责任地融入社会。
引用
@article{arxiv.2506.09929,
title = {Assessing a Safety Case: Bottom-up Guidance for Claims and Evidence Evaluation},
author = {Scott Schnelle and Francesca Favaro and Laura Fraade-Blanar and David Wichner and Holland Broce and Justin Miranda},
journal= {arXiv preprint arXiv:2506.09929},
year = {2025}
}