AdvoCATE: An Assurance Case Automation Toolset

  • Ewen Denney
  • Ganesh Pai
  • Josef Pohl
Conference paper

DOI: 10.1007/978-3-642-33675-1_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)
Cite this paper as:
Denney E., Pai G., Pohl J. (2012) AdvoCATE: An Assurance Case Automation Toolset. In: Ortmeier F., Daniel P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg

Abstract

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).

Keywords

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ewen Denney
    • 1
  • Ganesh Pai
    • 1
  • Josef Pohl
    • 1
  1. 1.SGT / NASA Ames Research CenterMoffett FieldUSA

Personalised recommendations