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

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