基于狀態(tài)機的嵌入式系統(tǒng)開發(fā)

開篇10問
第1篇 引入篇
第1章 狀態(tài)機建模平臺與入門實驗
1.1 基于狀態(tài)機的嵌入式系統(tǒng)開發(fā)平臺IAR visualSTATE
1.1.1 visualSTATE的概念
1.1.2.visualSTATE事件處理機制
1.1.3 使用visualSTATE開發(fā)的應(yīng)用案例
1.1.4 嵌入式系統(tǒng)
1.2 IAR visualSTATE安裝及入門實驗學(xué)習(xí)
1.2.1 安裝visualSTATE 6.2
1.2.2 動手實踐visualSTATE入門實驗
第2篇 理論與實踐篇
第2章 UML狀態(tài)機理論基礎(chǔ)
2.1 統(tǒng)一建模語言(UML)
2.2 UML狀態(tài)機
2.2.1 狀態(tài)機的概念
2.2.2 UML狀態(tài)圖
2.3 狀態(tài)機與外部環(huán)境的接口
2.3.1 事件
2.3.2 動作
2.4 層次化的狀態(tài)機
第3章 visualSTATE狀態(tài)機
3.1 visualSTATE狀態(tài)機模型
3.1.1 實現(xiàn)狀態(tài)機的傳統(tǒng)方法
3.1.2 UML和visualSTATE狀態(tài)機設(shè)計規(guī)則
3.2 visualSTATE狀態(tài)機元素
3.2.1 visualSTATE中的狀態(tài)
3，2.2 visualSTATE中的轉(zhuǎn)換
3.2.3 visualSTATE中的激勵
3.3 visualSTATE狀態(tài)機的并發(fā)結(jié)構(gòu)
3.3.1 并發(fā)編程
3.3.2 交通燈控制器實例
3.3.3 狀態(tài)機同步
3.4 討論
第4章 visualSTATE工具鏈
4.1 IAR visualSTATE Designer
4.2 測試
4.2.1 動態(tài)規(guī)范性驗證(VERIFICATION)
4.2.2 交互式模擬(確認VALIDATION)
4.2.3 原型(PROTOTYPING)
4.3 代碼生成(CODEGENERATION)
4.4 文檔生成(PROJECT REPORT)
4.5 產(chǎn)品集成(IMPLEMENTATION)
4.6 在目標系統(tǒng)內(nèi)測試(IN—TARGETTEST)
4.7 維護一個visualSTATE項目的系統(tǒng)構(gòu)架
第5章 visualSTATE狀態(tài)機建模案例
5.1 案例分析——用UML狀態(tài)機模型描述“轎車車廂燈”系統(tǒng)
5.2 根據(jù)需求設(shè)計狀態(tài)機
5.2.1 識別事件和動作
5.2.2 識別狀態(tài)
5.2.3 按層次劃分組
5.2.4 按并發(fā)劃分組
5.2.5 引人轉(zhuǎn)換
5.2.6 引入同步
5.3 使用visualSTATE工具鏈設(shè)計本案例的具體流程
5.3.1 visualSTATE Designer中畫狀態(tài)圖
5.3.2 visualSTATE Verificator動態(tài)規(guī)范性驗證狀態(tài)圖
5.3.3 visualSTATE Validator中交互式模擬狀態(tài)機
5.3.4 visualSTATE Coder中生成代碼
5.3.5 visualSTATE Documentation中生成文檔
第6章 系統(tǒng)整合
6.1 硬件系統(tǒng)簡介
6.1.1 NE-STR750開發(fā)學(xué)習(xí)板簡介
6.1.2 NE-STR750開發(fā)學(xué)習(xí)板的硬件資源
6.1.3 硬件布局及配置
6.1.4 EK—STM32F開發(fā)學(xué)習(xí)板簡介
6.2 IAR Embedded Workbench集成開發(fā)環(huán)境
6.2.1 EWARM集成開發(fā)環(huán)境及配套仿真器
6.2.2 創(chuàng)建工程、編譯和鏈接應(yīng)用程序
6.2.3 用C-SPY調(diào)試應(yīng)用程序
6.3 visualSTATE代碼生成和在目標系統(tǒng)中執(zhí)行
6.3.1 目標代碼結(jié)構(gòu)
6.3.2 實際運行環(huán)境
6.3.3 目標代碼的資源需求
6.4 用C-SPY調(diào)試應(yīng)用程序
6.4.1 開始調(diào)試
6.4.2 組織窗口
6.4.3 檢查源語句
6.4.4 檢查變量
6.4.5 設(shè)置和監(jiān)視斷點
6.4.6 在反匯編窗口中調(diào)試
6.4.7 監(jiān)視寄存器
6.4.8 查看存儲器
6.4.9 觀察Terminal I／O
6.4.10 執(zhí)行程序到結(jié)束
第7章 狀態(tài)機在μC／OS-II中的應(yīng)用
7.1 實時操作系統(tǒng)μC／OS-II概述
7.1.1 μC／OS-II的組成部分
7.1.2 μC／OS-II應(yīng)用程序基本結(jié)構(gòu)
7.2 visual STATE集成到μC／OS-II的說明
7.2.1 在多任務(wù)系統(tǒng)中組織多visualSTATE systems
7.2.2 創(chuàng)建多任務(wù)控制一個或者更多的visualSTATE systems
第3篇 創(chuàng)新設(shè)計篇
第8章 基于STM32的狀態(tài)機建模
8.1 簡易ATM取款機
8.1.1 軟硬件環(huán)境
8.1.2 案例分析
8.1.3 狀態(tài)機的建模分析
8.2 使用visualSTATE工具鏈設(shè)計、驗證狀態(tài)機
8.2.1 visualSTATE Designer設(shè)計狀態(tài)圖
8.2.2 狀態(tài)機驗證、仿真
8.2.3 visualSTATE Coder中生成代碼
8.3 visuatSTATE系統(tǒng)在STM32上的模擬實現(xiàn)方案
8.4 集成應(yīng)用程序代碼到STM32
8.4.1 在IAR Embedded Workbench中建立工程
8.4.2 在IAR Embedded Workbench中編寫用戶代碼
8.4.3 在C-SPYLink中調(diào)試visualSTATE應(yīng)用程序
8.4.4 用state-chart同步觀察調(diào)試過程
第9章 車燈系統(tǒng)的快速建模
9.1 車燈系統(tǒng)的需求分析
9.1.1 系統(tǒng)綜述
9.1.2 系統(tǒng)的控制描述
9.1.3 內(nèi)部照明系統(tǒng)框圖
9.2 車燈系統(tǒng)的狀態(tài)圖設(shè)計
參考文獻