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.
GSN Patterns / Comments Off on Hazardous Software Failure Mode Decomposition
GSN Patterns / Comments Off on Control System Architecture Breakdown Argument
The intent of this pattern is to illustrate a means of structuring an argument to support a system safety goal (requirement, avoidance of hazard etc.) by decomposition over a generic control system model.