列车运行控制系统设计正确性的验证方法

摘要：

为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性.

关键词：交通信息工程、形式化方法、列车运行控制系统、安全苛求系统

所属期刊栏目：45

分类号：U283.2(铁路通信、信号)

资助基金：国家自然科学基金重点资助项目60634010和60736047;国家科技计划支撑项目2009BAG12A08;高等学校博士学科点专项科研基金资助项目20070004005;轨道交通控制与安全国家重点实验室自主研究课题RCS2008ZZ005;北京市轨道交通控制重点实验室

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

页数：共6页

页码：574-579