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
摘要： 列车自动防护系统是保证列车运行安全的安全苛求系统，该系统功能繁多、逻辑复杂、开发难度大。为此，提出一种基于模型的软件开发方法，采用接口模型、状态模型和控制流模型描述该系统软件的功能，实现应用软件的开发。仿真测试结果表明，该方法能有效简化功能逻辑，降低开发难度，减少人为错误和故障的引入。
关键词:
城市轨道交通,
列车自动防护,
应用软件,
接口模型,
状态模型,
控制流模型
CLC Number:
GUAN Ai-Ai, QIU Cuan-Xi, WANG Dong, CHEN Xiang-Xian, HUANG Hai, LIU Ji-Quan. Model-based Software Development for Automatic Train Protection System[J]. Computer Engineering, 2013, 39(3): 1-6.
管爱爱, 邱昕夕, 王东, 陈祥献, 黄海, 刘济全. 基于模型的列车自动防护系统软件开发[J]. 计算机工程, 2013, 39(3): 1-6.