Articles

Overview of the Tiered Safety Argument Patterns

Posted by GSNAdmin on December 09, 2011
Articles, Tiered Safety Argument Patterns / Comments Off on Overview of the Tiered Safety Argument Patterns

Software safety argument patterns provide a way of capturing good practice in software safety arguments. Patterns are widely used within software engineering as a way of abstracting the fundamental design strategies from the details of particular designs. The use of patterns as a way of documenting and reusing successful safety argument structures was pioneered by Kelly in [1]. As with software design, software safety argument patterns can be used to abstract the fundamental argument strategies from the details of a particular argument.

Continue reading…

Useful Articles and Papers

Posted by wpgsninfo on November 21, 2011
Articles / No Comments

This a list of articles introducing and explaining various aspects of safety case development, argumentation, and in particular GSN. If you cannot access any of the articles do contact us.

Continue reading…

Examples

Posted by GSNAdmin on November 08, 2011
Articles / No Comments

Examples of GSN based safety cases can be found at the university of Virginia safety case repository.

Continue reading…