| 基于UPPAAL的列控系统临时限速建模与验证 |
| |
| 引用本文： | 宋莉,刘伯鸿.基于UPPAAL的列控系统临时限速建模与验证[J].铁路计算机应用,2020,29(5):12-16. |
| |
| 作者姓名： | 宋莉 刘伯鸿 |
| |
| 作者单位： | 兰州交通大学 自动化与电气工程学院, 兰州 730070 |
| |
| 基金项目： | 中国铁路总公司科技研究开发计划项目(2017X010-E) |
| |
| 摘 要： | 临时限速系统是列控系统的重要组成部分,是符合"故障-安全"准则的安全苛求系统。文章基于临时限速技术规范和时间自动机理论,分析临时限速系统的组成结构,提取其功能和性能约束,利用UPPAAL工具对其信息交互行为进行建模仿真,验证该系统的实时性,为进一步完善临时限速系统的设计与开发提供参考。
|
| 关 键 词： | 建模与验证 临时限速 安全苛求系统 故障-安全准则 时间自动机 UPPAAL |
| 收稿时间： | 2019-09-16 |
UPPAAL-based modeling and verification of temporary speed restriction in train control system |
| |
| Institution: | College of Automation&Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China |
| |
| Abstract: | As an important part of the train control system, the temporary speed restriction system is a safety-critical one that meets fail-safe criteria. Based on the technical specification on temporary speed restriction and the theory of timed automata, this paper analyzed the composition and structure of the temporary speed restriction system, extracted its function and performance constraints for modeling and simulating its data interaction behaviors by using UPPAAL tool to verify its real-time performance, offering reference for further improving the design and development of the temporary speed restriction system. |
| |
| Keywords: | |
|
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
|
