陳光禎臺灣大學：電機工程學研究所段智維Tuan, Chih-WeiChih-WeiTuan2007-11-262018-07-062007-11-262018-07-062007http://ntur.lib.ntu.edu.tw//handle/246246/53186在這篇論文中，我們設計與實作了一個以正交分頻多工存取(OFDMA)和分時多工(TDD)為實體層傳輸技術的IEEE 802.16e網路模擬平台。我們提出了基地台(base station)和行動通訊設備(mobile station)的媒體存取控制(MAC)層的設計架構以及將規格中的通訊協定模型成有限狀態機(finite state machine)以作為模擬平台程式撰寫的依據。同時我們也提出如何以正規的驗證方式來驗證這些有限狀態機是正確和符合規格的。 另外我們提出實體層元件的設計架構以作為模擬真實系統中接收機受到無線通道影響而產生封包的錯誤來源。在這個元件裡我們提出如何將通道模型轉成封包錯誤機率的計算方法。 基於這個模擬平台我們得到IEEE802.16e 媒體存取控制層的效能和對於不同服務品質保證(Quality of Service)的資料傳輸的模擬實驗數據。這個研究的貢獻在於人們可以根據這個模擬平台來研究與尋找合適的封包排程演算法同時也可以作為發展IEEE 802.16e媒體存取層的產品原型。In this thesis, we design and implement an IEEE 802.16e network simulation platform with OFDMA and TDD. We proposed the MAC design architectures of base station and mobile station and model the MAC protocol to several finite state machines for simulation coding. We also detailed how we verify these state machines with formal method. Besides, we proposed the physical component design architecture for simulating the error source of the receivers that affected by wireless channel in realistic system. We presented how we transfer the channel model to the packet error rate. We can get the experiments data of the performance of IEEE 802.16e and QoS support ability based on this simulation platform. The contribution of this research is that people can find fit scheduling algorithm and modify the simulation platform to be a prototype of 802.16e MAC.誌謝 ………………………………………………………………….…I 摘要 ……………………………………………………………………III Abstract……………………………………………………………….…V List of Figures…………………………………………………………..XI List of Tables.......................................................................................... XV Chapter 1 Introduction………………………………………...............….1 1.1 Frame Structure of 802.16e OFDMA System..................................................2 1.2 Simulation System Overview...........................................................................4 1.3 Thesis Outline..................................................................................................8 Chapter 2 Design of MAC Layer Component……………………………9 2.1 MAC Layer Architecture ……………………………………………………..9 2.1.1 MAC Architecture of Mobile Station…………………………………..10 2.1.2 MAC Architecture of Base Station …………………………………….16 2.1.3 Packet Structure………………………………………………………...20 2.1.4 Connection Object.......................................................................................23 2.1.5 Service Flow Object....................................................................................24 2.2 Protocol State Machine………………………………………………………26 2.2.1 MAC State Machine……………………………………………………26 2.2.2 Network Synchronization State Machine………………………………27 2.2.3 Network Entry and Initialization State Machine.....................................28 2.2.4 Service Flow Management State Machine..............................................29 2.3 Protocol State Machine Verification...............................................................32 2.3.1 MAC State Verification...........................................................................32 2.3.2 Reachability Tree Analysis……………………………………………..33 2.4 Packet Scheduling Schemes...........................................................................36 2.4.1 Service Classes........................................................................................36 2.4.2 QoS Architecture.....................................................................................37 Chapter 3 Design of Physical Layer Component……………………….39 3.1 Architecture Overview………………………………………………………39 3.2 Channel and Propagation Model……………………………………………42 3.2.1 Propagation Model……………………………………………………..42 3.2.2 Fading Channel and Doppler Shift……………………………………..42 Chapter 4 Implementation and Simulation Result………………………45 4.1 Implementation Settting………………………………………………………45 4.1.1 Frame Setting…………………………………………………………..45 4.1.2 Parameters and Control Messages……………………………………..46 4.2 Simulation Result…………………………………………………………….48 4.2.1 Downlink Scheduling…………………………………………………..49 4.2.2 Uplink Scheduling……………………………………………………...51 4.2.3 Simulation Conclusion…………………………………………………53 Chapter 5 Conclusions and Future Work………………………………..55 Bibliography…………………………………………………………….57919372 bytesapplication/pdfen-US模擬平台模擬器媒體存取控制層服務品質保證正交分頻多工存取simulation platformsimulator802.16eWiMaxMACQoSOFDMAthesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/53186/1/ntu-96-J93921024-1.pdf