基于模型的列车自动防护系统软件开发

列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发。仿真测试结果表明,该方法能有效简化功能逻辑,降低开发难度,减少人为错误和故障的引入。     

CBTC中安全通信协议的设计与仿真研究

依据欧洲标准EN50159设计一种用于CBTC各子系统间通信的安全通信协议.该协议面向连接,采用序列号、超时检测、安全编码等多种安全措施,在通信异常发生时,具备故障导向安全能力.借助OPNET仿真环境对协议的实时性进行分析.仿真结果表明,通过在仿真中注入链路故障协议验证故障导向安全功能,该协议能够满足CBTC系统的应用需求.     

城市轨道交通列车自动防护系统软件设计

从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运行结果表明,该ATP系统能够满足设计目标和要求。     

基于传感器模型的安全计算机仿真系统

在安全计算机信号系统的研发与测试中,没有真实的传感器接入会带来测试难、验证难等问题。为此,设计一种基于传感器模型的轨道交通安全计算机平台仿真系统。以真实的传感器为模型基础进行传感器建模,控制真实的硬件输出,通过软硬件结合的方法为安全计算机平台提供真实的输入与输出。同时利用软件修改模型参数,模拟传感器故障,为安全计算机平台提供无损坏的故障注入。测试结果证明,该仿真系统能够有效验证安全计算机平台的安全性、可靠性与可用性,加快安全计算机平台的开发进程。