基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)

基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2010-08
版次: 1
ISBN: 9787302221845
定价: 25.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 207页
字数: 329千字
20人买过
  • 基于状态机的嵌入式系统开发是当前流行、前景广阔的嵌入式系统开发方法。本书是基于状态机的嵌入式系统开发的入门指导书,兼顾理论性与实践性,介绍了嵌入式系统及状态机的基础知识,同时加入了生动的实际案例程序。

      本书内容分为3篇。第1篇为引入篇,介绍状态机建模平台与入门实验;第2篇为理论与实践篇,主要介绍了UML状态机理论基础、visualSTATE状态机和丁具链、visualSTATE状态机建模案例以及系统整合;第3篇为创新没汁篇,具体讲述厂将visualSTATE牛成的代码集成到STM32的具体例广ATM取款机设计,并在最后展示了实际中——款车灯系统应用visualSTATE快速建模的过程。

      本书由浅入深,循序渐进,适合刚接触基于状态机的嵌入式系统开发的初学者学习,也可作为大中专院校嵌入式相关专业本科生、研究生的教材,同时还可以作为从事嵌入式系统应用开发工程师的参考书。 开篇10问 

    第1篇 引入篇 

    第1章 状态机建模平台与入门实验 

    1.1 基于状态机的嵌入式系统开发平台IAR visualSTATE 

    1.1.1 visualSTATE的概念 

    1.1.2.visualSTATE事件处理机制 

    1.1.3 使用visualSTATE开发的应用案例 

    1.1.4 嵌入式系统 

    1.2 IAR visualSTATE安装及入门实验学习 

    1.2.1 安装visualSTATE 6.2 

    1.2.2 动手实践visualSTATE入门实验 

    第2篇 理论与实践篇 

    第2章 UML状态机理论基础 

    2.1 统一建模语言(UML) 

    2.2 UML状态机 

    2.2.1 状态机的概念 

    2.2.2 UML状态图 

    2.3 状态机与外部环境的接口 

    2.3.1 事件 

    2.3.2 动作 

    2.4 层次化的状态机 

    第3章 visualSTATE状态机 

    3.1 visualSTATE状态机模型 

    3.1.1 实现状态机的传统方法 

    3.1.2 UML和visualSTATE状态机设计规则 

    3.2 visualSTATE状态机元素 

    3.2.1 visualSTATE中的状态 

    3,2.2 visualSTATE中的转换 

    3.2.3 visualSTATE中的激励 

    3.3 visualSTATE状态机的并发结构 

    3.3.1 并发编程 

    3.3.2 交通灯控制器实例 

    3.3.3 状态机同步 

    3.4 讨论 

    第4章 visualSTATE工具链 

    4.1 IAR visualSTATE Designer 

    4.2 测试 

    4.2.1 动态规范性验证(VERIFICATION) 

    4.2.2 交互式模拟(确认VALIDATION) 

    4.2.3 原型(PROTOTYPING) 

    4.3 代码生成(CODEGENERATION) 

    4.4 文档生成(PROJECT REPORT) 

    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.1 visualSTATE Designer中画状态图 

    5.3.2 visualSTATE Verificator动态规范性验证状态图 

    5.3.3 visualSTATE Validator中交互式模拟状态机 

    5.3.4 visualSTATE Coder中生成代码 

    5.3.5 visualSTATE Documentation中生成文档 

    第6章 系统整合 

    6.1 硬件系统简介 

    6.1.1 NE-STR750开发学习板简介 

    6.1.2 NE-STR750开发学习板的硬件资源 

    6.1.3 硬件布局及配置 

    6.1.4 EK—STM32F开发学习板简介 

    6.2 IAR Embedded Workbench集成开发环境 

    6.2.1 EWARM集成开发环境及配套仿真器 

    6.2.2 创建工程、编译和链接应用程序 

    6.2.3 用C-SPY调试应用程序 

    6.3 visualSTATE代码生成和在目标系统中执行 

    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 观察Terminal I/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.2 visual STATE集成到μC/OS-II的说明 

    7.2.1 在多任务系统中组织多visualSTATE systems 

    7.2.2 创建多任务控制一个或者更多的visualSTATE systems 

    第3篇 创新设计篇 

    第8章 基于STM32的状态机建模 

    8.1 简易ATM取款机 

    8.1.1 软硬件环境 

    8.1.2 案例分析 

    8.1.3 状态机的建模分析 

    8.2 使用visualSTATE工具链设计、验证状态机 

    8.2.1 visualSTATE Designer设计状态图 

    8.2.2 状态机验证、仿真 

    8.2.3 visualSTATE Coder中生成代码 

    8.3 visuatSTATE系统在STM32上的模拟实现方案 

    8.4 集成应用程序代码到STM32 

    8.4.1 在IAR Embedded Workbench中建立工程 

    8.4.2 在IAR Embedded Workbench中编写用户代码 

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

    参考文献
  • 内容简介:
    基于状态机的嵌入式系统开发是当前流行、前景广阔的嵌入式系统开发方法。本书是基于状态机的嵌入式系统开发的入门指导书,兼顾理论性与实践性,介绍了嵌入式系统及状态机的基础知识,同时加入了生动的实际案例程序。

      本书内容分为3篇。第1篇为引入篇,介绍状态机建模平台与入门实验;第2篇为理论与实践篇,主要介绍了UML状态机理论基础、visualSTATE状态机和丁具链、visualSTATE状态机建模案例以及系统整合;第3篇为创新没汁篇,具体讲述厂将visualSTATE牛成的代码集成到STM32的具体例广ATM取款机设计,并在最后展示了实际中——款车灯系统应用visualSTATE快速建模的过程。

      本书由浅入深,循序渐进,适合刚接触基于状态机的嵌入式系统开发的初学者学习,也可作为大中专院校嵌入式相关专业本科生、研究生的教材,同时还可以作为从事嵌入式系统应用开发工程师的参考书。
  • 目录:
    开篇10问 

    第1篇 引入篇 

    第1章 状态机建模平台与入门实验 

    1.1 基于状态机的嵌入式系统开发平台IAR visualSTATE 

    1.1.1 visualSTATE的概念 

    1.1.2.visualSTATE事件处理机制 

    1.1.3 使用visualSTATE开发的应用案例 

    1.1.4 嵌入式系统 

    1.2 IAR visualSTATE安装及入门实验学习 

    1.2.1 安装visualSTATE 6.2 

    1.2.2 动手实践visualSTATE入门实验 

    第2篇 理论与实践篇 

    第2章 UML状态机理论基础 

    2.1 统一建模语言(UML) 

    2.2 UML状态机 

    2.2.1 状态机的概念 

    2.2.2 UML状态图 

    2.3 状态机与外部环境的接口 

    2.3.1 事件 

    2.3.2 动作 

    2.4 层次化的状态机 

    第3章 visualSTATE状态机 

    3.1 visualSTATE状态机模型 

    3.1.1 实现状态机的传统方法 

    3.1.2 UML和visualSTATE状态机设计规则 

    3.2 visualSTATE状态机元素 

    3.2.1 visualSTATE中的状态 

    3,2.2 visualSTATE中的转换 

    3.2.3 visualSTATE中的激励 

    3.3 visualSTATE状态机的并发结构 

    3.3.1 并发编程 

    3.3.2 交通灯控制器实例 

    3.3.3 状态机同步 

    3.4 讨论 

    第4章 visualSTATE工具链 

    4.1 IAR visualSTATE Designer 

    4.2 测试 

    4.2.1 动态规范性验证(VERIFICATION) 

    4.2.2 交互式模拟(确认VALIDATION) 

    4.2.3 原型(PROTOTYPING) 

    4.3 代码生成(CODEGENERATION) 

    4.4 文档生成(PROJECT REPORT) 

    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.1 visualSTATE Designer中画状态图 

    5.3.2 visualSTATE Verificator动态规范性验证状态图 

    5.3.3 visualSTATE Validator中交互式模拟状态机 

    5.3.4 visualSTATE Coder中生成代码 

    5.3.5 visualSTATE Documentation中生成文档 

    第6章 系统整合 

    6.1 硬件系统简介 

    6.1.1 NE-STR750开发学习板简介 

    6.1.2 NE-STR750开发学习板的硬件资源 

    6.1.3 硬件布局及配置 

    6.1.4 EK—STM32F开发学习板简介 

    6.2 IAR Embedded Workbench集成开发环境 

    6.2.1 EWARM集成开发环境及配套仿真器 

    6.2.2 创建工程、编译和链接应用程序 

    6.2.3 用C-SPY调试应用程序 

    6.3 visualSTATE代码生成和在目标系统中执行 

    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 观察Terminal I/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.2 visual STATE集成到μC/OS-II的说明 

    7.2.1 在多任务系统中组织多visualSTATE systems 

    7.2.2 创建多任务控制一个或者更多的visualSTATE systems 

    第3篇 创新设计篇 

    第8章 基于STM32的状态机建模 

    8.1 简易ATM取款机 

    8.1.1 软硬件环境 

    8.1.2 案例分析 

    8.1.3 状态机的建模分析 

    8.2 使用visualSTATE工具链设计、验证状态机 

    8.2.1 visualSTATE Designer设计状态图 

    8.2.2 状态机验证、仿真 

    8.2.3 visualSTATE Coder中生成代码 

    8.3 visuatSTATE系统在STM32上的模拟实现方案 

    8.4 集成应用程序代码到STM32 

    8.4.1 在IAR Embedded Workbench中建立工程 

    8.4.2 在IAR Embedded Workbench中编写用户代码 

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

    参考文献
