Resources

SEI Resources

Dependability Cases, Charles B. Weinstock, John B. Goodenough, John J. Hudak (Software Engineering Institute)
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 (Software Engineering Institute)
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 (Software Engineering Institute)
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. (Software Engineering Institute)
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.

Other Resources

The Goal Structuring Notation—A Safety Argument Notation, Tim Kelly and Rob Weaver, University of York
An overview of safety cases, and their development in Goal Structuring Notation.

Def Stan 00-56: "Safety Management Requirements for Defence Systems", UK Ministry of Defence
See http://www.dstan.mod.uk/data/00/056/01000400.pdf and http://www.dstan.mod.uk/data/00/056/02000400.pdf. These two standards describe the requirements and suggested implementation practices for safety management for defence systems in the United Kingdom.

Assuring Operational Systems - A Safety Case Study, Simon Di Nucci, QinetiQ
These slides tell a story about a complex system certified with the assistance of assurance cases.

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.