首页 | 本学科首页   官方微博 | 高级检索  
     检索      

列车运行控制系统设计正确性的验证方法
引用本文:曹源,唐涛,罗丹,穆建成.列车运行控制系统设计正确性的验证方法[J].西南交通大学学报,2010,45(4).
作者姓名:曹源  唐涛  罗丹  穆建成
作者单位:1. 北京交通大学轨道交通控制与安全国家重点实验室,北京,100044
2. 北京二七轨道交通装备有限责任公司科研管理部,北京,100072
3. 铁道部科学技术司,北京,100844
基金项目:国家自然科学基金重点资助项目,国家科技计划支撑项目,高等学校博士学科点专项科研基金资助项目,轨道交通控制与安全国家重点实验室自主研究课题,北京市轨道交通控制重点实验室 
摘    要:为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性.

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

Method for Verifying the Correctness of Train Control System Design
CAO Yuan,TANG Tao,LUO Dan,MU Jiancheng.Method for Verifying the Correctness of Train Control System Design[J].Journal of Southwest Jiaotong University,2010,45(4).
Authors:CAO Yuan  TANG Tao  LUO Dan  MU Jiancheng
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号