WCDMA協(xié)議呼叫流程形式化模型的建立與分析.pdf

1、現(xiàn)如今，WCDMA協(xié)議已經(jīng)成為了兩大主流通信體制的一部分并越來越受到人們的關(guān)注。而對于無線通信系統(tǒng)來說，呼叫流程能否成功建立是一個很關(guān)鍵的問題，可以稱得上是整個通信系統(tǒng)的最基本過程。所以對WCDMA協(xié)議信令流程中有關(guān)呼叫建立與釋放流程的形式化模型進(jìn)行分析，以檢驗(yàn)該協(xié)議流程的模擬分析是否符合預(yù)期，將有助于整個系統(tǒng)的建立與維護(hù)。這對于推動第三代移動通信系統(tǒng)產(chǎn)業(yè)鏈的發(fā)展具有十分重要的意義。
　　鑒于上述的現(xiàn)狀分析，本文主要研究基于Col

2、oured Petri Nets及其仿真工具CPN-Tools的WCDMA協(xié)議呼叫流程形式化模型的建立，隨后對建立起的模型進(jìn)行模擬并做了基本屬性的分析。具體過程為:首先使用CPN建模工具對WCDMA協(xié)議呼叫建立和釋放流程進(jìn)行了層次化建模，之后對該模型進(jìn)行模擬運(yùn)行并生成對應(yīng)的狀態(tài)空間報(bào)告，然后將模擬生成的完全狀態(tài)空間與該CPN模型的運(yùn)行結(jié)果進(jìn)行比較，觀察狀態(tài)空間報(bào)告是否與協(xié)議模型運(yùn)行結(jié)果統(tǒng)一，以檢驗(yàn)協(xié)議模型是否符合預(yù)期。最終，在避免了空間