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

• 作者: 唐涛 曹源 穆建成 罗丹
• 来源期刊: 西南交通大学学报
• 学科: 交通运输
• 关键词: 交通信息工程 形式化方法 列车运行控制系统 安全苛求系统
• 年，卷（期）: 2010,（4）
• 页码范围: 574-579
• 分类号: U283.2
• 字数: 3683字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2010.04.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	曹源	北京交通大学轨道交通控制与安全国家重点实验室	62	405	10.0	18.0
3	罗丹	北京二七轨道交通装备有限责任公司科研管理部	1	11	1.0	1.0