Confidence in Assurance 2.0 Cases
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:UFD6V3UCrecord.jsonopen to challenge →
classification
cs.SE
keywords
confidenceassuranceapproachassessedassessmentcallcasecases
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.