Eliminative Induction: A Basis for Arguing System Confidence

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2013
Accession Number
ADA586021

Entities

People

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

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Biomedical

DTIC Thesaurus Topics

  • Abstracts
  • Ambiguity
  • Cognitive Systems Engineering
  • Department Of Defense
  • Engineering
  • Human-Computer Interaction
  • Information Operations
  • Materials
  • Reasoning
  • Software Development
  • Test And Evaluation
  • Universities

Readers

  • Artificial Intelligence
  • Regression Analysis.
  • Software Engineering.