摘要
针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题,提出了基于SCADE的测速定位系统模型设计,介绍SCADE需求建模以及模型验证方法,分析了一种测速定位模型;在SCADE平台上建立了测速定位系统的模型,通过仿真与验证,证明模型完全满足测速定位的系统需求与安全性。
Focusing on the problem that the safety and efficiency of train operation was affected directly by theaccuracy and reliability of the Speed Measurement and Positioning System, this article proposed a design method forthe model of Speed Measurement and Positioning System based on SCADE, introduced the method of requirementmodeling and model verification, analyzed a model of speed measurement and positioning. The model of SpeedMeasurement and Positioning System was established by SCADE. Simulation and verification proved that the safetyrequirement of the System was completely satisfied.
作者
刘欢
李耀
LIU Huan;LI Yao(School of Information Science & Technology, Southwest Jiaotong University, Chengdu 610031, China)
出处
《铁路计算机应用》
2016年第7期8-12,共5页
Railway Computer Application
关键词
SCADE
测速定位
安全软件
形式化验证
SCADE
Speed Measurement and Positioning System
safety software
formal verification
