Assurance 2.0 案例中的置信度
软件工程
2025-08-11 v2
摘要
保障案例应为关于系统或程序（如安全或安保）的某项关键属性的声明提供可辩护的置信度。我们探讨了如何在我们称之为 Assurance 2.0 的严谨方法中评估置信度。我们的目标是不可推翻的置信度，并从四个不同角度进行研究：逻辑健全性、概率评估、辩证检验和残余风险。
关键词
引用
@article{arxiv.2409.10665,
title = {Confidence in Assurance 2.0 Cases},
author = {Robin Bloomfield and John Rushby},
journal= {arXiv preprint arXiv:2409.10665},
year = {2025}
}
备注
arXiv admin note: substantial text overlap with arXiv:2205.04522. That's the technical report from which this paper was derived