We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Software Engineering

Title: Assurance 2.0: A Manifesto

Authors: Robin Bloomfield (1), John Rushby (2) ((1) Adelard LLP and City, University of London (2) SRI International)
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.
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
Cite as: arXiv:2004.10474 [cs.SE]
  (or arXiv:2004.10474v3 [cs.SE] for this version)

Submission history

From: Robin Bloomfield [view email]
[v1] Wed, 22 Apr 2020 10:08:44 GMT (788kb,D)
[v2] Tue, 9 Jun 2020 20:48:16 GMT (788kb,D)
[v3] Thu, 14 Jan 2021 12:40:46 GMT (413kb,D)

Link back to: arXiv, form interface, contact.