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: |
Preview
Download (1MB) | Preview
Official URL: http://arxiv.org/abs/2409.10665v1
Export
Downloads
Downloads per month over past year
Altmetric
CORE (COnnecting REpositories)
Actions (login required)