search menu icon-carat-right cmu-wordmark

Eliminative Argumentation: A Basis for Arguing Confidence in System Properties

Technical Report
This report defines the concept of eliminative argumentation and provides a basis for assessing how much confidence one should have in an assurance case argument.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2015-TR-005
DOI (Digital Object Identifier)
10.1184/R1/6573413.v1

Abstract

Assurance cases provide a structured method of explaining why a system has some desired property, for example, that the system is safe. But there is no agreed approach for explaining what degree of confidence one should have in the conclusions of such a case. This report defines a new concept, eliminative argumentation, that provides a philosophically grounded basis for assessing how much confidence one should have in an assurance case argument. This report will be of interest mainly to those familiar with assurance case concepts and who want to know why one argument rather than another provides more confidence in a claim. The report is also potentially of value to those interested more generally in argumentation theory.

Cite This Technical Report

Goodenough, J., Weinstock, C., & Klein, A. (2015, February 25). Eliminative Argumentation: A Basis for Arguing Confidence in System Properties. (Technical Report CMU/SEI-2015-TR-005). Retrieved February 23, 2024, from https://doi.org/10.1184/R1/6573413.v1.

@techreport{goodenough_2015,
author={Goodenough, John and Weinstock, Charles and Klein, Ari},
title={Eliminative Argumentation: A Basis for Arguing Confidence in System Properties},
month={Feb},
year={2015},
number={CMU/SEI-2015-TR-005},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6573413.v1},
note={Accessed: 2024-Feb-23}
}

Goodenough, John, Charles Weinstock, and Ari Klein. "Eliminative Argumentation: A Basis for Arguing Confidence in System Properties." (CMU/SEI-2015-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, February 25, 2015. https://doi.org/10.1184/R1/6573413.v1.

J. Goodenough, C. Weinstock, and A. Klein, "Eliminative Argumentation: A Basis for Arguing Confidence in System Properties," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2015-TR-005, 25-Feb-2015 [Online]. Available: https://doi.org/10.1184/R1/6573413.v1. [Accessed: 23-Feb-2024].

Goodenough, John, Charles Weinstock, and Ari Klein. "Eliminative Argumentation: A Basis for Arguing Confidence in System Properties." (Technical Report CMU/SEI-2015-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 25 Feb. 2015. https://doi.org/10.1184/R1/6573413.v1. Accessed 23 Feb. 2024.

Goodenough, John; Weinstock, Charles; & Klein, Ari. Eliminative Argumentation: A Basis for Arguing Confidence in System Properties. CMU/SEI-2015-TR-005. Software Engineering Institute. 2015. https://doi.org/10.1184/R1/6573413.v1