visualstate第八章-wenkub

　

【正文】 ，則變成有效狀態，并產生一個有效信號；有效信號一觸發，有效性狀態立即回到無效狀態。 ? 當接收到退出的觸發時，系統將卡彈出，服務界面回到歡迎狀態，插卡區變成無卡狀態。 ? 在取款界面，當接收到取款金額的觸發時，判斷是否透支。 狀態機的建模分析 第三步：選擇服務。 第二步：檢驗。在設計過程中，我們要考慮 ATM系統正常運行時需要的并發狀態數。 狀態機的建模分析 整體構思 由于本案例是模擬實現具有簡易功能的 ATM取款機，所以輸入密碼和輸入取款金額等操作我們可以通過超級終端來模擬實現（超級終端通過串口線和 STM32的串口 USART2連接起來，與其進行通信）；輸入密碼、取款金額等操作我們可以通過STM32上的各個開關來模擬實現；而 ATM所處的各種狀態，我們則可以通過 STM32的燈和 LCD顯示器來模擬實現（ STM32通過 USB接口線和 PC機連接起來）。 軟、硬件環境 案例：具有簡易功能的 ATM取款機的模擬實現 設計任務說明 ? 設計一個具有簡易功能的 ATM取款機，可一次輸入密碼、取款（不可透支）以及余額查詢。本章我們將結合設計實例，具體講述將 visualSTATE生成的代碼集成到沒有移植嵌入式操作系統的 STM32中的具體的應用方法。 ? 簡易 ATM取款機 ? 使用 visualSTATE工具鏈設計、 驗證狀態機 ? visualSTATE系統在 STM32上的 模擬實現方案 ? 集成應用程序代碼到 STM32 第八章 目錄 軟、硬件環境 (1) IAR visualSTATE (2) IAR Embeded Workbench for ARM (3) ARM微處理器 EKSTM32F (4) PC機 (5) 超級終端（ hypertrm） ? 超級終端是一個通用的串行交互軟件，很多嵌入式應用的系統有與之交換的相應程序。 系統功能要求 ? 插卡后， ATM檢查用戶輸入的密碼正確與否。所以本案例的實現需要兩臺PC機，一臺（為方便敘述，稱為 PC1）用來通過超級終端和STM32來通信，另一臺 PC機（ PC2）用來設計狀態機并運行應用程序，其中一臺 PC機應該具有串口。系統由服務界面、插卡區、出鈔口三個部分組成，故而我們需要 3個并發狀態： ?服務界面狀態 ?插卡區狀態 ?出鈔口狀態 狀態機的建模分析 按流程設計狀態機 第一步：插卡。 ? 服務界面進入輸入密碼狀態。 ? 在服務主界面，當接收到某服務的觸發時，進入相應服務的界面，此處假設進入取款服務。若不可進行交易，則回到取款界面；若可進行交易，則進入取款狀態，出鈔口進入打開狀態。 ? 需要注意的是：在輸入密碼與取款狀態時，退出觸發需無效。經過前面幾個的設計，我們最終得到狀態機系統： ? 上圖 所示的 ATM取款機狀態機中，前三個域rATMOperationStatus域、 rCardStatus域、 rCashDoorStatus域所對應的分別為 ATM服務界面的狀態圖、 ATM插卡區的狀態圖、 ATM出鈔口的狀態圖；而第四個域 rCheckStatus域中的狀態機正是我們在優化設計之后所對應的狀態機。信號的發生用來觸發其他轉換的發生，這也是其在同步中的應用的具體表現。 狀態機驗證、仿真 ? visualSTATE Validator中模擬仿真狀態機 ? 在 Validator中結合 Graphical Animation交互的模擬仿真狀態機，是一種很直觀的驗證狀態機的方法。下面我們按照和前面的章節所類似的操作來開始模擬仿真系統。反過來，如果我們在對話框的 “Return value for CheckPassword()”一欄中，寫入 “1”，說明密碼輸入正確，單擊 “OK”，則系統進入服務主界面，這樣我們就可以在服務主界面中進行取款、查詢余額等操作了。 visualSTATE Coder中生成代碼 值得注意的代碼有： visualSTATE Coder中生成代碼 我們應該特別注意 ? void ATM_easySEM_InitAll (void)：功能：初始化 visualSTATE系統的一個函數，我們必須在調用 visualSTATE的其他函數之前調用它。若再次調用 ATM_easySEM_Deduct，則必須之前先調用函數 SEM_NextState或 SEM_NextStateChg，來使系統進入一個新的狀態。 (2) STM32上的按鍵 Up被按下，用來模擬“已取款”事件evCashTaken()的發生。 (6) 當信用卡插入取款機之后我們遇到事件 evKeyEnter()時，通過超級終端輸入密碼，并通過 USART2發送到 STM32，來模擬“輸入密碼”事件的發生；當我們在 evGetCash()事件之后遇到evKeyEnter()事件時，通過超級終端輸入取款金額，并通過USART2發送到 STM32，來模擬“輸入取款金額”事件的發生。 (3) “ 結算余額” DeductAccount()，通過 USART2將最終的余額顯示在超級終端上。 visualSTATE系統在 STM32上的模擬實現方案 (7) InputPasswordInterface()，在輸入密碼界面 LCD上將顯示字符串 “INPW”。 (11) CheckAccount()，當輸入取款金額之后，用來核對賬戶中的金額是否夠用（本案例中設置的用戶初始賬戶金額為100000）。接著我們將存放 STM32庫文件的文件夾 library復制到工程目錄下。 在 IAR Embedded Workbench中建立工程 ? 在 Workspace中新建組 ? 我們在 Workspace中右鍵單擊我們的工程，選擇 “AddAdd