Accession Number : AD1015449

Title :   Eliminative Argumentation: A Basis for Arguing Confidence in System Properties

Descriptive Note : Technical Report

Corporate Author : Carnegie Mellon University -Software Engineering Institute Pittsburgh United States

Personal Author(s) : Goodenough,John B ; Weinstock,Charles B ; Klein,Ari Z

Full Text :

Report Date : 01 Feb 2015

Pagination or Media Count : 71

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.

Descriptors :   software engineering , information assurance , reasoning

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE