Abstract：Modern level crossing control systems are mostly computer-based and communication-based control systems. The causal factors in this type of system are mostly due to the fact that the complex interaction scenarios between system components have not been fully identified and controlled. In order to avoid the occurrence of level crossing accidents, this paper proposes a set of safety analysis methods for railway signal systems based on System Theory Process Analysis (STPA). With the improvement of the traditional STPA and the XSTAMPP, this paper takes the level crossing control system as a case for safety analysis. The results achieve the automatic generation of safety requirements based on the hazards analysis results and solved the problem that the traditional STPA process is too dependent on labor. Meanwhile, the safety requirements of the level crossing control system are automatically converted into a formal specification of the Linear Temporal Logic (LTL) language description, which avoids the possible ambiguity in the natural language description of the traditional STPA analysis results. It provides references for a model-based system design, testing and verification.
刘宏杰，唐涛，金夏垚,杜恒. 基于STPA方法的平交道口安全需求分析[J]. 北京交通大学学报, 2018, 42(2): 84-.
LIU Hongjie, TANG Tao, JIN Xiayao, DU Heng. A safety requirements analysis approach for level crossing based on STPA. Beijing Jiaotong University, 2018, 42(2): 84-.