search menu icon-carat-right cmu-wordmark

Dependability Cases

Technical Note
In this 2004 report, the authors explain how to create a dependability case for a system that helps identify and keep track of details of large systems.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2004-TN-016
DOI (Digital Object Identifier)
10.1184/R1/6572984.v1

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.

Part of a Collection

Resources for Assurance Cases

Cite This Technical Note

Weinstock, C., Goodenough, J., & Hudak, J. (2004, May 1). Dependability Cases. (Technical Note CMU/SEI-2004-TN-016). Retrieved March 4, 2024, from https://doi.org/10.1184/R1/6572984.v1.

@techreport{weinstock_2004,
author={Weinstock, Charles and Goodenough, John and Hudak, John},
title={Dependability Cases},
month={May},
year={2004},
number={CMU/SEI-2004-TN-016},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6572984.v1},
note={Accessed: 2024-Mar-4}
}

Weinstock, Charles, John Goodenough, and John Hudak. "Dependability Cases." (CMU/SEI-2004-TN-016). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, May 1, 2004. https://doi.org/10.1184/R1/6572984.v1.

C. Weinstock, J. Goodenough, and J. Hudak, "Dependability Cases," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2004-TN-016, 1-May-2004 [Online]. Available: https://doi.org/10.1184/R1/6572984.v1. [Accessed: 4-Mar-2024].

Weinstock, Charles, John Goodenough, and John Hudak. "Dependability Cases." (Technical Note CMU/SEI-2004-TN-016). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 May. 2004. https://doi.org/10.1184/R1/6572984.v1. Accessed 4 Mar. 2024.

Weinstock, Charles; Goodenough, John; & Hudak, John. Dependability Cases. CMU/SEI-2004-TN-016. Software Engineering Institute. 2004. https://doi.org/10.1184/R1/6572984.v1