visualstate第八章-文庫吧資料
2025-05-18 13:59本頁面
【正文】 y Project文件夾中。接著我們將存放 STM32庫文件的文件夾 library復(fù)制到工程目錄下。這時(shí)在屏幕左邊的Workspace窗口中將顯示新建的項(xiàng)目名 ,本案例中，我們在Workspace的頂部下拉菜單中選擇 Debug。 (11) CheckAccount()，當(dāng)輸入取款金額之后，用來核對賬戶中的金額是否夠用（本案例中設(shè)置的用戶初始賬戶金額為100000）。 (9) WeleInterface() ，剛剛進(jìn)入系統(tǒng)時(shí)， LCD將顯示字符串 “HI”。 visualSTATE系統(tǒng)在 STM32上的模擬實(shí)現(xiàn)方案 (7) InputPasswordInterface()，在輸入密碼界面 LCD上將顯示字符串 “INPW”。 (5) “ 取款” GetAccount() ，在超級終端輸入取款金額，并通過 USART傳輸過來。 (3) “ 結(jié)算余額” DeductAccount()，通過 USART2將最終的余額顯示在超級終端上。 visualSTATE系統(tǒng)在 STM32上的模擬實(shí)現(xiàn)方案 2. Action（響應(yīng)） (1) “ 款門開” CashDoorOpen()，即燈 LED2亮。 (6) 當(dāng)信用卡插入取款機(jī)之后我們遇到事件 evKeyEnter()時(shí)，通過超級終端輸入密碼，并通過 USART2發(fā)送到 STM32，來模擬“輸入密碼”事件的發(fā)生；當(dāng)我們在 evGetCash()事件之后遇到evKeyEnter()事件時(shí)，通過超級終端輸入取款金額，并通過USART2發(fā)送到 STM32，來模擬“輸入取款金額”事件的發(fā)生。 (4) STM32上的按鍵 Left被按下，用來模擬“返回”事件 evKeyBack()的發(fā)生。 (2) STM32上的按鍵 Up被按下，用來模擬“已取款”事件evCashTaken()的發(fā)生。 ? 簡易 ATM取款機(jī) ? 使用 visualSTATE工具鏈設(shè)計(jì)、 驗(yàn)證狀態(tài)機(jī) ? visualSTATE系統(tǒng)在 STM32上的 模擬實(shí)現(xiàn)方案 ? 集成應(yīng)用程序代碼到 STM32 第八章 目錄 visualSTATE系統(tǒng)在 STM32上的模擬實(shí)現(xiàn)方案 總的模擬方案為： ? 使用超級終端，通過串口與主機(jī)進(jìn)行通信，實(shí)現(xiàn)輸入密碼以及取款金額等操作；使用 STM32的各個(gè)按鍵來實(shí)現(xiàn)“確認(rèn)”、“取消”、“返回”等操作；使用 STM32的 LCD顯示器來顯示每個(gè)正在進(jìn)行的操作狀態(tài)；使用 STM32的 LED來顯示所處的狀態(tài)的有效性。若再次調(diào)用 ATM_easySEM_Deduct，則必須之前先調(diào)用函數(shù) SEM_NextState或 SEM_NextStateChg，來使系統(tǒng)進(jìn)入一個(gè)新的狀態(tài)。 ? unsigned char ATM_easySEM_Deduct (SEM_EVENT_TYPE EventNo)：功能：這個(gè)函數(shù)用來接收由給定事件、內(nèi)部當(dāng)前狀態(tài)向量以及 visualSTATE系統(tǒng)規(guī)則所決定的動(dòng)作表達(dá)式。 visualSTATE Coder中生成代碼 值得注意的代碼有： visualSTATE Coder中生成代碼 我們應(yīng)該特別注意 ? void ATM_easySEM_InitAll (void)：功能：初始化 visualSTATE系統(tǒng)的一個(gè)函數(shù)，我們必須在調(diào)用 visualSTATE的其他函數(shù)之前調(diào)用它。 visualSTATE Coder中生成代碼 ? 在 visualSTATE Navigator中，右鍵單擊系統(tǒng)，選擇 “OptionsCoder generation” 在出現(xiàn)的對話款中，選擇 “Generate for CSPYLink”一項(xiàng)；然后單擊對話框左邊的 “ATM_easy”，選擇 CSPYLink標(biāo)簽來設(shè)置其選項(xiàng)，我們選擇 Enable full instrumentation 、 Enable sample buffer和 Enable sample buffer live readout選項(xiàng)，單擊 “OK”。反過來，如果我們在對話框的 “Return value for CheckPassword()”一欄中，寫入 “1”，說明密碼輸入正確，單擊 “OK”，則系統(tǒng)進(jìn)入服務(wù)主界面，這樣我們就可以在服務(wù)主界面中進(jìn)行取款、查詢余額等操作了。 ? 接著，我們雙擊事件 “evCardInserted”，將信用卡插入取款機(jī)。下面我們按照和前面的章節(jié)所類似的操作來開始模擬仿真系統(tǒng)。下面我們結(jié)合圖示來說明這種方式的模擬仿真的實(shí)現(xiàn)。 狀態(tài)機(jī)驗(yàn)證、仿真 ? visualSTATE Validator中模擬仿真狀態(tài)機(jī) ? 在 Validator中結(jié)合 Graphical Animation交互的模擬仿真狀態(tài)機(jī)，是一種很直觀的驗(yàn)證狀態(tài)機(jī)的方法。 ? visualSTATE Verification中驗(yàn)證狀態(tài)機(jī) ? 如 圖所示的是本設(shè)計(jì)通過了 visualSTATE Verification中的所有驗(yàn)證。信號(hào)的發(fā)生用來觸發(fā)其他轉(zhuǎn)換的發(fā)生，這也是其在同步中的應(yīng)用的具體表現(xiàn)。 visualSTATE Designer設(shè)計(jì)狀態(tài)圖 b．其包含的事件有： ? evKeyEnter()（“確認(rèn)”操作）； ? evKeyExit()（“退出”操作）； ? evGetCash()（“取款”操作）； ? evKeyBack()（“返回”操作）； c．其所包含的動(dòng)作有： ? VS_VOID WeleInterface()（顯示主界面信息）； ? VS_BOOL CheckPassword()（檢查用戶密碼的正確性，此處函數(shù)定義為布爾類型，所以在后面對應(yīng)地定義了一個(gè)內(nèi)部變量作為該函數(shù)的返回值，如果密碼正確，則取值為 1，否則為 0）； visualSTATE Designer設(shè)計(jì)狀態(tài)圖 ? VS_VOID InputPasswordInterface
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號(hào)-1