-
题名基于CPN的RUDP建模与分析
被引量：1
- 1
-
-
作者
赵福奎
卢雷
-
机构
山东大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
2012年第20期290-292,F0003,共4页
-
文摘
目前可靠用户数据报协议(RUDP)有许多分析方式,但缺少形式化的模型。针对该问题,运用着色Petri网(CPN)对RUDP进行形式化建模,使用CPN Tools对模型进行仿真,通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质。采用3次不同的实验对模型进行性能分析,实验结果显示,该模型的平均重传率为5%,能够模拟RUDP的行为,为研究RUDP提供一种形式化的方法。
-
关键词
可靠用户数据报协议
滑动窗口
着色PETRI网
形式化模型
状态空间报告
-
Keywords
Reliable User Datagram Protocol（RUDP）
sliding window
Colored Petri Nets（CPN）
formal model
state space report
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
