作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2013, Vol. 39 ›› Issue (3): 1-6. doi: 10.3969/j.issn.1000-3428.2013.03.001

所属专题: 智能交通专题

• 轨道交通专题 • 上一篇    下一篇

基于模型的列车自动防护系统软件开发

管爱爱,邱昕夕,王 东,陈祥献,黄 海,刘济全   

  1. (浙江大学生物医学工程与仪器科学学院,杭州 310027)
  • 收稿日期:2012-07-10 出版日期:2013-03-15 发布日期:2013-03-13
  • 作者简介:管爱爱(1986-),女,硕士研究生,主研方向:轨道交通信号系统,列车自动防护系统;邱昕夕,高级工程师; 王 东,博士研究生;陈祥献,副教授;黄 海,教授、博士生导师;刘济全,副研究员
  • 基金资助:
    国家科技支撑计划基金资助项目(2011BAG01B03)

Model-based Software Development for Automatic Train Protection System

GUAN Ai-ai, QIU Xin-xi, WANG Dong, CHEN Xiang-xian, HUANG Hai, LIU Ji-quan   

  1. (College of Biomedical Engineering and Instrument Science, Zhejiang University, Hangzhou 310027, China)
  • Received:2012-07-10 Online:2013-03-15 Published:2013-03-13

摘要: 列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发。仿真测试结果表明,该方法能有效简化功能逻辑,降低开发难度,减少人为错误和故障的引入。

关键词: 城市轨道交通, 列车自动防护, 应用软件, 接口模型, 状态模型, 控制流模型

Abstract: Automatic Train Protection(ATP) system is a safety-critical system to ensure the train running safety. The system has various functions and complex logic, which makes the development difficult. To this end, a model-based method is presented to develop ATP application software, in which interface models, status models, and control flow models are used to clearly and correctly describe application software functions and their implementation processes. The functions of the developed software are further verified by simulations and tests. The obtained results confirm that the function logic is simplified effectively with this method, making the software development easy. What’s more, human errors and faults are also reduced in this process.

Key words: urban rail transit, Automatic Train Protection(ATP), application software, interface model, status model, control flow model

中图分类号: