10.3969/j.issn.0258-2724.2010.04.015
列车运行控制系统设计正确性的验证方法
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性.
交通信息工程、形式化方法、列车运行控制系统、安全苛求系统
45
U283.2(铁路通信、信号)
国家自然科学基金重点资助项目60634010和60736047;国家科技计划支撑项目2009BAG12A08;高等学校博士学科点专项科研基金资助项目20070004005;轨道交通控制与安全国家重点实验室自主研究课题RCS2008ZZ005;北京市轨道交通控制重点实验室
2010-09-29(万方平台首次上网日期,不代表论文的发表时间)
共6页
574-579