Measuring Assurance Case Confidence using Baconian Probabilities
• Conference Paper
In this 2013 paper, the authors discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case.
Publisher
Software Engineering Institute
Subjects
Abstract
This paper will be published by IEEE for the 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) in 2013.
The basis for assessing the validity of an assurance case is an active area of study. In this paper, we discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case. This is an application of eliminative induction and the notion of Baconian probability as put forward by L. Jonathan Cohen.