面向SDN的协议心跳机制的Petri网分析改进与自动化实现

发布时间：2018-04-10 17:44

本文选题：SDN + 协议实现　；参考：《浙江工商大学》2014年硕士论文

【摘要】：随着SDN (Software Defined Networking,简称SDN)技术的不断发展,为了更好地满足未来网络发展的需求,设计新型网络体系架构和网络协议逐渐成为新的研究方向,如何能够高效地设计和实现更加符合网络需求的协议成为该方向研究的重点。首先,本文对已有网络协议形式化描述技术和实现技术进行深入分析研究,提出了一种新的网络协议自动化生成方案。该方案使用XML (Extensible Markup Language,简称XML)语言和TAP (The Timed Abstract Protocol,简称TAP)语言实现网络协议的描述与自动化生成。其次,本文对ForCES (Forwarding and Control Element Separation,简称ForCES)协议中的心跳机制进行了研究,借鉴了已有的快速心跳协议,将ForCES协议中转发件主动向控制件定时发送心跳包的思想引入到快速心跳协议中,进而提出了快速心跳改进模型。同时,本文从理论上对各个心跳模型进行了分析。在丢包率为50%时,ForCES协议的心跳机制的协议失败率为0.422,采用快速心跳模型后失败率降低为0.237,采用快速心跳改进模型后失败率仅为0.00185。通过对比得出结论：改进心跳模型能够有效地提高协议运行的成功率。再次,本文采用Pe1ri网工具对各个模型进行了理论分析与建模,并计算出各个模型的延时。最后,本文采用TAP自动化实现技术对ForCES协议的心跳模型、快速心跳模型及快速心跳改进模型进行实现,对比实际延时与理论值,两者基本一致。
[Abstract]:With the continuous development of SDN Software Defined networking technology, in order to better meet the needs of future network development, the design of new network architecture and network protocols has become a new research direction.How to efficiently design and implement protocols that meet the network requirements has become the focus of research in this field.Firstly, the formal description technology and implementation technology of existing network protocols are analyzed and studied in this paper, and a new automatic generation scheme of network protocols is proposed.This scheme uses XML extensible Markup language and TAP the Timed Abstract Protocol language to realize the description and automatic generation of network protocols.Secondly, this paper studies the heartbeat mechanism in ForCES forwarding and Control Element Separation (forces) protocol, draws on the existing fast heartbeat protocol, and introduces the idea of active sending heartbeat packets to the controller periodically in ForCES protocol.Furthermore, an improved fast heartbeat model is proposed.At the same time, the heartbeat models are analyzed theoretically.When the packet loss rate is 50, the failure rate of the heartbeat mechanism of forces protocol is 0.422, the failure rate of fast heartbeat model decreases to 0.237, and the failure rate of improved fast heartbeat model is only 0.00185.The conclusion is that the improved heartbeat model can effectively improve the success rate of protocol operation.Thirdly, the Pe1ri net tool is used to analyze and model each model theoretically, and the delay time of each model is calculated.Finally, the paper implements the heartbeat model, fast heartbeat model and improved fast heartbeat model of ForCES protocol by using TAP automation technology. The comparison between the actual delay and the theoretical value shows that the two models are basically the same.
【学位授予单位】：浙江工商大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.04

【参考文献】