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

作     者：胡毅 于东 岳东峰 刘旭军 黄骏 

作者机构：中国科学院研究生院北京100039 中国科学院沈阳计算技术研究所高档数控国家工程研究中心辽宁沈阳110171 中国科学技术大学计算机科学与技术学院安徽合肥230027 沈阳高精数控技术有限公司辽宁沈阳110171 

基　　金：国家"高档数控机床与基础制造装备"科技重大专项(2009ZX04009-013)资助 科技部国家科技支撑计划(2007BAP20B01)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2009年第30卷第10期

页      码：1994-2000页

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

主 题 词：数控总线 RTPS机制 形式化分析 模型验证 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203557882...