could contribute to system hazards. The SHA refines the high-level design constraints generated during PHA. Conformance of the system design to the design constraints is also validated through system hazard analysis. Through SHA, safety design constraints are traced to individual components based on the functional decomposition and allocation