GSN Patterns

Absence of Late Hazardous Failure Mode

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Absence of Late Hazardous Failure Mode

The intent of this pattern is to argue that an individual software hazard, which is of the type Late, is absent within a certain component of software functionality in a system.

Continue reading…

Tags: ,

Absence of Early Hazardous Failure Mode

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Absence of Early Hazardous Failure Mode

The intent of this pattern is to argue that an individual software hazard, which is of the type Early, is absent within a certain component of software functionality in a system.

Continue reading…

Tags: ,

Absence of Commission Hazardous Failure Mode

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Absence of Commission Hazardous Failure Mode

The intent of this pattern is to argue that an individual hazardous software failure mode, which is of the type Commission, is absent within a certain component of software functionality in a system.

Continue reading…

Tags: ,

Absence of Omission Hazardous Failure Mode

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Absence of Omission Hazardous Failure Mode

The intent of this pattern is to argue that an individual hazardous software failure mode, which is of the type Omission, is absent within a certain component of software functionality in a system.

Continue reading…

Tags: ,

Software Argument Approach

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Software Argument Approach

The intent of this pattern is to identify the argument approach used for demonstrating the acceptability of the hazardous software failure mode. The argument can be made by  showing Absence and/or Handling of the failure mode.

Continue reading…

Tags: ,

Hazardous Software Failure Mode Classification

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Hazardous Software Failure Mode Classification

The intent of this pattern is to provide a type classification for the hazardous failure mode that is the subject of the argument. The failure mode can be classified as one of Omission, Commission, Early, Late or Value.

Continue reading…

Tags: ,

Hazardous Software Failure Mode Decomposition

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Hazardous Software Failure Mode Decomposition

The intent of this pattern is to provide a decomposition for the acceptability of software with respect to system level hazards. The pattern identifies the primary claims for developing a software safety argument from a hazard control perspective.

Continue reading…

Tags: , ,

Component Contributions to System Hazards

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Component Contributions to System Hazards

The intent of this pattern is to provide a top level decomposition for the safety argument of a system. In particular, the pattern provides the context for a software safety argument constructed from the Software Safety Pattern Catalogue. The focus for the argument is the identification of hazards and the assessment of the associated risks.

Continue reading…

Tags: ,

Safety Principle 6 (Defence in Depth) Compliance

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Safety Principle 6 (Defence in Depth) Compliance

The purpose of this pattern is to argue compliance with Safety Principle 6 (Defence in Depth) of the Nuclear Naval Programme Safety Principles and Safety Criteria document.

Continue reading…

Tags: , ,

Fault Tree Evidence

Posted by GSNAdmin on December 07, 2011
GSN Patterns / Comments Off on Fault Tree Evidence

The intent of this pattern is to show the nature of the claims that can be made from a fault tree representation of the causes of a condition.

Continue reading…

Tags: ,