The following is a list of known tools that support GSN. A GSN Tool is considered to be something that facilitates development, presentation, and maintenance of an (assurance) argument using the Goal Structuring Notation.
This list does NOT form an endorsement, recommendation or validation of the level of conformance with the GSN standard. It is intended to provide signposting to the existance of the tool and an abstract of the tools capabilities, typically provided from the tool provider's website/marketing material. It is not a complete list and may not be up to date with the latest releases or features. Tools are listed in alphabetical order.
This page was last updated on 4th August 2021.
If you have any comments on the tools, or would like to add a tool to the list, please add comments to our forum (here)
AdvoCATE (Assurance Case Automation Toolset) [NASA - Website]
"Engineered atop formal foundations, the Assurance Case Automation Toolset (AdvoCATE) supports the development and management of safety/assurance cases, providing novel capabilities in automating their production, with applicability to safety-critical applications in general (e.g., nuclear power, road and rail transportation, defense, medical devices, etc.), and aviation systems in particular.
AdvoCATE 2.0 is an Eclipse application [that] facilitates creating safety/assurance cases (as opposed to only the underlying structured arguments) 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. "
AdvoCATE supports core GSN, Modular and Pattern extensions. Contact Ewen Denney for availability (contact details on the NASA website).
ASCE (Assurance and Safety Case Environment) [Adelard - Website]
"ASCE – the Assurance and Safety Case Environment [claims to be] the most widely adopted commercial software for the creation and management of safety and assurance cases. It reduces project and system risk through effective communication of the structured argument and associated evidence. Using ASCE makes the management of safety information and demonstration of regulatory compliance easier, more efficient, and more cost effective."
ASCE is a mature product, now in its fifth generation. ASCE Version 5 was released in April 2020. It supports core GSN out of the box and has support for the GSN_V1 modular extension through an optional add on schema (at extra cost). ASCE also provides support for a number of other notations, including Adelard's own CAE (Claims Argument Evidence).
"The DSM is a powerful new safety management tool. Your safety case, risk management, hazard log and FMEA are stored in a single, easy to use safety model. You get a powerful analysis capability, a flexible data mapping function and the ability to work with modular safety cases. You can customize reports to provide consistent, up to date information tailored to meet the needs of your stakeholders."
DSM was updated to Version 1.2 in September 2020. Version 1.2 supports the GSN Argument Patterns extension
"Socrates [is designed] to be a collaborative tool so everyone on your team can contribute to your assurance case, anytime and from anywhere.
Socrates can be deployed within your organization's IT infrastructure so your data remains entirely under your control. We also provide a web hosted option.
Socrates supports state of the art assurance techniques and notations including Goal Structured Notation (GSN) and Eliminative Argumentation (EA). Socrates provides multiple views of your assurance case so that you can focus on systems assurance instead of getting caught up in notational details."
Socrates is a web-based tool that was confirmed active in August 2021. It supports core GSN. Its approach to Eliminative Argumentation (EA) is seen as equivalent to GSV_V3 Dialectic notation extension and stems from the same source material, although its conctete syntax is different.