STPA

System-Theoretic Process Analysis, a hazard analysis technique that models a system as controllers, control actions, feedback and safety constraints, and looks for unsafe interactions between components that each work as designed.