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 8th December 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
NOR-STA – Assurance Case Management Tool [Argevide website]
"NOR-STA is a web application for collaborative assurance case management. The tool implements development of modular assurance cases, integration with evidence repositories (e.g. SharePoint, Jira), use of argument templates, argument assessment, generating reports and XML import/export.
NOR-STA maintains full history of argument evolution and enables the use of baselines. Teamworking and collaboration is supported by a flexible role-based access control (RBAC). The tool can be integrated with other systems using NOR-STA API interface (RESTful webservices). Through this API external systems can have full access to the assurance case content and assessment.
NOR-STA is not a native GSN tool, it implements a TRUST-IT argument metamodel (extended with the assessment and change management) which is mapped to GSN graphical notation. Further details of how GSN arguments are implemented in NOR-STA may be found in Argevide's white paper"
NOR-STA version 7.6 released in November 2021 implements Core GSN and partially Modular Extension and Argument Pattern 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.