本文選題：SDN + 協(xié)議實現(xiàn)　； 參考：《浙江工商大學》2014年碩士論文

【摘要】：隨著SDN (Software Defined Networking,簡稱SDN)技術的不斷發(fā)展,為了更好地滿足未來網絡發(fā)展的需求,設計新型網絡體系架構和網絡協(xié)議逐漸成為新的研究方向,如何能夠高效地設計和實現(xiàn)更加符合網絡需求的協(xié)議成為該方向研究的重點。首先,本文對已有網絡協(xié)議形式化描述技術和實現(xiàn)技術進行深入分析研究,提出了一種新的網絡協(xié)議自動化生成方案。該方案使用XML (Extensible Markup Language,簡稱XML)語言和TAP (The Timed Abstract Protocol,簡稱TAP)語言實現(xiàn)網絡協(xié)議的描述與自動化生成。其次,本文對ForCES (Forwarding and Control Element Separation,簡稱ForCES)協(xié)議中的心跳機制進行了研究,借鑒了已有的快速心跳協(xié)議,將ForCES協(xié)議中轉發(fā)件主動向控制件定時發(fā)送心跳包的思想引入到快速心跳協(xié)議中,進而提出了快速心跳改進模型。同時,本文從理論上對各個心跳模型進行了分析。在丟包率為50%時,ForCES協(xié)議的心跳機制的協(xié)議失敗率為0.422,采用快速心跳模型后失敗率降低為0.237,采用快速心跳改進模型后失敗率僅為0.00185。通過對比得出結論：改進心跳模型能夠有效地提高協(xié)議運行的成功率。再次,本文采用Pe1ri網工具對各個模型進行了理論分析與建模,并計算出各個模型的延時。最后,本文采用TAP自動化實現(xiàn)技術對ForCES協(xié)議的心跳模型、快速心跳模型及快速心跳改進模型進行實現(xiàn),對比實際延時與理論值,兩者基本一致。
[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

【參考文獻】

相關期刊論文 前10條

1 肖德琴，沈勇，張建偉;網絡通信協(xié)議形式化描述與驗證技術的研究[J];重慶師范學院學報(自然科學版);1997年02期

2 吳琦;熊光澤;;基于SDL語言代碼自動生成技術研究[J];計算機科學;2003年04期

3 張銳;張璐璐;雷新峰;劉軍;;基于XML的安全協(xié)議形式化描述方法[J];軍事通信技術;2009年01期

4 羅軍舟,seu.edu.cn,沈俊,顧冠群;從Petri網到形式描述技術和協(xié)議工程[J];軟件學報;2000年05期

5 林闖,魏丫丫;隨機進程代數與隨機Petri網[J];軟件學報;2002年02期

6 劉鴻,林闖,吳建平;一種緊同步隨機Petri網模型的性能分析方法[J];軟件學報;2003年06期

7 劉昕鵬,羅英偉,汪小林,許卓群;基于XML的WebGIS通信協(xié)議的設計與實現(xiàn)[J];軟件學報;2004年06期

8 李興華;李帥團;李登;馬建峰;;安全協(xié)議多目標語言代碼自動化實現(xiàn)方案[J];通信學報;2012年09期

9 吳書華;吳慶波;張超;;KylinOS可靠心跳協(xié)議研究[J];微計算機信息;2006年32期

10 齊愛朋;;淺析代碼自動生成器技術[J];信息與電腦(理論版);2010年01期

，

本文編號：1732268