摘要
针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安全特性元素进行定义,创建安全相关概要文件,并在建模软件中得到实现,最后介绍该方法在CTCS-3级列控车载设备故障方面应用的一个实例。新的建模方法丰富了列控系统HUML模型的表达能力和应用范围,使得列控系统安全特性能够直接被描述,从而将安全分析的起点提前至系统建模阶段,为列控系统建模和形式化分析提供一条新的思路和途径。
In order to describe system safety properties in a direct way by HUML model in the fieht of train control system modeling and formal analysis, an approach to extend HUML that allows modeling safety properties by UML-supported low-level extensibility mechanisms is proposed in this paper. In this approach, safety-related requirements are given, safety-related package is defined and added to HUML meta-model, and involved elements are explicated. On this basis, a HUML profile is presented to enable modeling them, and furthermore, the profile is implemented in the RSA. Finally, an example of the appliea6on of this method in ease of onboard CTCS-3 train control system fault is introduced. The proposed new modeling method enriches the expressiveness and application of HUML, and makes it possible to describe directly the safety proper6es. This work will bring the starting point of sat〉ty analysis ahead to the system modeling stage, and provide a new modeling and analyzing way for train control system.
作者
刘磊
LIU Lei(Signal and Communication Research Institute,China Academy of Railway Sciences Corporation Limited Co.,Beijing 100081,China)
出处
《铁道标准设计》
北大核心
2018年第12期159-163,共5页
Railway Standard Design
基金
国家自然科学基金(高铁联合基金)(U1534208)
