Software Engineering Institute Carnegie Mellon

Performance-Critical Systems
Introduction
Cooperation
Conferences
PCS Staff
Integration of Software-Intensive Systems
COTS-Based Systems
Dynamic Systems Program

Structure of an Assurance Case

AC big

 

Central to analysis-based assurance is the assurance case method. An assurance case is a structured set of arguments and a body of evidence showing that a system satisfies specific claims with respect to a given quality attribute. This drawing is an absract view of an how an argument is supported in an assurance case.

 

Go to