期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

基于Uppaal的通信协议消息传输的流水线技术的建模与分析

下载PDF

导出

摘要本文模拟了一个简单的通信协议并且做了一个实验,就是采用了流水线技术去传输消息,以此研究减少通信时间的可能性。我们把这个通信协议通过UPPAAL[1]、[2]、[3]建成一个时间自动机的模型,然后模拟利用流水线技术进行消息传输。

作者王长青

机构地区同济大学软件学院

出处《科技传播》 2010年第22期205-206,共2页 Public Communication of Science & Technology

关键词 UPPAAL 通信协议消息传输流水线技术建模与分析

分类号 TP393.04 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

参考文献3

1B.Berard,M.Bidoit,A.Finkel,F.Laroussinie,A.Petit,L.Petrucci,P.Schnoebelen,P.McKenzie.Systemsand Software Verification:Model Checking Techniques and Tools[].. 被引量：1
2Zohar Manna,Amir Pnueli.Temporal Verification of Recactive Systems:Safety[].. 被引量：1
3.UPPAA LManual[].wwwuppaalcom. 被引量：1

1刘克,沈美娥,郑应平.缓冲区有限的生产系统的建模与分析[J].控制与决策,1991,6(4):241-246. 被引量：12
2周清雷,王静,赵东明.UPPAAL环境下通讯协议的自动验证[J].河南师范大学学报（自然科学版）,2006,34(4):40-42. 被引量：2
3李雪梅,路而红,欧海文.AES算法的快速硬件设计与实现[J].电子技术应用,2006,32(5):48-50. 被引量：11
4郑飞.现代RISC处理器的流水线技术[J].微电子学与计算机,1993,10(9):28-31. 被引量：1
5周清雷,姬莉霞,王艳梅.基于UPPAAL的实时系统模型验证[J].计算机应用,2004,24(9):129-131. 被引量：23
6华北.浅谈消息中间件技术的原理与应用[J].中国科技信息,2005(12C):68-68. 被引量：3
7刘石坚,乐晓波,邹峥.含抑制弧和测试弧Petri网的建模及其行为分析[J].系统仿真学报,2008,20(S2):76-81. 被引量：3
8刘中华,史恒亮,陈永刚.P2P环境下SOAP消息传输安全机制的实现[J].西南科技大学学报,2007,22(4):69-73.
9沈苏彬,林闯.专题前言:物联网研究的机遇与挑战[J].软件学报,2014,25(8):1621-1624. 被引量：37
10郑建华,李迪,肖舒华,苏兆港.实时嵌入式系统形式化自动验证的研究与应用[J].制造业自动化,2007,29(9):20-24. 被引量：2

科技传播

2010年第22期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部