投稿须知
    《铁道标准设计》月刊是中国铁路行业出版较早的科学技术期刊,被评为北大中文核心期刊、中国科技核心期刊、武大RCCSE核心期刊,并被众多有影响的大型数据库收录,2018年被日本科学技术振兴机构数据库(JST)收录。在广大作者、读者和审稿专家的厚爱与支持下,刊物紧密围绕我国 ...

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

作者: 刘磊

关键词: UML扩展机制 HUML 安全特性 列车运行控制系统

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


上一篇: 区域化TDCS/CTC运输调度指挥中心系统方案研究
下一篇: 清水混凝土在青岛地铁地下车站中的应用及研究

版权所有 2014 中铁工程设计咨询集团有限公司 All rights reserved 京ICP备10006696号
Copyright © China Railway Engineering Consultants Group Co.,Ltd