Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Technical Note

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. The 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.

  • Download

Part of a Collection

Resources for Assurance Cases

Cite This Report

SEI

Weinstock, Charles; Goodenough, John; & Hudak, John. Dependability Cases. CMU/SEI-2004-TN-016. Software Engineering Institute, Carnegie Mellon University. 2004. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6919

IEEE

Weinstock. Charles, Goodenough. John, and Hudak. John, "Dependability Cases," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2004-TN-016, 2004. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6919

APA

Weinstock, Charles., Goodenough, John., & Hudak, John. (2004). Dependability Cases (CMU/SEI-2004-TN-016). Retrieved February 18, 2019, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6919

CHI

Charles Weinstock, John Goodenough, & John Hudak. Dependability Cases (CMU/SEI-2004-TN-016). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2004. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6919

MLA

Weinstock, Charles., Goodenough, John., & Hudak, John. 2004. Dependability Cases (Technical Report CMU/SEI-2004-TN-016). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6919

BibTex

@techreport{WeinstockDependabilityCases2004,
title={Dependability Cases},
author={Charles Weinstock and John Goodenough and John Hudak},
year={2004},
number={CMU/SEI-2004-TN-016},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6919} }