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

摘要：

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

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

所属期刊栏目：39

分类号：TP311.5(计算技术、计算机技术)

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

在线出版日期：2013-11-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6