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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/1015449.pdf


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