Assurance 2.0: A Manifesto
Robin Bloomfield (Adelard LLP and City, University of London)
and John Rushby (SRI CSL)
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.
arXiv 2004.10474
or local
copy
Now published in
29th
Safety-Critical Systems Symposium
(SSS'21)
BibTeX Entry
@article{Bloomfield&Rushby:Assurance2,
TITLE = {Assurance 2.0: A Manifesto},
AUTHOR = {Robin Bloomfield and John Rushby},
JOURNAL = {arXiv preprint arXiv:2004.10474},
YEAR = 2020
}
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