Artisan GSN Modeler
Artisan GSN Modeler™ provides developers of safety-critical systems with a powerful and easy-to-use visual modeling environment for the creation of well-structured, complex Safety Arguments using the Goal Structuring Notation (GSN). Artisan GSN Modeler will appeal particularly to Safety Case developers within the aerospace, defense, transportation and power industries that need to rigorously document and apply Safety Cases.
GSN, developed at the University of York in the UK, provides a defacto standard method of hierarchical graphical notation. Its purpose is to show how the Safety Case Goals are broken down into sub-goals and eventually supported by evidence (Solutions), whilst stating the Strategies used, giving an explanation of the rationale (Assumptions and Justifications) all within a Context.
Artisan GSN Modeler provides a visual environment for modeling and manipulating all of the GSN elements or nodes along with the relationships that exist between them. Artisan GSN Modeler automatically validates them to ensure that they meet the basic rules of GSN modeling.
Artisan GSN Modeler’s runs on a powerful, multi-user repository so that Safety Engineers can model and share numerous independent Safety Arguments, within the same database. Each of the Arguments can then be partitioned to provide sub-sections of the overall argument.
Artisan GSN Modeler also allows reusable Arguments Patterns to be created from best-practice Arguments or snippets of existing Arguments for use as future Argument templates.
This use of proven Arguments both reduces the Safety Case development effort needed on new projects and improves Safety Case quality.
To download Artisan GSN Modeler visit: Download Center
For more details download the Artisan GSN Modeler – Data Sheet.
