AdvoCATE User GuideThis tutorial gives an overview of AdvoCATE - the assurance case automation toolset - which provides a suite of features for safety risk management, including hazard analysis, the linking of hazards to requirement logs, risk modeling using bow tie diagrams, structured arguments, and evidence logs. In this tutorial we show how these related assurance artifacts can be combined with each other in an integrated assurance case.
Document ID
20220009664
Acquisition Source
Ames Research Center
Document Type
Other - User Guide
Authors
Ewen W Denney (Wyle (United States) El Segundo, California, United States)
Date Acquired
June 22, 2022
Publication Date
July 12, 2022
Publication Information
Subject Category
Quality Assurance And Reliability
Meeting Information
Meeting: NASA V&V Commercial Systems TC-3 Conference and Seminar Series