Computer Safety, Reliability, and Security

Volume 7613 of the series Lecture Notes in Computer Science pp 8-21

AdvoCATE: An Assurance Case Automation Toolset

  • Ewen DenneyAffiliated withSGT / NASA Ames Research Center
  • , Ganesh PaiAffiliated withSGT / NASA Ames Research Center
  • , Josef PohlAffiliated withSGT / NASA Ames Research Center

* Final gross prices may vary according to local VAT.

Get Access


We present AdvoCATE, an Assurance Case Automation ToolsEt, to support the automated construction and assessment of safety cases. In addition to manual creation and editing, it has a growing suite of automated features. In this paper, we highlight its capabilities for (i) inclusion of specific metadata, (ii) translation to and from various formats, including those of other widely used safety case tools, (iii) composition, with auto-generated safety case fragments, and (iv) computation of safety case metrics which, we believe, will provide a transparent, quantitative basis for assessment of the state of a safety case as it evolves. The tool primarily supports the Goal Structuring Notation (GSN), is compliant with the GSN Community Standard Version 1, and the Object Modeling Group Argumentation Metamodel (OMG ARM).


Assurance cases Safety cases Metrics Safety management Safety process Safety toolset Formal methods