基于HUML扩展机制描述列控系统安全特性的研究

• 作者: 刘磊
• 来源期刊: 铁道标准设计
• 学科: 交通运输
• 关键词: UML扩展机制 HUML 安全特性 列车运行控制系统
• 年，卷（期）: 2018,（12）
• 所属期刊栏目: 通信/信号
• 页码范围: 159-163
• 页数: 5页
• 分类号: TP301.2|U284
• 字数: 3668字
• 语种: 中文
• DOI: 10.13238/j.issn.1004-2954.201803050003

摘要

针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法.该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安全特性元素进行定义,创建安全相关概要文件,并在建模软件中得到实现,最后介绍该方法在CTCS-3级列控车载设备故障方面应用的一个实例.新的建模方法丰富了列控系统HUML模型的表达能力和应用范围,使得列控系统安全特性能够直接被描述,从而将安全分析的起点提前至系统建模阶段,为列控系统建模和形式化分析提供一条新的思路和途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	中国铁道科学研究院集团有限公司通信信号研究所	19	99	5.0	9.0