Confidence in Assurance 2.0 Cases

Robin Bloomfield and John Rushby

Expanded version of a paper from The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Springer LNCS 14780, pp. 1--23, Sep. 2024,

Also available as arXiv 2409.10665

DOI for original paper: https://doi.org/10.1007/978-3-031-66676-6_1

*NEW* An overview of my papers on assurance 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.

Paper

Note that the arXiv entry says "admin note: substantial text overlap with arXiv 2205.04522". Well, of course there's overlap! The other paper is a comprehensive tech report, and this is a published summary of that. In the course of writing this paper, we also updated the tech report substantially. Due to page limitations, we had to compress the paper significantly, so for this online version we restored some of the most relevant and interesting text from the tech report. There's still plenty of additional material in the tech report, so please look at that, too.

PDF and also available as arXiv 2409.10665

HTML courtesy of arXiv 2409.10665.

See also fully detailed Technical Report Assessing Confidence in Assurance 2.0

BibTeX Entry

\newcommand{\arxiv}[1]{\href{https://arxiv.org/abs/#1}{\tt arXiv:#1}}

@string{lncs = {Lecture Notes in Computer Science}}
@string{sv = {Springer}}

@inproceedings{Bloomfield&Rushby24:CBJ,
    TITLE = {Confidence in {Assurance 2.0 Cases}},
    AUTHOR = {Robin Bloomfield and John Rushby},
    BOOKTITLE = {The Practice of Formal Methods: Essays in Honour
        of {Cliff Jones}, Part {I}},
    EDITOR = {Ana Cavalcanti and James Baxter},
    ADDRESS = {York, UK},
    PAGES = {1--23},
    MONTH = sep,
    YEAR = 2024,
    SERIES = lncs,
    VOLUME = 14780,
    PUBLISHER = sv,
    NOTE = {Expanded version available at \arxiv{2409.10665}}
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page