基于CPN的RUDP建模与分析  

Modeling and Analysis of RUDP Based on CPN

作　　者：赵福奎[1] 卢雷[1] 

机构地区：[1]山东大学计算机科学与技术学院,济南250101

出　　处：《计算机工程》2012年第20期290-292,F0003,共4页Computer Engineering

摘　　要：目前可靠用户数据报协议(RUDP)有许多分析方式,但缺少形式化的模型。针对该问题,运用着色Petri网(CPN)对RUDP进行形式化建模,使用CPN Tools对模型进行仿真,通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质。采用3次不同的实验对模型进行性能分析,实验结果显示,该模型的平均重传率为5%,能够模拟RUDP的行为,为研究RUDP提供一种形式化的方法。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.

关 键 词：可靠用户数据报协议 滑动窗口 着色PETRI网 形式化模型 状态空间报告 

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