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

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

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