基於狀態機的嵌入式系統開發(21世紀高等學校嵌入式系統專業規劃教材)（簡體書）

基於狀態機的嵌入式系統開發是當前流行、前景廣闊的嵌入式系統開發方法。《基於狀態機的嵌入式系統開發》是基於狀態機的嵌入式系統開發的入門指導書，兼顧理論性與實踐性，介紹了嵌入式系統及狀態機的基礎知識，同時加入了生動的實際案例程序。《基於狀態機的嵌入式系統開發》內容分為3篇。第1篇為引入篇，介紹狀態機建模平臺與入門實驗；第2篇為理論與實踐篇，主要介紹了UML狀態機理論基礎、visualSTATE狀態機和T具鏈、visualSTATE狀態機建模案例以及系統整合；第3篇為創新設計篇，具體講述了將visualSTATE生成的代碼集成到STM32的具體例子ATM取款機設計，并在最后展示了實際中一款車燈系統應用visualSTATE快速建模的過程。
《基於狀態機的嵌入式系統開發》南淺入深，循序漸進，適合剛接觸基於狀態機的嵌人式系統開發的初學者學習，也可作為大中專院校嵌入式相關專業本科生、研究生的教材，同時還可以作為從事嵌入式系統應用開發工程師的參考書。

開篇10問
第1篇 引入篇
第1章 狀態機建模平臺與入門實驗
1.1 基於狀態機的嵌入式系統開發平臺IAR visualSTATE
1.1.1 vistlalSTATE的概念
1.1.2 visualSTATE事件處理機制
1.1.3 使用visualSTATE開發的應用案例
1.1.4 嵌入式系統
1.2 IAR visualSTATE安裝及入門實驗學習
1.2.1 安裝visualSTATE 6.2
1.2.2 動手實踐visualSTATE人門實驗

第2篇 理論與實踐篇
第2章 UML狀態機理論基礎
2.1 統一建模語言(UML)
2.2 UML狀態機
2.2.1 狀態機的概念
2.2.2 UML狀態圖
2.3 狀態機與外部環境的接口
2.3.1 事件
2.3.2 動作
2.4 層次化的狀態機

第3章visualSTATE狀態機
3.1 vistlalSTATE狀態機模型
3.1.1 實現狀態機的傳統方法
3.1.2 UML和visuaISTATE狀態機設計規則
3.2 visualSTATE狀態機元素
3.2.1 visualSTATE中的狀態
3.2.2 visualSTATE中的轉換
3.2.3 visualSTATE中的激勵
3.3 visualSTATE狀態機的并發結構
3.3.1 并發編程
3.3.2 交通燈控制器實例
3.3.3 狀態機同步
3.4 討論

第4章visualSTATE工具鏈
4.1 IAR visualSTATE Designer
4.2 測試
4.2.1 動態規範性驗證(VERIFICATION)
4.2.2 交互式模擬(確認VALIDATION)
4.2.3 原型(PROTOTYPING)
4.3 代碼生成(CODEGENERATION)
4.4 文檔生成(PROJECTREPORT)
4.5 產品集成(IMPLEMENTATION)
4.6 在目標系統內測試(IN-TARGETTEST)
4.7 維護一個visualSTATE項目的系統構架

第5章 visualSTATE狀態機建模案例
5.1 案例分析——用UML狀態機模型描述“轎車車廂燈”系統
5.2 根據需求設計狀態機
5.2.1 識別事件和動作
5.2.2 識別狀態
5.2.3 按層次劃分組
5.2.4 按并發劃分組
5.2.5 引入轉換
5.2.6 引入同步
5.3 使用visualSTATE工具鏈設計本案例的具體流程
5.3.1 visualSTATE Designer中畫狀態圖
5.3.2 visualSTATE Verificator動態規範性驗證狀態圖
5.3.3 visualSTATE Validator中交互式模擬狀態機
5.3.4 visualSTATE Coder中生成代碼
5.3.5 visualSTATE Documentation中生成文檔

第6章 系統整合
6.1 硬件系統簡介
6.1.1 NE-STR750開發學習板簡介
6.1.2 NDSTR750開發學習板的硬件資源
6.1.3 硬件布局及配置
6.1.4 EK-STM32F開發學習板簡介
6.2 IAR Embedded Workbench集成開發環境
6.2.1 EWARM集成開發環境及配套仿真器
6.2.2 創建T程、編譯和鏈接應用程序
6.2.3 用C-SPY調試應用程序
6.3 visualSTATE代碼生成和在目標系統中執行
6.3.1 目標代碼結構
6.3.2 實際運行環境
6.3.3 目標代碼的資源需求
6.4 用C-SPY調試應用程序
6.4.1 開始調試
6.4.2 組織窗口
6.4.3 檢查源語句
6.4.4 檢查變量
6.4.5 設置和監視斷點
6.4.6 在反匯編窗口中調試
6.4.7 監視寄存器
6.4.8 查看存儲器
6.4.9 觀察Terminal I／O
6.4.10 執行程序到結束?

第7章 狀態機在C／OS-II中的應用
7.1 實時操作系統肚C／OS-II概述
7.1.1 C／OS_II的組成部分
7.1.2 C／OS-II應用程序基本結構
7.2 visuaISTATE集成到C／Os-II的說明
7.2.1 在多任務系統中組織多visualSTATE systems
7.2.2 創建多任務控制一個或者更多的visualSTATE systems

第3篇 創新設計篇
第8章 基於STM32的狀態機建模
8.1 簡易ATM取款機
8.1.1 軟硬件環境
8.1.2 案例分析
8.1.3 狀態機的建模分析
8.2 使用visualSTATE工具鏈設計、驗證狀態機
8.2.1 visualSTATE Designer設計狀態圖
8.2.2 狀態機驗證、仿真
8.2.3 visualSTATE Coder中生成代碼
8.3 visualSTATE系統在STM32上的模擬實現方案
8.4 集成應用程序代碼到STM32
8.4.1 在IAR Embedded Workbench中建立工程
8.4.2 在IAR Embedded Workbench中編寫用戶代碼
8.4.3 在C-SPYLink中調試visualSTATE應用程序
8.4.4 用state-chart同步觀察調試過程

第9章車燈系統的快速建模
9.1 車燈系統的需求分析
9.1.1 系統綜述
9.1.2 系統的控制描述
9.1.3 內部照明系統框圖
9.2 車燈系統的狀態圖設計
參考文獻