CERT-SEI

Resources for Assurance Case Discussion

Dependability Cases, Charles B. Weinstock, John B. Goodenough, John J. Hudak
An overview of the assurance case (dependability case) concept with an example of it applied to understanding a NASA clock synchronization protocol.

Arguing Security - Creating Security Assurance Cases, John B. Goodenough, Howard Lipson, Charles B. Weinstock
Part of the "Build Security In" website, this article discusses the application of assurance cases to the security domain.

Towards an Assurance Case Practice for Medical Devices, Charles B. Weinstock and John B. Goodenough
Explores the use of assurance cases for justifying claims of medical device safety.

Evaluating Hazard Mitigations with Dependability Cases, John B. Goodenough (Software Engineering Institute) and Matthew R. Barry (Software-Intensive Systems, Inc.)
This paper discusses the valued added by a Dependability Case (alternate name for an Assurance Case) to traditional hazard analysis.

Assurance Cases for Design Analysis of Complex System of Systems Software, Stephen Blanchette, Jr.
This paper discusses the application of assurance cases as a means of building confidence that the software design of a complex system of systems will actually meet the operational objectives set forth in the project's top-level requirements.

Evolution of an Assurance Case and Plan, John B. Goodenough, and Charles B. Weinstock
This web page discusses the use of assurance cases through the life-cycle.