Timed RAISE方法在列控系统等级转换场景中的应用研究

• 作者: 丁春平 陈永刚
• 来源期刊: 铁道标准设计
• 学科: 交通运输
• 关键词: 高速铁路 Timed RAISE CTCS 等级转换场景 实时性 场景交互一致性
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 通信/信号
• 页码范围: 164-168,169
• 页数: 6页
• 分类号: U283
• 字数: 4545字
• 语种: 中文

摘要

高速铁路列车运行控制系统是一个复杂的实时性系统，结合其实际特点，将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较，提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换( CTCS-2级至CTCS-3级)场景进行描述，并对其场景交互一致性和实时性进行验证，结果表明该场景不会出现场景交互一致性错误，也不会违反时间的约束。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈永刚	兰州交通大学自动化与电气工程学院	50	213	8.0	11.0
2	丁春平	兰州交通大学自动化与电气工程学院	2	5	2.0	2.0