面向SDN的協(xié)議心跳機制的Petri網(wǎng)分析改進與自動化實現(xiàn).pdf

1、隨著SDN(Software Defined Networking，簡稱SDN)技術(shù)的不斷發(fā)展，為了更好地滿足未來網(wǎng)絡(luò)發(fā)展的需求，設(shè)計新型網(wǎng)絡(luò)體系架構(gòu)和網(wǎng)絡(luò)協(xié)議逐漸成為新的研究方向，如何能夠高效地設(shè)計和實現(xiàn)更加符合網(wǎng)絡(luò)需求的協(xié)議成為該方向研究的重點。首先，本文對已有網(wǎng)絡(luò)協(xié)議形式化描述技術(shù)和實現(xiàn)技術(shù)進行深入分析研究，提出了一種新的網(wǎng)絡(luò)協(xié)議自動化生成方案。該方案使用XML(Extensible Markup Language，簡稱XML)語

2、言和TAP（The Timed Abstract Protocol，簡稱TAP）語言實現(xiàn)網(wǎng)絡(luò)協(xié)議的描述與自動化生成。其次，本文對ForCES (Forwarding and Control Element Separation，簡稱ForCES)協(xié)議中的心跳機制進行了研究，借鑒了已有的快速心跳協(xié)議，將ForCES協(xié)議中轉(zhuǎn)發(fā)件主動向控制件定時發(fā)送心跳包的思想引入到快速心跳協(xié)議中，進而提出了快速心跳改進模型。同時，本文從理論上對各個心跳模型

3、進行了分析。在丟包率為50％時，F(xiàn)orCES協(xié)議的心跳機制的協(xié)議失敗率為0.422，采用快速心跳模型后失敗率降低為0.237，采用快速心跳改進模型后失敗率僅為0.00185。通過對比得出結(jié)論:改進心跳模型能夠有效地提高協(xié)議運行的成功率。再次，本文采用Petri網(wǎng)工具對各個模型進行了理論分析與建模，并計算出各個模型的延時。最后，本文采用TAP自動化實現(xiàn)技術(shù)對ForCES協(xié)議的心跳模型、快速心跳模型及快速心跳改進模型進行實現(xiàn)，對比實際延時與