查看详情
系列丛书 / 更多
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式系统原理及应用教程(第2版)/21世纪高等学校嵌入式系统专业规划教材
孟祥莲、孙平、王嘉鹏、姜波、于剑光 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
21世纪高等学校嵌入式系统专业规划教材:嵌入式系统原理及应用教程
孟祥莲 编
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
ARM嵌入式系统结构与编程(第2版)/21世纪高等学校嵌入式系统专业规划教材
邱铁 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式系统原理及接口技术(第2版)/21世纪高等学校嵌入式系统专业规划教材
符意德、徐江 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式操作系统μC/OS-Ⅱ及应用开发/21世纪高等学校嵌入式系统专业规划教材
王晓薇 编
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式系统开发与应用/21世纪高等学校嵌入式系统专业规划教材
王黎明、刘小虎、闫晓玲 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
ARM嵌入式系统结构与编程/21世纪高等学校嵌入式系统专业规划教材
邱铁 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式系统原理与应用:基于ARM微处理器和Linux操作系统/21世纪高等学校嵌入式系统专业规划教材
朱华生 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式系统原理实践教程/21世纪高等学校嵌入式系统专业规划教材
符意德 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
网络化监控技术
王黎明、闫晓玲、黄海、黄磊明 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
21世纪高等学校嵌入式系统专业规划教材:嵌入式系统基础及应用
宁杨、周毓林 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
嵌入式数据库原理与应用/21世纪高等学校嵌入式系统专业规划教材
陆慧娟、徐展翼、高志刚 著
相关图书 / 更多
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于语料库的汉语方言俗语研究(开辟汉语言方言俗语研究的新思路。)
吴建生
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于学习科学的有效教学
梁林梅
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于量子计算的量子密码协议
石金晶
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于近邻思想和同步模型的聚类算法
陈新泉
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于MATLAB的电力电子技术和交直流调速系统仿真(第3版)
陈中、陈克伟、刘丹丹、段文勇
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于Python的GIS空间分析
高培超 谢一茹 叶思菁 宋长青/编著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于遥感云计算的生态大数据平台建设:理论、方法与实践
董金玮等
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于协同演化过程视角的企业相关多元化发展研究
李章溢
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于R的语言研究多变量分析
吴诗玉
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于Agent的系统仿真导论 [美] 尤里·威伦斯基
(美) 尤里·威伦斯基 (美)威廉·兰特
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于机器学习的文本挖掘
扬·茨卡,弗朗齐歇克·达雷纳,阿尔诺斯特
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
基于项目教学的职业教育课程开发研究与实践
深圳职业技术大学
您可能感兴趣 / 更多
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
标杆执行力
杨刚 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
百部红色经典:万木无声待雨来
杨刚 著;新华先锋 出品
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
国学经典藏书-书谱 书法雅言
杨刚 逄淑美 译注
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
24岁若无其事
杨刚 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
灯伢儿(精)
杨刚 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
三沈书法艺术研究
杨刚 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
让每一缕阳光照进孩子的心田
杨刚 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
长征中的川籍革命家
杨刚 编著;单孝虹
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
神经病理学手册
杨刚 主编
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
家殇——奉俄外交与哈尔滨“杨卓”之谜
杨刚 著
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
现代企业文化理论与实践
杨刚 主编
基于状态机的嵌入式系统开发(21世纪高等学校嵌入式系统专业规划教材)
线性代数
杨刚 编