City Research Online

Confidence in Assurance 2.0 Cases

Bloomfield, R. ORCID: 0000-0002-2050-6151 & Rushby, J. (2024). Confidence in Assurance 2.0 Cases.

Abstract

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.

Publication Type: Other (Preprint)
Additional Information: Copyright, the authors 2025.
Subjects: H Social Sciences > HM Sociology
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology
School of Science & Technology > Department of Computer Science
School of Science & Technology > Department of Computer Science > Software Reliability
SWORD Depositor:
[thumbnail of 2409.10665v1.pdf]
Preview
Text - Submitted Version
Download (1MB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login