《基於狀態機的嵌入式系統開發》是2010年清華大學出版社出版的圖書，作者是楊剛。該書講述了嵌入式系統及狀態機方面的知識。
基本介紹
- 書名：基於狀態機的嵌入式系統開發
- 作者：楊剛
- ISBN：9787302221845
- 定價：25.00元
- 出版社：清華大學出版社
- 出版時間：2010-8-1
- 開本：16開
內容簡介,圖書目錄,
內容簡介
本書是基於狀態機的嵌入式系統開發的入門指導書，兼顧理論性與實踐性，介紹了嵌入式系統及狀態機的基礎知識，同時加入了生動的實際案例程式。本書由淺入深，循序漸進，適合剛接觸基於狀態機的嵌入式系統開發的初學者學習，也可作為大中專院校嵌入式相關專業本科生、研究生的教材，同時還可以作為從事嵌入式系統套用開發工程師的參考書。
本書內容分為3篇。第1篇為引入篇，介紹狀態機建模平台與入門實驗；第2篇為理論與實踐篇，主要介紹了UML狀態機理論基礎、visualSTATE狀態機和丁具鏈、visualSTATE狀態機建模案例以及系統整合；第3篇為創新沒汁篇，具體講述廠將visualSTATE牛成的代碼集成到STM32的具體例廣ATM取款機設計，並在最後展示了實際中——款車燈系統套用visualSTATE快速建模的過程。
圖書目錄
開篇10問
第1篇 引入篇
第1章 狀態機建模平台與入門實驗
1.1 基於狀態機的嵌入式系統開發平台IAR visualSTATE
1.1.1 visualSTATE的概念
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 visualSTATE狀態機模型
3.1.1 實現狀態機的傳統方法
3.1.2 UML和visualSTATE狀態機設計規則
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 文檔生成(PROJECT REPORT)
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 NE-STR750開發學習板的硬體資源
6.1.3 硬體布局及配置
6.1.4 EK—STM32F開發學習板簡介
6.2 IAR Embedded Workbench集成開發環境
6.2.1 EWARM集成開發環境及配套仿真器
6.2.2 創建工程、編譯和連結應用程式
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 visual STATE集成到μ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 visuatSTATE系統在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 車燈系統的狀態圖設計
參考文獻
