论文部分内容阅读
矿井机车无人驾驶系统在国内外尚未广泛使用,相关技术也不成熟,大巷内环境恶劣、人员复杂且劳动强度大、轨道路况差、信息化程度不高、运输调度多变等,要求系统具有高级别的可靠性、安全性、可信性等级。针对矿井机车无人驾驶系统中机车位置和机车信息等周期性消息传输的实时性问题,设计了基于时间有色Petri网的周期性消息实时性能建模与验证方法,对消息实时性能进行形式化建模与验证,通过模拟周期性AP切换和突发中断两类失效,经不同机车车速下丢包率和时延统计验证矿井机车无人驾驶系统周期性消息传递满足系统设计要求。