设计面向高速铁路信号系统安全分析的专用建模语言和建模方法,对于提升安全分析结果准确性具有重要意义。根据高铁信号系统STAMP安全分析模型的构成,提取该安全分析模型的特征元素。基于模型特征元素,利用UML扩展机制实现UML类和关系的构造型设计,并采用对象约束语言作为模型约束条件,设计面向高铁信号系统STAMP建模的UML建模语言。最后应用于高铁信号系统典型场景安全分析模型的构建。
科研之友
微信
新浪微博
Facebook
分享链接
