一种信号系统安全分析建模的设计与实现

为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限自动机建模进行某一处失效的安全隐患分析,另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析。通过上述建模确定特定运营场景相关参数及性能指标,采用软件工具(例如VC6.0)实现信号系统安全分析模拟器。系统分析师通过安全分析模拟器进行系统安全分析,从而减少人为经验错误,提高信号系统安全隐患分析效率,避免重大安全隐患。     

基于脚本语言的互联互通通信数据解析插件

在分析城市轨道交通互联互通通信规范的基础上,结合现场调试中遇到的不便,借助Wireshark网络封包分析软件能够加载Lua脚本进行私有通信协议解析的特性,构建一套基于Lua脚本语言的互联互通车-地安全通信协议、地-地安全通信协议、互联互通应用协议数据分析插件,为城市轨道交通互联互通CBTC系统调试、故障排查提供便利。