An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how confidence can be assessed in the rigorous approach we call Assurance 2.0. Our goal is indefeasible confidence and we approach it from four different perspectives: logical soundness, probabilistic assessment, dialectical examination, and residual risks.
@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}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2205.04522. That's the technical report from which this paper was derived