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
Tiered Safety Argument Patterns / Comments Off on High-Level Software Safety Argument Pattern
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.