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

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

来源：计算机工程, 2013, (03): 1-6.

• 城市轨道交通
• 列车自动防护
• 应用软件
• 接口模型
• 状态模型
• 控制流模型 urban rail transit
• Automatic Train Protection(ATP)
• application software
• interface model
• status model
• control flow model

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

• 单位
  浙江大学