ATC系统车载设备安全参数自动验证软件开发  

Research on Automatic Verification Software for Safety Parameters of ATC System’s Onboard Equipment

作　　者：李娇 高勇 姚羽发 Li Jiao;Gao Yong;Yao Yufa

机构地区：[1]卡斯柯信号有限公司,上海200071 [2]卡斯柯信号(成都)有限公司,成都610036

出　　处：《铁道通信信号》2022年第4期83-88,共6页Railway Signalling & Communication

摘　　要：对ATC系统车载设备安全参数特征、取值来源和计算公式进行归纳总结,设计出参数导出规则、多配漏配筛查机制和车载设备安全参数值自动计算模型;通过开发软件实现了待验证参数的自动导出、检查、计算和生成验证报告等功能。相比人工验证方式,该软件在提高验证效率的同时,保证了车载设备安全参数的准确性,具有实际应用价值。The characteristics,sources of value and calculation formulas of safety parameters of the ATC system’s onboard equipment are summarized.And derivation rules of the parameters,mechanism of duplicate configuration check and missing configuration check as well as automatic calculation model of the onboard equipment’s safety parameters are designed.The functions of automatic derivation,check,calculation of the parameters to be verified and generation of verification report are realized through software programming.Compared with manual verification,the software not only greatly improves the work efficiency but also ensures the accuracy of the parameters,which has certain practical application value.

关 键 词：城市轨道交通 列车自动控制 车载设备 安全参数 自动生成 验证软件 

分 类 号：U283.4[交通运输工程—交通信息工程及控制]