decomposition

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: , ,

Control System Architecture Breakdown Argument

Posted by GSNAdmin on December 07, 2011
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.

Continue reading…

Tags: ,