Hazardous Contribution Software Safety Argument Pattern

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

This pattern provides the structure for arguments that potential hazardous failures that may arise at {tier n} are acceptably managed.

Author: Richard Hawkins

Last update: 8/6/2009


At each tier of software development it is possible that hazardous failures may manifest themselves. This argument demonstrates how the hazardous failures are prevented. This is achieved in two ways. Firstly potential hazardous failure modes are identified, and appropriate SSRs defined in response. Secondly, the absence of design errors which could cause hazardous failures must also be demonstrated. It should be noted that this aspect of the argument will often consider more generally how errors are removed from the design.

Tags: , ,

Comments are closed.