摘要:列车自动防护系统(ATP)用于为列车提供完整的超速防护功能,具有较高的软件安全等级。文章通过对ATP模式转换关系的研究,采用了与传统手工编码方式不同的模型化方式,实现对ATP控制模式功能模块的建模、仿真及测试,能够有效克服传统开发方法中存在的人工编码工作量大、易出错、测试困难等问题。仿真和集成测试结果验证了该方法的可行性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
影响因子:0.27
期刊级别:部级期刊
发行周期:双月刊
期刊在线咨询,1-3天快速下单!
查看更多>
超1000杂志,价格优惠,正版保障!
一站式期刊推荐服务,客服一对一跟踪服务!