基于实时发布订阅模式的数控总线通信机制研究

摘要

在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型,最后通过模型验证器PRISM时该机制的稳定性与实时性进行了验证.结果表明该机制满足数控总线通信要求.