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.
GSN Patterns / Comments Off on Component Contributions to System Hazards
GSN Patterns / Comments Off on Hazard Directed Integrity Level Argument
This pattern is intended to argue that a (sub)system has been developed to an integrity level appropriate to the hazards to which the system contributes.