图书介绍
基于状态机的嵌入式系统开发PDF|Epub|txt|kindle电子书版本网盘下载
- 杨刚等编著 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302221845
- 出版时间：2010
- 标注页数：208页
- 文件大小：50MB
- 文件页数：221页
- 主题词：微型计算机－系统开发－高等学校－教材
PDF下载
下载说明
基于状态机的嵌入式系统开发PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
开篇10问1
第1篇 引入篇5
第1章 状态机建模平台与入门实验5
1.1 基于状态机的嵌入式系统开发平台IAR visualSTATE5
1.1.1 visualSTATE的概念6
1.1.2 visualSTATE事件处理机制6
1.1.3 使用visualSTATE开发的应用案例7
1.1.4 嵌入式系统12
1.2 IAR visualSTATE安装及入门实验学习13
1.2.1 安装visualSTATE 6.213
1.2.2 动手实践visualSTATE入门实验14
第2篇 理论与实践篇29
第2章 UML状态机理论基础29
2.1 统一建模语言（UML）30
2.2 UML状态机30
2.2.1 状态机的概念30
2.2.2 UML状态图32
2.3 状态机与外部环境的接口33
2.3.1 事件33
2.3.2 动作34
2.4 层次化的状态机34
第3章 visualSTATE状态机37
3.1 visualSTATE状态机模型37
3.1.1 实现状态机的传统方法38
3.1.2 UML和visualSTATE状态机设计规则38
3.2 visualSTATE状态机元素38
3.2.1 visualSTATE中的状态39
3.2.2 visualSTATE中的转换46
3.2.3 visualSTATE中的激励48
3.3 visualSTATE状态机的并发结构50
3.3.1 并发编程50
3.3.2 交通灯控制器实例51
3.3.3 状态机同步53
3.4 讨论55
第4章 visualSTATE工具链57
4.1 IAR visualSTATE Designer58
4.2 测试59
4.2.1 动态规范性验证（VERIFICATION）60
4.2.2 交互式模拟（确认VALIDATION）62
4.2.3 原型（PROTOTYPING）65
4.3 代码生成（CODE GENERATION）66
4.4 文档生成（PROJECT REPORT）67
4.5 产品集成（IMPLEMENTATION）68
4.6 在目标系统内测试（IN-TARGET TEST）70
4.7 维护一个visualSTATE项目的系统构架70
第5章 visualSTATE状态机建模案例72
5.1 案例分析——用UML状态机模型描述“轿车车厢灯”系统72
5.2 根据需求设计状态机73
5.2.1 识别事件和动作73
5.2.2 识别状态74
5.2.3 按层次划分组74
5.2.4 按并发划分组75
5.2.5 引入转换76
5.2.6 引入同步77
5.3 使用visualSTATE工具链设计本案例的具体流程80
5.3.1 visualSTATE Designer中画状态图80
5.3.2 visualSTATE Verificator动态规范性验证状态图90
5.3.3 visualSTATE Validator中交互式模拟状态机92
5.3.4 visualSTATE Coder中生成代码98
5.3.5 visualSTATE Documentation中生成文档100
第6章 系统整合102
6.1 硬件系统简介102
6.1.1 NE-STR750开发学习板简介102
6.1.2 NE-STR750开发学习板的硬件资源103
6.1.3 硬件布局及配置103
6.1.4 EK-STM32F开发学习板简介111
6.2 IAR Embedded Workbench集成开发环境116
6.2.1 EWARM集成开发环境及配套仿真器117
6.2.2 创建工程、编译和链接应用程序120
6.2.3 用C-SPY调试应用程序126
6.3 visualSTATE代码生成和在目标系统中执行131
6.3.1 目标代码结构132
6.3.2 实际运行环境135
6.3.3 目标代码的资源需求136
6.4 用C-SPY调试应用程序139
6.4.1 开始调试139
6.4.2 组织窗口139
6.4.3 检查源语句139
6.4.4 检查变量140
6.4.5 设置和监视断点141
6.4.6 在反汇编窗口中调试142
6.4.7 监视寄存器142
6.4.8 查看存储器143
6.4.9 观察Terminal I/O144
6.4.10 执行程序到结束144
第7章 状态机在μC/OS-Ⅱ中的应用146
7.1 实时操作系统μC/OS-Ⅱ概述146
7.1.1 μC/OS-Ⅱ的组成部分147
7.1.2 μC/OS-Ⅱ应用程序基本结构147
7.2 visualSTATE集成到μC/OS-Ⅱ的说明148
7.2.1 在多任务系统中组织多visualSTATE systems149
7.2.2 创建多任务控制一个或者更多的visualSTATE systems150
第3篇 创新设计篇159
第8章 基于STM32的状态机建模159
8.1 简易ATM取款机159
8.1.1 软硬件环境159
8.1.2 案例分析160
8.1.3 状态机的建模分析160
8.2 使用visualSTATE工具链设计、验证状态机162
8.2.1 visualSTATE Designer设计状态图162
8.2.2 状态机验证、仿真165
8.2.3 visualSTATE Coder中生成代码169
8.3 visualSTATE系统在STM32上的模拟实现方案173
8.4 集成应用程序代码到STM32175
8.4.1 在IAR Embedded Workbench中建立工程175
8.4.2 在IAR Embedded Workbench中编写用户代码182
8.4.3 在C-SPYLink中调试visualSTATE应用程序192
8.4.4 用state-chart同步观察调试过程194
第9章 车灯系统的快速建模198
9.1 车灯系统的需求分析198
9.1.1 系统综述198
9.1.2 系统的控制描述199
9.1.3 内部照明系统框图202
9.2 车灯系统的状态图设计202
参考文献208