Software Architecture

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.

Find Us Here

Find us on Youtube  Find us on LinkedIn  Find us on twitter  Find us on Facebook

Share This Page

Share on Facebook  Send to your Twitter page  Save to del.ico.us  Save to LinkedIn  Digg this  Stumble this page.  Add to Technorati favorites  Save this page on your Google Home Page 

For more information

Contact Us

info@sei.cmu.edu

412-268-5800

Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.