Advanced Search

Content Type

Topics

Publication Date

Toward a Theory of Assurance Case Confidence

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 Report

Show Citation Formats

SEI

Goodenough, John; Weinstock, Charles; & Klein, Ari. Toward a Theory of Assurance Case Confidence (CMU/SEI-2012-TR-002). Software Engineering Institute, Carnegie Mellon University, 2012. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=28067

IEEE

Goodenough. John, Weinstock. Charles, and Klein. Ari, "Toward a Theory of Assurance Case Confidence," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2012-TR-002, 2012. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=28067

APA

Goodenough, John., Weinstock, Charles., & Klein, Ari. (2012). Toward a Theory of Assurance Case Confidence (CMU/SEI-2012-TR-002). Retrieved November 23, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=28067

CHI

John Goodenough, Charles Weinstock, & Ari Klein. Toward a Theory of Assurance Case Confidence (CMU/SEI-2012-TR-002). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2012. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=28067

MLA

Goodenough, John., Weinstock, Charles., & Klein, Ari. 2012. Toward a Theory of Assurance Case Confidence (Technical Report CMU/SEI-2012-TR-002). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=28067