Abstract
論文摘要 泛歐數位式行動電話系統（Global System for Mobile Communication，GSM）為歐洲電信標準協會(ETSI)所制定的數位蜂巢式行動網路之標準。此系統目前在全球各地已經被廣泛的使用與接受，佔有廣大的市場與使用人口，可說是世界上最受歡迎的無線通訊系統。我們在充分研究GSM標準規格書（specification）之後，決定針對GSM Layer3的三個子層- 無線資源管理子層（Radio Resource Management，RR）、行動管理子層（Mobility Management，MM）、與連結管理子層（Connection Management，CM）來做研究與實作。本篇論文將焦點放在行動管理子層（MM）上，將詳細探討MM子層的所有基本功能- 一般功能（MM common procedures）、特定功能（MM specific procedures）、與MM連結管理功能（MM connection management procedures），同時還探討MM子層的所有狀態、訊號流程、與訊號傳送的資料。我們選擇使用SDL（Specification and Description Language）這個語言並在SDT（SDL Design Tool）這個環境下來實作，還利用GSM標準規格書裡用TTCN所寫的測試組合（Test Suite）中的測試範例（Test Case），放在ITEX上來測試我們所撰寫的系統。使用SDL語言的一大原因，除了SDL具有的語言特性能清楚明確的描述整個通訊協定外，在通訊協定設計時期，就可以模擬執行，也可以結合TTCN語言來作測試，以在系統發展初期就確保系統的正確性，減少系統發展的困難。我們期望所撰寫出來的系統能通過GSM標準規格書裡所提出的測試，以符合GSM標準規格書詳定的GSM系統架構。