Dependability Cases

Abstract

Many large software systems display fragility or a lack of dependability caused by inattention to details at various stages of development (e.g., missing data, undocumented assumptions, lack of testing), resulting in a failure to catch errors. This technical note explains how to create a dependability case for a system that helps identify and keep track of such details. A dependability case is defined here as a structured argument providing evidence that a system meets its specified dependability requirements. This technical note describes how to structure the argument and present evidence to support it. A sample problem is presented, as well as issues raised by that problem and future goals.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2004
Accession Number
ADA455625

Entities

People

  • Charles Weinstock
  • John B. Goodenough
  • John J. Hudak

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Accuracy
  • Artificial Satellites
  • Calibration
  • Clocks
  • Engineering
  • Engineers
  • Governments
  • Information Processing
  • Information Systems
  • Jet Propulsion
  • Reasoning
  • Safety
  • Security
  • Software Development
  • Software Testing
  • Spacecraft
  • Telemetry

Fields of Study

  • Computer science

Readers

  • Fault Tolerant Diagnosis of Black and White Balloon Isolation Tests Using ¥.
  • Systems Analysis and Design