DocumentCode
3256153
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
fYear
2013
fDate
19-19 May 2013
Firstpage
7
Lastpage
11
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Assurance Cases for Software-Intensive Systems (ASSURE), 2013 1st International Workshop on
Conference_Location
San Francisco, CA
Type
conf
DOI
10.1109/ASSURE.2013.6614264
Filename
6614264
Link To Document