Toward a Theory of Assurance Case Confidence
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2012-TR-002DOI (Digital Object Identifier)
10.1184/R1/6585362.v1Topic or Tag
Abstract
Assurance cases provide an argument and evidence explaining why a claim about some system property holds. This report outlines a framework for justifying confidence in the truth of such an assurance case claim. The framework is based on the notion of eliminative induction—the principle first put forward by Francis Bacon that confidence in the truth of a hypothesis or claim increases as reasons for doubting its truth are identified and eliminated. Possible reasons for doubting the truth of a claim arise from analyzing an assurance case using defeasible reasoning concepts. Finally, the notion of Baconian probability provides a measure of confidence based on how many defeaters have been identified and eliminated.
Cite This Technical Report
Goodenough, J., Weinstock, C., & Klein, A. (2012, September 1). Toward a Theory of Assurance Case Confidence. (Technical Report CMU/SEI-2012-TR-002). Retrieved December 27, 2024, from https://doi.org/10.1184/R1/6585362.v1.
@techreport{goodenough_2012,
author={Goodenough, John and Weinstock, Charles and Klein, Ari},
title={Toward a Theory of Assurance Case Confidence},
month={{Sep},
year={{2012},
number={{CMU/SEI-2012-TR-002},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6585362.v1},
note={Accessed: 2024-Dec-27}
}
Goodenough, John, Charles Weinstock, and Ari Klein. "Toward a Theory of Assurance Case Confidence." (CMU/SEI-2012-TR-002). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, September 1, 2012. https://doi.org/10.1184/R1/6585362.v1.
J. Goodenough, C. Weinstock, and A. Klein, "Toward a Theory of Assurance Case Confidence," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2012-TR-002, 1-Sep-2012 [Online]. Available: https://doi.org/10.1184/R1/6585362.v1. [Accessed: 27-Dec-2024].
Goodenough, John, Charles Weinstock, and Ari Klein. "Toward a Theory of Assurance Case Confidence." (Technical Report CMU/SEI-2012-TR-002). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Sep. 2012. https://doi.org/10.1184/R1/6585362.v1. Accessed 27 Dec. 2024.
Goodenough, John; Weinstock, Charles; & Klein, Ari. Toward a Theory of Assurance Case Confidence. CMU/SEI-2012-TR-002. Software Engineering Institute. 2012. https://doi.org/10.1184/R1/6585362.v1