列车运行控制系统设计正确性的验证方法
Method for Verifying the Correctness of Train Control System Design作者机构：北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京二七轨道交通装备有限责任公司科研管理部北京100072 铁道部科学技术司北京100844
出 版 物：《西南交通大学学报》 (Journal of Southwest Jiaotong University)
年 卷 期：2010年第45卷第4期
页 面：574-579页
核心收录：
学科分类：08[工学] 082302[工学-交通信息工程及控制] 0823[工学-交通运输工程]
基 金：国家自然科学基金重点资助项目(60634010和60736047) 国家科技计划支撑项目(2009BAG12A08) 高等学校博士学科点专项科研基金资助项目(20070004005) 轨道交通控制与安全国家重点实验室自主研究课题(RCS2008ZZ005) 北京市轨道交通控制重点实验室
主 题：交通信息工程 形式化方法 列车运行控制系统 安全苛求系统
摘 要：为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时,CTCS-3级列车运行控制系统设计的正确性.
维普期刊数据库
同方期刊数据库