摘要
设计面向高速铁路信号系统安全分析的专用建模语言和建模方法,对于提升安全分析结果准确性具有重要意义.根据高铁信号系统STAMP安全分析模型的构成,提取该安全分析模型的特征元素.基于模型特征元素,利用UML扩展机制实现UML类和关系的构造型设计,并采用对象约束语言作为模型约束条件,设计面向高铁信号系统STAMP建模的UML建模语言.最后应用于高铁信号系统典型场景安全分析模型的构建.
In order to improve the accuracy of safety analysis results of Chinese high-speed railway signaling system, developing the professional modeling language and method is of great significance. According to the constitution of STAMP safety analysis model of high-speed railway signaling system, the feature elements of the safety analysis model are abstracted. On the basis of these feature elements, the stereotype design of UML classes and relationships are realized. The UML for the STAMP modeling of high-speed railway signaling system is designed with the constraints in Object Constraint Language. Finally, the designed language is applied to the construction of safety analysis model for a typical scenario of high-speed railway signaling system.
作者
丁治敏
Ding Zhimin(CRSC Research&Design Institute Group Co.,Ltd,Beijing 100070,China)
出处
《铁路通信信号工程技术》
2020年第7期23-28,共6页
Railway Signalling & Communication Engineering
基金
中国国家铁路集团有限公司科技研究开发计划重大课题项目(K2019X010)。
关键词
高速铁路
安全分析
信号系统
建模语言设计
high-speed railway
safety analysis
signaling system
modeling language design
