Eliminative induction: a basis for arguing system confidence

John B. Goodenough, Charles B. Weinstock, Ari Z. Klein

DOI 10.1109/icse.2013.6606668 dblp

Abstract

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.

BibTeX

@inproceedings{Goodenough-al:ICSE13,
  author    = {John B. Goodenough and
               Charles B. Weinstock and
               Ari Z. Klein},
  title     = {Eliminative induction: a basis for arguing system confidence},
  booktitle = {ICSE},
  pages     = {1161--1164},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
}

Eliminative induction: a basis for arguing system confidence

Abstract

Related papers