基于狀態(tài)機的嵌入式系統(tǒng)開發(fā)pdf免費高清版【221頁】

基于狀態(tài)機的嵌入式系統(tǒng)開發(fā)是一本可操作性強，內(nèi)容也比較新穎的書籍。該書在內(nèi)容上循序漸進，如果你是剛接觸基于狀態(tài)機的嵌人式系統(tǒng)開發(fā)的初學者學習，那么這本書一定會對你有所幫助的！當然這本書也可作為大中專院校嵌入式相關(guān)專業(yè)本科生、研究生的教材，另外，從事嵌入式系統(tǒng)應(yīng)用開發(fā)的工程師也可以將這本書作為參考書使用。本節(jié)內(nèi)容小編為大家整理帶來的這份基于狀態(tài)機的嵌入式系統(tǒng)開發(fā)電子書為pdf格式免費高清版，書籍共由221頁組成，如果你需要這份電子書的話，點擊本文相應(yīng)的下載地址進行下載即可！

基于狀態(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安裝及入門實驗學習

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ā)學習板簡介

6.1.2 NE-STR750開發(fā)學習板的硬件資源

6.1.3 硬件布局及配置

6.1.4 EK—STM32F開發(fā)學習板簡介

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è)計

參考文獻

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