| 基于SCADE的测速定位系统模型设计 |
| |
| 引用本文： | 刘欢,李耀.基于SCADE的测速定位系统模型设计[J].铁路计算机应用,2016,25(7):8-12. |
| |
| 作者姓名： | 刘欢 李耀 |
| |
| 作者单位： | 西南交通大学 信息科学与技术学院,成都 610031 |
| |
| 摘 要： | 针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题，提出了基于SCADE的测速定位系统模型设计，介绍SCADE需求建模以及模型验证方法，分析了一种测速定位模型；在SCADE平台上建立了测速定位系统的模型，通过仿真与验证，证明模型完全满足测速定位的系统需求与安全性。
|
| 关 键 词： | SCADE 测速定位 安全软件 形式化验证 |
| 收稿时间： | 2016-01-04 |
Model of Speed Measurement and Positioning System based on SCADE |
| |
| Affiliation: | School of Information Science & Technology, Southwest Jiaotong University, Chengdu 610031, China |
| |
| 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. |
| |
| Keywords: | |
|
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
|
点击此处可从《铁路计算机应用》下载全文 |
|
