Eliminative Induction: A Basis for Arguing System Confidence

John Goodenough, Charles Weinstock, and Ari Klein


Track: New Ideas and Emerging Results
Session: Dependability Perspectives
Assurance cases provide a structured method of explaining why a system has some desired property, e.g., 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.