Current Practices in Constructing and Evaluating Assurance Cases With Applications to Aviation

[摘要] This report introduces and provides an overview of assurance cases including theory, practice, and evaluation. This report includes a section that introduces the principles, terminology, and history of assurance cases. The core of the report presents twelve example uses of assurance cases from a range of domains, using a novel classification scheme. The report also reviews the state of the art in assurance case evaluation methods.

[发布日期] 2015-01-01

[学科分类] 计算机系统及组成