Pith. sign in

REVIEW 3 cited by

Assurance 2.0: A Manifesto

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2004.10474 v3 pith:RPXK5EV4 submitted 2020-04-22 cs.SE cs.SYeess.SY

classification cs.SEcs.SYeess.SY
keywords assuranceinnovationsystemautonomousbrakechallengesconfrontedconsuming
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The Impact of Operational-Data Fidelity when Assessing Safety-Critical Autonomous-Vehicle Software

    cs.RO 2026-08 conditional novelty 6.0 of 10

    Coarse failure data without false-positive vs false-negative labels can make conservative Bayesian reliability claims for AV software dangerously optimistic, sometimes infinitely so after a single failure.

  2. Assessing confidence in frontier AI safety cases

    cs.CY 2025-02 conditional novelty 6.0 of 10

    Applying Assurance 2.0 to a cyber-misuse safety case, the authors show that high top-level confidence requires extremely high confidence in every component, and propose an LLM-based Delphi for eliciting those componen...

  3. Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems

    cs.CY 2025-01 accept novelty 5.0 of 10

    A position paper mapping traditional critical systems engineering to AI safety frameworks and advocating Assurance 2.0-style cases, broader boundaries, and explicit risk tolerability.

Pith tools