对ATC系统车载设备安全参数特征、取值来源和计算公式进行归纳总结,设计出参数导出规则、多配漏配筛查机制和车载设备安全参数值自动计算模型;通过开发软件实现了待验证参数的自动导出、检查、计算和生成验证报告等功能。相比人工验证方式,该软件在提高验证效率的同时,保证了车载设备安全参数的准确性,具有实际应用价值。