FASR: Automated Identification of Unsafe Control Actions in STPA

Ian Dardik, Yining She, Sam Procter +3

The System-Theoretic Process Analysis (STPA) is a well-established hazard analysis technique that has been applied to a wide range of safety-critical systems. Despite its popularit…