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 . 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, 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.