圖書信息
書名:基於狀態機的嵌入式系統開發作 者：楊剛
出版社：清華大學出版社
出版時間：2010-8-1
ISBN:9787302221845
開本：16開
基於狀態機的嵌入式系統開發定價:25.00元
內容簡介
基於狀態機的嵌入式系統開發是當前流行、前景廣闊的嵌入式系統開發方法。本書是基於狀態機的嵌入式系統開發的入門指導書，兼顧理論性與實踐性，介紹了嵌入式系統及狀態機的基礎知識，同時加入了生動的實際案例程式。本書內容分為3篇。第1篇為引入篇，介紹狀態機建模平台與入門實驗；第2篇為理論與實踐篇，主要介紹了UML狀態機理論基礎、visualSTATE狀態機和丁具鏈、visualSTATE狀態機建模案例以及系統整合；第3篇為創新沒汁篇，具體講述廠將visualSTATE牛成的代碼集成到stm32的具體例廣ATM取款機設計，並在最後展示了實際中——款車燈系統套用visualSTATE快速建模的過程。
本書由淺入深，循序漸進，適合剛接觸基於狀態機的嵌入式系統開發的初學者學習，也可作為大中專院校嵌入式相關專業本科生、研究生的教材，同時還可以作為從事嵌入式系統套用開發工程師的參考書。
圖書目錄
開篇10問第1篇引入篇
第1章狀態機建模平台與入門實驗
1.1基於狀態機的嵌入式系統開發平台IARvisualSTATE
1.1.1visualSTATE的概念
1.1.2.visualSTATE事件處理機制
1.1.3使用visualSTATE開發的套用案例
1.1.4嵌入式系統
1.2IARvisualSTATE安裝及入門實驗學習
1.2.1安裝visualSTATE6.2
1.2.2動手實踐visualSTATE入門實驗
第2篇理論與實踐篇
第2章UML狀態機理論基礎
2.1統一建模語言(UML)
2.2UML狀態機
2.2.1狀態機的概念
2.2.2UML狀態圖
2.3狀態機與外部環境的接口
2.3.1事件
2.3.2動作
2.4層次化的狀態機
第3章visualSTATE狀態機
3.1visualSTATE狀態機模型
3.1.1實現狀態機的傳統方法
3.1.2UML和visualSTATE狀態機設計規則
3.2visualSTATE狀態機元素
3.2.1visualSTATE中的狀態
3，2.2visualSTATE中的轉換
3.2.3visualSTATE中的激勵
3.3visualSTATE狀態機的並髮結構
3.3.1並發編程
3.3.2交通燈控制器實例
3.3.3狀態機同步
3.4討論
第4章visualSTATE工具鏈
4.1IARvisualSTATEDesigner
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.1visualSTATEDesigner中畫狀態圖
5.3.2visualSTATEVerificator動態規範性驗證狀態圖
5.3.3visualSTATEValidator中互動式模擬狀態機
5.3.4visualSTATECoder中生成代碼
5.3.5visualSTATEDocumentation中生成文檔
第6章系統整合
6.1硬體系統簡介
6.1.1NE-STR750開發學習板簡介
6.1.2NE-STR750開發學習板的硬體資源
6.1.3硬體布局及配置
6.1.4EK—STM32F開發學習板簡介
6.2IAREmbeddedWorkbench集成開發環境
6.2.1EWARM集成開發環境及配套仿真器
6.2.2創建工程、編譯和連結應用程式
6.2.3用C-SPY調試應用程式
6.3visualSTATE代碼生成和在目標系統中執行
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觀察TerminalI／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.2visualSTATE集成到μC／OS-II的說明
7.2.1在多任務系統中組織多visualSTATEsystems
7.2.2創建多任務控制一個或者更多的visualSTATEsystems
第3篇創新設計篇
第8章基於STM32的狀態機建模
8.1簡易ATM取款機
8.1.1軟硬體環境
8.1.2案例分析
8.1.3狀態機的建模分析
8.2使用visualSTATE工具鏈設計、驗證狀態機
8.2.1visualSTATEDesigner設計狀態圖
8.2.2狀態機驗證、仿真
8.2.3visualSTATECoder中生成代碼
8.3visuatSTATE系統在STM32上的模擬實現方案
8.4集成應用程式代碼到STM32
8.4.1在IAREmbeddedWorkbench中建立工程
8.4.2在IAREmbeddedWorkbench中編寫用戶代碼
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車燈系統的狀態圖設計
參考文獻
