臺灣博碩士論文加值系統

在這篇論文中，我們設計與實作了一個以正交分頻多工存取(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…………………………………………………………….57

[1] IEEE 802.16-2004, “IEEE standard for Local and Metropolitan Area Networks – Part 16: Air Interface for Fixed Broadband Wireless Access Systems,” Oct. 2004.

[2] IEEE 802.16e-2005 “IEEE standard for Local and Metropolitan Area Networks – Part 16: Air Interface for Fixed Broadband Wireless Access Systems, Admendment2: Physical and Medium Access Control Layers for Combined Fixed and Mobile Operation in Licensed Bands” Feb. 2006.

[3] Taesoo Kwon, Howon Lee, Sik Choi, Juyeop Kim, and Dong-Ho Cho “Design and implementation of a simulator based on a cross-layer protocol between MAC and PHY layers in a WiBro Compatible.IEEE 802.16e OFDMA system” Communications Magazine, IEEE, Volume 43, Issue 12, Dec. 2005 Page(s):136-146

[4] Pitro Zafiropulo, Colin H. West, Harry Rudin, D.D. Cowan, Daniel Brand “Towards Analyzing and Synthesizing Protocols” IEEE Transactions on, Volume 28, Issuee 4, Apr. 1980 Page(s):651 – 661

[5] Ophir Frieder, Gary E. Herman “Protocol Verification Using Database Tchnology” Selected Areas in Communications, IEEE Journal on, Volume 7, Issue 3, April 1989 Page(s):324 -334

[6] Claudio Cicconetti, Luciano Lenzini, and Enzo Mingozzi “Quality of Service Support in IEEE 802.16 Networks” IEEE Network, March/April 2006 Page(s):50-55

[7] Kitti Wongthavarawat and Aura Ganz “Packet scheduling for QoS support in IEEE 802.16 broadband wireless access systems” International Journal of Communication Systems 2003; 16:81-96

[8] M.Shreedhar and G. Varghese, “Efficient Fair Queuing using Deficit Round Robin,” IEEE Trans. Net., Volume 4, Issue 3, June 1996 Page(s):375-385

[9] Feng-Seng Chu, Kwang-Cheng Chen “Fair Adaptive Radio Resource Allocation of Mobile OFDMA” IEEE PIMRC06

[8] Averill M. Law, W. David Kelton “Simulation modeling and analysis” 3rd edition McGraw-Hill

[10] “Channel Models for Fixed Wireless Applications” IEEE 802.16.3c-01/29r4

[11] “Mobile WiMAX – Part I: A Technical Overview and Performance Evaluation” WiMAX Forum Feb.21, 2006

[12] Howon Lee, Taesoo Kwon, Dong-Ho Cho, Geunhwi Lim, Young Chang, “Performance Analysis of Scheduling Algorithms for VoIP Services in IEEE 802.16e Systems”, Vehicular Technology Conference, 2006. Volume 3, 2006 Page(s):1231-1235

[13] M. Katevenis, S. Sidiropoulos, and C. Courcoubetis, “Weighted Round Robin Cell Multiplexing in a General-Purpose ATM Switch Chip”, IEEE JSAC, vol. 9, no. 8, Oct. 1991, pp.1265-79

[14] Georgiadis L, Guerin R, Parekh A. “Optimal Multiplexing on a Single Link: Delay and Buffer Requirements”, Proceedings of IEEE INFOCOM 94, vol. 2, 1994, 524-432

[15] Wang F., Ghosh A., Love R., Stewart K.,Ratasuk R., Bachu R., Sun Y., Zhao Q., “IEEE 802.16e system performance: analysis and simulations” PIMRC 2005 IEEE 16th International Symposium on, vol. 2, 11-14 Sept. 2005 Page(s):900-904

[16] Ben-Shimol Y., Kitroser I., Dinitz Y., “Two-dimensional mapping for wireless OFDMA systems” Broadcasting, IEEE Transactions on, vol. 52, Issue 3, Sept. 2006 Page(s):388-396

[17] Andrews M., Kumaran K., Ramanan K., Stolyar A., Whiting P., Vijayakumar R., “Providing quality of service over a shared wireless link” Communications Magazine IEEE, vol. 39, Issue 2, Feb. 2001 Page(s): 150-154

[18] M.Shreedhar and G. Varghese, “Efficient Fair Queuing using Deficit Round Robin”, IEEE Trans. Net., vol. 4, no. 3, June 1996, pp. 375-85

[19] D.P. Heyman, A. Tabatabai, and T.V. Lakshman, “Statistical Analysis and Simulation Study of Video Teleconference Traffic in ATM Networks”, IEEE Trans. Circuits Sys. Video Tech., vol. 2, no. 1, Mar. 1992, pp.49-59

[20] C. Hoymann, “Analysis and Performance Evaluation of the OFDM-based Metropolitan Area Network IEEE 802.16,” Comp. Net., vol. 49, no. 3, Oct. 2005, pp. 341-63