A safety requirements analysis approach for level crossing based on STPA
LIU Hongjie
TANG Tao
JIN Xiayao
DU Heng
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.
Keywords：level crossingsystem theory process analysissafety analysislinear temporal logicXSTAMPP software
Publication Date：2018-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：7( 84-90 )