DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA455625
Title:
Dependability Cases
Descriptive Note:
Final rept.
Corporate Author:
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Report Date:
2004-05-01
Pagination or Media Count:
31.0
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE