運用狀態機提高嵌入式軟件效率

引 言
有限狀態機是根據當前狀態以及觸發條件進行狀態轉換的一種機制，包含一組狀態集(state)、一個起始狀態(start state)、一組輸入符號集(alphabet)、一個映射輸入符號和當前狀態到下一狀態的轉換函數(transition func-tion)的計算模型。當輸入符號串時，模型隨即進入起始狀態。要讓狀態機改變到新的狀態，依賴于系統的轉換函數。有限狀態機中有許多變量，例如，與動作(actions)轉換(Mealy機)或狀態(摩爾機)關聯的動作，多重起始狀態，基于沒有輸入符號的轉換或指定符號和狀態(非定有限狀態機)的多個轉換、指派給接收狀態(識別者)的一個或多個狀態。有限狀態機多應用于硬件時序電路設計。
有限狀態機也可以應用到嵌入式軟件設計中。在進行嵌入式軟件設計時，通常的做法是按照信息流程進行順序編程。例如對串行數據的處理，一般是等待接收數據，分析數據，進行數據處理，然后發送處理結果。使用這種軟件設計方法，最突出的一點就是在任務的處理過程中，任務基本上獨占了MCU的資源，即在處理串口數據的過程中，不會再去處理其他消息(中斷除外)。采用這種方式，MCU會在相當長的一段時間內只處理一個任務。如果合理運用狀態機機制開發系統軟件，就可以讓MCU進行多任務的分時處理。

1 建立有限狀態機的模型
其實在平時的程序設計中，開發人員已經不知不覺地使用了狀態機，如按鍵狀態轉換、菜單顯示狀態的轉換等。但是，很少有系統會使用狀態機進行多任務處理。在單片機系統中，通過對系統各功能模塊的分析，可以建立有限狀態機的模型，繼而在系統的軟件設計中利用狀態機的特點，開發出結構清晰的高效率嵌入式軟件。
1．1 系統功能分析
具有GPS、GPRS功能的公交車智能IC卡收費機，其功能包括對乘客使用的非接觸式IC卡進行刷卡消費，使用GPS進行自動報站，以及使用GPRS進行實時調度等。按照獨占式處理模式，智能收費機的軟件系統會把多個任務按照信息流程進行排隊，處理完一個任務后，再進行下一個任務的處理。使用狀態機進行軟件編程，可以把每一個任務分解為多個狀態，在某個狀態處理時，同時檢查其他任務是否需要進行信息處理，并進行狀態的轉換。這樣就可以讓MCU在等待的空閑時間內進行多個消息的處理。
1．2 IC卡功能的狀態機建模
目前公交車乘客使用的公交卡，一般都是非接觸式IC卡，需要使用一個接口芯片對卡片進行讀寫操作。因此要對IC卡進行操作，就需要先對接口芯片進行初始化，包括對相關I／O引腳的設置、訪問地址的設定等操作。當非接觸式IC卡進入無線操作范圍后，需要使用Request命令喚醒卡片，再對喚醒的卡片(一張或多張)進行防沖突處理，得到卡片的唯一標識碼，然后通過Select命令選擇要進行操作的卡片-。非接觸式IC卡內的數據是用密碼進行保護的，而且每個區的密碼都不一樣。因此在對某個區進行讀寫前，還需要進行密碼的驗證。只有密碼正確了，才可以進行讀寫操作。如果卡片的防沖突處理、選擇卡片操作扇區、授權驗證這幾個步驟出錯，則需要使用Request命令對卡片重新喚醒，然后再進行其他操作。在完成對卡片某一區域的讀寫后，可以直接對其他區域進行操作(需要重新驗證密碼)，或者使用Request命令對其他卡片進行操作。
對IC卡的操作可以分為以下幾個部分：接口芯片的初始化、查詢卡片、防沖突處理、選擇卡片、對操作扇區授權驗證、讀卡、寫卡。根據對IC卡的操作，可以建立IC卡操作的相應狀態作為狀態機。建立狀態機的模型如圖1所示。類似地，對于GPRS、GPS等功能模塊，也可以進行相應的狀態機建模。

2 利用狀態機進行軟件設計
利用前面所建立的狀態機模型，可以方便地進行相應的程序設計。軟件的主要工作是進行正確的狀態切換和在每個狀態下執行相應的動作。對單個狀態機處理的程序設計，可以使用“橫式”或“豎式”兩種設計方法。“橫式”設計是把每個狀態的功能作為一個子函數處理，在子函數外部進行狀態的切換。“豎式”設計是在單個switch語句中對所有的狀態進行判斷，執行相應動作并進行狀態切換。下面以非接觸式IC卡操作為例，對兩種軟件設計方式進行討論。假設變量如下：當前狀態為CUr_state，下一狀態為next_state；狀態分別為RC500Config、RC500Request、RC500Anticoll、RC500Select、RC500Auth、RC500LoadMk、RC500Read、RC500write。“豎式”程序設計如下：