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