High-Level Software Safety Argument Pattern

Posted by GSNAdmin on December 09, 2011
Tiered Safety Argument Patterns

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.

Author: Richard Hawkins

Last update: 8/6/2009


Tags: ,

Comments are closed.