Title :
Measuring assurance case confidence using Baconian probabilities
Author :
Weinstock, Charles B. ; Goodenough, John B. ; Klein, Ari Z.
Author_Institution :
Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
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.
Keywords :
inference mechanisms; probability; Baconian probability; assurance case confidence measuring; confidence assessment; eliminative induction; Bayes methods; Cognition; Educational institutions; Hazards; Reliability; Software engineering; Baconian probability; assurance case; defeasible reasoning; eliminative induction; probability; safety case;
Conference_Titel :
Assurance Cases for Software-Intensive Systems (ASSURE), 2013 1st International Workshop on
Conference_Location :
San Francisco, CA
DOI :
10.1109/ASSURE.2013.6614264
