Current Practices in Constructing and Evaluating Assurance Cases With Applications to AviationThis 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.
Document ID
20150002819
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
David J Rinehart (Sensis Corporation East Syracuse, New York, United States)
John C Knight (Dependable Computing (United States) Charlottesville, Virginia, United States)
Jonathan Rowanhill (Dependable Computing (United States) Charlottesville, Virginia, United States)