Goal Structuring Notation

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.