基于状态机的嵌入式系统开发电子书-基于状态机的嵌入式系统开发pdf免费高清版【221页】

基于状态机的嵌入式系统开发目录

开篇10问迅雷会员账号分享-军师迅雷VIP账号获取器1.0 绿色免费版

第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车灯系统的状态图设计

参考文献

基于状态机的嵌入式系统开发是一本可操作性强，内容也比较新颖的书籍。该书在内容上循序渐进，如果你是刚接触基于状态机的嵌人式系统开发的初学者学习，那么这本书一定会对你有所帮助的！当然这本书也可作为大中专院校嵌入式相关专业本科生、研究生的教材，另外，从事嵌入式系统应用开发的工程师也可以将这本书作为参考书使用。本节内容小编为大家整理带来的这份基于状态机的嵌入式系统开发电子书为pdf格式免费高清版，书籍共由221页组成，如果你需要这份电子书的话，点击本文相应的下载地址进行下载即可！

基于状态机的嵌入式系统开发电子书目录