行動通訊協定之系統化設計方法

Abstract

在細胞式無線通訊系統中，通訊協定扮演著非常重要的角色。這是因 為通訊協定不但定義了基地台與手機之間的互動動作，同時也對於語音處 理的方式、完成動作的時間限制及其他硬體元件的規格作詳盡的規劃。在 本論文中，我們針對如何將通訊協定設計到通訊系統中，提出一套創新的 系統化設計方法。此方法中，首先利用statecharts來分析通訊協定，並 以圖示法表現同時性與即時性動作。之後，將statecharts對應到即時多 工作業系統上的軟體程式；這些程式在系統實作時，將被載入微處理器中 。我們並以北美數位式通訊協定(IS-54)作為此設計方法的範例。最後， 我們期望在不久的將來，能夠將此系統化設計方法整合並建立成一個有效 率且容易使用的設計環境。 Protocols take very important roles in wireless cellular communication systems, because they not define the behavior between base stations and mobile stations but also specify detailed speech processing, timing constraints and other requirements of physical hardware components. In this thesis, an innovative design methodology is proposed for protocoldesign. The protocol description is first analyzed by statecharts which represent concurrent actions of real-time reactive system while keeping modularity. Then statecharts are mapped to programs on a real-time operatingsystem as well as micro-processors. The IS-54 protocol for cellular wirelesscommunication mobile station is taken as the design example. And an efficientand easy-for- evaluation design environment is then constructed.