Assurance 2.0: A Manifesto
Robin Bloomfield (Adelard LLP and City, University of London)
and John Rushby (SRI CSL)
An overview of my papers on
assurance cases
Abstract
System assurance is confronted by significant challenges. Some of
these are new, for example, autonomous systems with major functions
driven by machine learning and AI, and ultra-rapid system development,
while others are the familiar, persistent issues of the need for
efficient, effective and timely assurance. Traditional assurance is
seen as a brake on innovation and often costly and time consuming. We
therefore propose a modernized framework, Assurance 2.0, as an enabler
that supports innovation and continuous incremental assurance. Perhaps
unexpectedly, it does so by making assurance more rigorous, with
increased focus on the reasoning and evidence employed, and explicit
identification of defeaters and counterevidence.
Paper
Pages 85-108 in proceedings available at
Amazon
UK, editors Mike Parsons and Mark Nicholson.
Final draft version available as
arXiv 2004.10474
or local
copy
Slides
These are by Robin Bloomfield, who gave the talk:
PDF
BibTeX Entry
@INPROCEEDINGS{Bloomfield&Rushby:Assurance2,
AUTHOR = {Robin Bloomfield and John Rushby},
TITLE = {Assurance 2.0: A Manifesto},
BOOKTITLE = {Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium (SSS'21)},
YEAR = 2021,
EDITOR = {Mike Parsons and Mark Nicholson},
PAGES = {85--108},
ORGANIZATION = {Safety-Critical Systems Club},
ADDRESS = {York, UK},
MONTH = feb,
NOTE = {Final draft available as {arXiv preprint arXiv:2004.10474}}
}
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