面向SDN的協(xié)議心跳機(jī)制的Petri網(wǎng)分析改進(jìn)與自動(dòng)化實(shí)現(xiàn)
本文選題:SDN + 協(xié)議實(shí)現(xiàn) ; 參考:《浙江工商大學(xué)》2014年碩士論文
【摘要】:隨著SDN (Software Defined Networking,簡(jiǎn)稱SDN)技術(shù)的不斷發(fā)展,為了更好地滿足未來(lái)網(wǎng)絡(luò)發(fā)展的需求,設(shè)計(jì)新型網(wǎng)絡(luò)體系架構(gòu)和網(wǎng)絡(luò)協(xié)議逐漸成為新的研究方向,如何能夠高效地設(shè)計(jì)和實(shí)現(xiàn)更加符合網(wǎng)絡(luò)需求的協(xié)議成為該方向研究的重點(diǎn)。首先,本文對(duì)已有網(wǎng)絡(luò)協(xié)議形式化描述技術(shù)和實(shí)現(xiàn)技術(shù)進(jìn)行深入分析研究,提出了一種新的網(wǎng)絡(luò)協(xié)議自動(dòng)化生成方案。該方案使用XML (Extensible Markup Language,簡(jiǎn)稱XML)語(yǔ)言和TAP (The Timed Abstract Protocol,簡(jiǎn)稱TAP)語(yǔ)言實(shí)現(xiàn)網(wǎng)絡(luò)協(xié)議的描述與自動(dòng)化生成。其次,本文對(duì)ForCES (Forwarding and Control Element Separation,簡(jiǎn)稱ForCES)協(xié)議中的心跳機(jī)制進(jìn)行了研究,借鑒了已有的快速心跳協(xié)議,將ForCES協(xié)議中轉(zhuǎn)發(fā)件主動(dòng)向控制件定時(shí)發(fā)送心跳包的思想引入到快速心跳協(xié)議中,進(jìn)而提出了快速心跳改進(jìn)模型。同時(shí),本文從理論上對(duì)各個(gè)心跳模型進(jìn)行了分析。在丟包率為50%時(shí),ForCES協(xié)議的心跳機(jī)制的協(xié)議失敗率為0.422,采用快速心跳模型后失敗率降低為0.237,采用快速心跳改進(jìn)模型后失敗率僅為0.00185。通過(guò)對(duì)比得出結(jié)論:改進(jìn)心跳模型能夠有效地提高協(xié)議運(yùn)行的成功率。再次,本文采用Pe1ri網(wǎng)工具對(duì)各個(gè)模型進(jìn)行了理論分析與建模,并計(jì)算出各個(gè)模型的延時(shí)。最后,本文采用TAP自動(dòng)化實(shí)現(xiàn)技術(shù)對(duì)ForCES協(xié)議的心跳模型、快速心跳模型及快速心跳改進(jìn)模型進(jìn)行實(shí)現(xiàn),對(duì)比實(shí)際延時(shí)與理論值,兩者基本一致。
[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.
【學(xué)位授予單位】:浙江工商大學(xué)
【學(xué)位級(jí)別】:碩士
【學(xué)位授予年份】:2014
【分類號(hào)】:TP393.04
【參考文獻(xiàn)】
相關(guān)期刊論文 前10條
1 肖德琴,沈勇,張建偉;網(wǎng)絡(luò)通信協(xié)議形式化描述與驗(yàn)證技術(shù)的研究[J];重慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);1997年02期
2 吳琦;熊光澤;;基于SDL語(yǔ)言代碼自動(dòng)生成技術(shù)研究[J];計(jì)算機(jī)科學(xué);2003年04期
3 張銳;張璐璐;雷新峰;劉軍;;基于XML的安全協(xié)議形式化描述方法[J];軍事通信技術(shù);2009年01期
4 羅軍舟,seu.edu.cn,沈俊,顧冠群;從Petri網(wǎng)到形式描述技術(shù)和協(xié)議工程[J];軟件學(xué)報(bào);2000年05期
5 林闖,魏丫丫;隨機(jī)進(jìn)程代數(shù)與隨機(jī)Petri網(wǎng)[J];軟件學(xué)報(bào);2002年02期
6 劉鴻,林闖,吳建平;一種緊同步隨機(jī)Petri網(wǎng)模型的性能分析方法[J];軟件學(xué)報(bào);2003年06期
7 劉昕鵬,羅英偉,汪小林,許卓群;基于XML的WebGIS通信協(xié)議的設(shè)計(jì)與實(shí)現(xiàn)[J];軟件學(xué)報(bào);2004年06期
8 李興華;李帥團(tuán);李登;馬建峰;;安全協(xié)議多目標(biāo)語(yǔ)言代碼自動(dòng)化實(shí)現(xiàn)方案[J];通信學(xué)報(bào);2012年09期
9 吳書(shū)華;吳慶波;張超;;KylinOS可靠心跳協(xié)議研究[J];微計(jì)算機(jī)信息;2006年32期
10 齊愛(ài)朋;;淺析代碼自動(dòng)生成器技術(shù)[J];信息與電腦(理論版);2010年01期
,本文編號(hào):1732268
本文鏈接:http://sikaile.net/guanlilunwen/ydhl/1732268.html