search menu icon-carat-right cmu-wordmark

Eliminative Induction: A Basis for Arguing System Confidence

March 2013 Conference Paper
John B. Goodenough, Charles B. Weinstock, Ari Z. Klein

In this paper, the authors explain how the principle of eliminative induction provides a basis for assessing confidence in an assurance case argument.

Publisher:

ICSE/IEEE

Abstract

This paper was published by IEEE in the proceedings of the 35th International Conference on Software Engineering (ICSE 2013).

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. In this paper, we use the principle of eliminative induction to provide a justified basis for assessing how much confidence one should have in an assurance case argument.