Advanced Search

Content Type

Topics

Publication Date

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.

Cite This Report

Show Citation Formats

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 October 20, 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