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

Model-based Software Development for Automatic Train Protection System

作　　者：管爱爱[1] 邱昕夕[1] 王东[1] 陈祥献[1] 黄海[1] 刘济全[1] 

机构地区：[1]浙江大学生物医学工程与仪器科学学院,杭州310027

出　　处：《计算机工程》2013年第3期1-6,共6页Computer Engineering

基　　金：国家科技支撑计划基金资助项目(2011BAG01B03)

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

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]