AdvoCATE (Assurance Case Automation Toolset) supports the development and management of safety/assurance cases, providing novel capabilities in automating their creation and, more broadly, organizing project assurance activities. It is architected around an integrated assurance model that combines hazard analysis, requirements, structured arguments, barrier models (bow tie diagrams), and verification artifacts.

Specific features include manual creation and editing of assurance arguments in the Goal Structuring Notation (GSN), assembly of manually-created and auto-generated assurance argument fragments, semi-automated creation of arguments through argument pattern instantiation, conducting hazard identification, specification of hazard causes and consequences, assessment of initial and residual risk levels given in terms of probability and severity, capture of risk reduction and assurance requirements, safety architecture modeling using bow tie diagrams, and traceability and consistency between related artifacts.

Keywords:  safety case, assurance case, structured arguments, GSN, bow tie diagrams, hazard analysis