收藏本站
《小型微型计算机系统》 2009年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

【共引文献】
中国重要会议论文全文数据库 前3条
1 沈岚岚;董荣胜;;移动Ad Hoc网络中一种匿名攻击及防御策略研究[A];广西计算机学会2007年年会论文集[C];2007年
2 徐立杰;胡华平;陈新;刘波;;匿名通信系统的攻击技术现状与发展趋势[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
3 陆天波;方滨兴;;Internet上的匿名技术研究[A];全国网络与信息安全技术研讨会'2005论文集(下册)[C];2005年
【相似文献】
中国期刊全文数据库 前2条
1 胡毅;于东;尹震宇;刘明烈;;开放式数控总线标准中数据链路层研究[J];计算机工程;2008年23期
2 胡毅;于东;岳东峰;刘旭军;黄骏;;基于实时发布订阅模式的数控总线通信机制研究[J];小型微型计算机系统;2009年10期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026