C3+ATO系统模式转换功能建模与仿真验证研究
C3+ATO系统在控制列车运行方面发挥重要作用且其功能关乎列车自动驾驶运行安全.为保障高速铁路C3+ATO系统功能安全,提出一种基于时间自动机的系统功能建模与仿真验证方法.以车载设备模式转换功能为例,根据C3+ATO系统规范中的功能需求,建立各组成设备的时间自动机模型,然后通过通信事件构成时间自动机网络模型;生成对应流程的消息顺序图并对系统安全性、可达性、存在性进行验证,并在C3+ATO系统仿真平台验证.仿真验证结果表明,该模型满足C3+ATO系统的功能属性要求,为后续C3+ATO系统设计开发、测试试验、实际应用及相关规范完善提供理论参考.
C3+ATO系统、车载设备、模式转换、时间自动机、UPPAAL
27
TP391.9;U284.48(计算技术、计算机技术)
国家自然基金;中国博士后科学基金;甘肃省自然科学基金
2021-02-25（万方平台首次上网日期，不代表论文的发表时间）
共8页
1851-1858
