- · 新建铁路昆明至河口线玉溪至蒙自段突发环境事件应急预案[12/14]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公示[11/20]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公众参与公示[12/20]
- · 新建太原至焦作铁路(河南段)竣工环境保护验收公示[11/19]
- · 滨北线松花江公铁两用桥(市政工程)改建工程竣工环境保护验收公示[09/15]
- · 巡视公告[08/26]
- · “大干100天”劳动竞赛活动——中铁济南监理徐州轨道交通3号线盾构区间右线顺利贯通[08/21]
- · 新建南通至苏州至嘉兴至宁波铁路张家港(不含)至苏浙省界段社会稳定风险分析公众参与公示[08/18]
基于HUML扩展机制描述列控系统安全特性的研究
作者: 刘磊
关键词: UML扩展机制 HUML 安全特性 列车运行控制系统
摘要:针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法.该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安全特性元素进行定义,创建安全相关概要文件,并在建模软件中得到实现,最后介绍该方法在CTCS-3级列控车载设备故障方面应用的一个实例.新的建模方法丰富了列控系统HUML模型的表达能力和应用范围,使得列控系统安全特性能够直接被描述,从而将安全分析的起点提前至系统建模阶段,为列控系统建模和形式化分析提供一条新的思路和途径.