基于SCADE的测速定位系统模型设计

刘欢; 李耀

基于SCADE的测速定位系统模型设计

刘欢,
李耀

西南交通大学信息科学与技术学院,成都 610031

详细信息

作者简介:
刘欢，在读硕士研究生；李耀，在读博士研究生。

通讯作者:
刘欢

计量
- 文章访问数: 131
- HTML全文浏览量: 1
- PDF下载量: 45
出版历程
- 收稿日期: 2016-01-03
- 刊出日期: 2016-07-24

Model of Speed Measurement and Positioning System based on SCADE

LIU Huan,
LI Yao

School of Information Science & Technology, Southwest Jiaotong University, Chengdu 610031, China

More Information

Corresponding author:
LIU Huan

摘要

摘要: 针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题，提出了基于SCADE的测速定位系统模型设计，介绍SCADE需求建模以及模型验证方法，分析了一种测速定位模型；在SCADE平台上建立了测速定位系统的模型，通过仿真与验证，证明模型完全满足测速定位的系统需求与安全性。
- SCADE /
- 测速定位 /
- 安全软件 /
- 形式化验证
Abstract: Focusing on the problem that the safety and efficiency of train operation was affected directly by the accuracy and reliability of the Speed Measurement and Positioning System, this article proposed a design method for the model of Speed Measurement and Positioning System based on SCADE, introduced the method of requirement modeling and model verification, analyzed a model of speed measurement and positioning. The model of Speed Measurement and Positioning System was established by SCADE. Simulation and verification proved that the safety requirement of the System was completely satisfied.
- SCADE /
- Speed Measurement and Positioning System /
- safety software /
- formal verification

HTML全文

参考文献(1)

[1]

周钰威.ATP 车载安全计算平台及测速定位功能的研究 [D].北京：北京交通大学，2012. [2] 张路. 基于SCADE 的CBTC 区域控制器软件开发[D]. 北京：北京交通大学，2010. [3] CHO C B, CHOI D H, QUAN zhong-hua, et al. Modeling of CBTC Carborne ATO functions using SCADE[C]. Proc of the 11th International Conference on Control, Automation and Systems. [S.I.]:IEEE Press,2011:1089-1093. [4] 李雷. 基于SCADE 的CBTC 区域控制器软件测试方法研究 [D]. 北京：北京交通大学，2010. [5] 崔超, 张亚东, 郭进. 改进的灰度预测在列车轮径校正中的研究 [J]. 铁道标准设计，2016（1）：139-143. [6] 李耀，陈荣武，谢刚. 基于SCADE 与QNX 平台的列车测速定位安全软件[J]. 计算机应用研究，2013（10）：3044-3047. [7] 王灵丽. 基于CBTC的地铁列车组合定位技术研究 [D]. 成都：西南交通大学，2014. [8] 张源，张洪宇. 现代铁路列车跟踪与定位技术的研究[J].铁路计算机应用，2011，20（4）.