System-Theoretic Process Analysis (STPA) is a technique, based on System-Theoretic Accident Model and Process (STAMP), to identify hazardous control actions, loss scenarios, and safety requirements.

In this approach, a functional flow of an HMI is defined in the system model described using system modeling language (SysML). A visual display of HMI is designed and repeatedly verified using a ...