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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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

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 December 19, 2014, 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