high level goals

High-Level Software Safety Argument Pattern

Posted by GSNAdmin on December 09, 2011
Tiered Safety Argument Patterns / Comments Off on High-Level Software Safety Argument Pattern

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.

Continue reading…

Tags: ,

Control System Architecture Breakdown Argument

Posted by GSNAdmin on December 07, 2011
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.

Continue reading…

Tags: ,