AdvoCATE: An Assurance Case Automation Toolset [chapter]

Ewen Denney, Ganesh Pai, Josef Pohl
2012 Lecture Notes in Computer Science  
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
more » ... ase 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).
doi:10.1007/978-3-642-33675-1_2 fatcat:mobapy5rtjcfldi5ar47prz4xq