A Safety Modelling Method for High-speed Train Control Systems Based on UML Extension

Safety analysis is an essential way to ensure the safe operation of high-speed railway train control systems. It is of significance to design special modeling language and modeling method for safety analysis of high-speed railway train control systems. This will contribute to improving the accuracy of safety analysis. According to the composition of safety analysis model of high-speed train control system, the characteristic elements of the safety analysis model are extracted. On the base of the characteristic elements, the UML extension mechanism is used to realize the stereotype design of UML classes and UML messages. As a result, an extended UML for safety modelling of high-speed railway train control systems is formed. The proposed modelling language is applied to a typical scenario of Chinese high-speed railway. The results show the effectiveness of the proposed method.