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

被引：3

作者：

曹源 ^{[1
]}

唐涛 ^{[1
]}

罗丹 ^{[2
]}

穆建成 ^{[3
]}

机构：

[1] 北京交通大学轨道交通控制与安全国家重点实验室

[2] 北京二七轨道交通装备有限责任公司科研管理部

[3] 铁道部科学技术司

来源：

西南交通大学学报 | 2010年 / 45卷 / 04期

基金：

高等学校博士学科点专项科研基金;

关键词：

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

D O I：

暂无

中图分类号：

U284.48 [列车运行自动化];

学科分类号：

082302 ;

摘要：

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

引用

页码：574 / 579

页数：6

共 6 条

[1] 形式化方法在CAD软件开发中的应用 [J].

何滨 .

西南交通大学学报, 1999, (06) :693-697

[2]

Modelling a distributedrailway control system..MADSEN M S;MARTIN M B;.TechnicalUniversity of Denmark.2005,

[3]

轨道交通列车运行控制系统的形式化建模和模型检验方法研究.[D].燕飞.北京交通大学.2006, 06

[4]

京津城际高速铁路系统调试技术.[M].张曙光; 主编.中国铁道出版社.2008,

[5]

CTCS-3级列控系统总体技术方案.[M].张曙光; 主编.中国铁道出版社.2008,

[6]

铁路高速列车应用基础理论与工程技术.[M].张曙光著.科学出版社.2007,

← 1 →