论文部分内容阅读
设计面向高速铁路信号系统安全分析的专用建模语言和建模方法,对于提升安全分析结果准确性具有重要意义.根据高铁信号系统STAMP安全分析模型的构成,提取该安全分析模型的特征元素.基于模型特征元素,利用UML扩展机制实现UML类和关系的构造型设计,并采用对象约束语言作为模型约束条件,设计面向高铁信号系统STAMP建模的UML建模语言.最后应用于高铁信号系统典型场景安全分析模型的构建.