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

Reaserch on RTPS-based Communication Mechanism for CNC Fieldbus

作　　者：胡毅[1,2] 于东[2] 岳东峰[3] 刘旭军[1,2] 黄骏[4] 

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

出　　处：《小型微型计算机系统》2009年第10期1994-2000,共7页Journal of Chinese Computer Systems

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

摘　　要：在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型,最后通过模型验证器PRISM对该机制的稳定性与实时性进行了验证.结果表明该机制满足数控总线通信要求.Based on the research about conventional communication mechanism, for the features of CNC Fieldbus, a new RTPS-based communication mechanism for CNC Fieldbus is presented. The RTPS architecture and the key message-oriented middleware are expatiated firstly,then formal analysis methods and probabilistic timed automata are adopted to analysis and construct system state transfer model of the proposed mechanism. Finally, experiments by using PRISM model checker are carded out to cheek the stability and realtime performance of this mechanism. The results prove that the new communication mechanism can be suitable for CNC Fieldbus demands.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]