Eliminative Induction: A Basis for Arguing System Confidence
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.