摘要： 目前可靠用户数据报协议(RUDP)有许多分析方式，但缺少形式化的模型。针对该问题，运用着色Petri网(CPN)对RUDP进行形式化建模，使用CPN Tools对模型进行仿真，通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质。采用 3次不同的实验对模型进行性能分析，实验结果显示，该模型的平均重传率为5%，能够模拟RUDP的行为，为研究RUDP提供一种形式化的方法。
关键词:
可靠用户数据报协议,
滑动窗口,
着色Petri网,
形式化模型,
状态空间报告
Abstract: So far, there are many ways used for analyzing Reliable User Datagram Protocol(RUDP), but it lacks a formal model. For this problem, this paper puts forward a formal model for RUDP with Colored Petri Nets(CPN) and using the CPN tools to realize the model and simulate it. The verification of various properties of the protocol model is achieved by means of a state space report produced by the tool. The average retransmission rate is gotten about 5% by three different kinds of tests. The model can basically imitate the behaviors of the RUDP, and gives a formal method to research the RUDP.
Key words:
Reliable User Datagram Protocol(RUDP),
sliding window,
Colored Petri Nets(CPN),
formal model,
state space report
中图分类号:
赵福奎, 卢雷. 基于CPN的RUDP建模与分析[J]. 计算机工程, 2012, 38(20): 290-292.
DIAO Fu-Kui, LEI Lei. Modeling and Analysis of RUDP Based on CPN[J]. Computer Engineering, 2012, 38(20): 290-292.