Safety Requirements Analysis for a Launching Control System Based on STPA

Abstract

In this paper, system theory process analysis (STPA) method is used as a new safety analysis approach for a launching control system. One typical control action of the launching process, release the brake is taken as an example for analysis. With XSTAMPP safety engineering platform, the unsafe control actions of the system are analyzed, refined system safety requirements are generated and the descriptions are standardized by linear temporal logic (LTL), the limitations of natural language descriptions used by traditional STPA analysis have been avoided, which provides theoretical support for further safety model verification.