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.
Articles
Posted by GSNAdmin
on December 09, 2011
Articles, Tiered Safety Argument Patterns / Comments Off on Overview of the Tiered Safety Argument Patterns
Articles, Tiered Safety Argument Patterns / Comments Off on Overview of the Tiered Safety Argument Patterns
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.
Examples of GSN based safety cases can be found at the university of Virginia safety case repository.