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

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

Model-based Software Development for Automatic Train Protection System

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.