基于UML的列车运行监控装置功能建模分析

王颖卓; 刘中田; 王升辉

基于UML的列车运行监控装置功能建模分析

1.
北京交通大学电子信息工程学院,北京 100044 ;
2.
北京交通大学信息科学研究所,北京 100044

基金项目: 中国铁路总公司科技研究开发计划（2015X002-A）

详细信息

作者简介:
王颖卓，在读硕士研究生；刘中田，副教授。

中图分类号: U260.42∶TP39
出版历程
- 收稿日期: 2016-08-27
- 刊出日期: 2017-02-25

Function modeling and analyzing of train operation monitoring and control device with UML

1.
School of Electronics and Information Engineering, Beijing Jiaotong University, Beijing 100044, China;
2.
Institute of Information Science, Beijing Jiaotong University, Beijing 100044, China

摘要

摘要: 既有线铁路系统运营场景复杂，运营需求多变，导致列车运行监控装置（LKJ）功能需求变化频繁，为了合理、规范地管理功能需求，有必要基于UML对LKJ功能进行建模研究。通过分析LKJ的结构与功能，建立了系统的用例模型；利用UML语言中的类图、顺序图和状态图，分析LKJ主要运营场景的静态结构与动态行为，并由此建立各场景的静态模型和动态模型；最终对所建LKJ功能模型进行验证，确保模型的正确性和完整性。利用所建的LKJ功能UML模型，能避免对LKJ功能需求的歧义理解，有利于开发与维护工作的顺利进行。
- UML /
- 列车运行监控装置（LKJ） /
- 建模 /
- 模型验证
Abstract: Operation environment of existing railway system is complicated, the operation demands is changeable, which result in the function requirement of train operation control and monitoring device(LKJ) change frequently. In order to manage the requirement properly and regularly, it is necessary to model the function of LKJ based on UML. This article analyzed the structure and function of LKJ, created use case model of system; by using class diagram, sequence diagram and state diagram in UML, analyzed the static structure and dynamic behavior for main operation scene of LKJ, established static model and dynamic model; verified the accuracy and completeness of the LKJ function model. By usin the LKJ function model, people can avoid the ambiguity of the LKJ functional requirements, which is conducive to the smooth development and maintenance.
- UML /
- train operation control and monitoring device(LKJ) /
- modeling /
- model checking

HTML全文

参考文献(7)

[1]	杨志刚.LKJ 列控技术与应用[M]. 北京：中国铁道出版社，2012 ：1-3.
[2]	宫谊凡，蒲小勃，刘军，等. 基于UML 语言的航空电子系统快速原型设计[J]. 系统仿真学报，2007，19（4）：749-753.
[3]	刘晓斌，莫志松，杨霓霏，等. 基于Rhapsody 的CTCS-3级列控系统无线闭塞中心运营场景建模[J]. 中国铁道科学，2010，31（4）：100-104.
[4]	刘金涛，唐涛，赵林，等. 基于UML 模型的CTCS-3级列控系统功能安全分析方法[J]. 铁道学报，2013，35（ 10）：60-66.
[5]	谢雨飞. 列控系统需求规范形式化建模与验证方法研究[D].北京：北京交通大学，2012.
[6]	中国铁路总公司. 列车运行监控装置（LKJ）控制模式设定规范[M]. 北京：中国铁道出版社，2015.
[7]	Grady Booch,etal.UML 用户指南[M]. 北京：机械工业出版社，2001.