This pattern provides the high-level structure for a software safety argument. The pattern can either be used to create the high level structure of a ‘stand alone’ software safety argument considering just the software aspects of the system, or alternatively can be used to support claims relating to software aspects within a broader system safety argument.
high level goals
Posted by GSNAdmin
on December 09, 2011
Tiered Safety Argument Patterns / Comments Off on High-Level Software Safety Argument Pattern
Tiered Safety Argument Patterns / Comments Off on High-Level Software Safety Argument Pattern
Posted by GSNAdmin
on December 07, 2011
GSN Patterns / Comments Off on Control System Architecture Breakdown Argument
GSN Patterns / Comments Off on Control System Architecture Breakdown Argument
The intent of this pattern is to illustrate a means of structuring an argument to support a system safety goal (requirement, avoidance of hazard etc.) by decomposition over a generic control system model.