实例介绍
【实例简介】
很全的VisualState教程，各个状态之间的转换问题一目了然 很好的东西
JTAG ARM仿真器:J-Link USB驱动的JTAG接口 下载速度达120kb/s J-Link由USB接口供电工作 ·JTAG接口能给目标板提供5v电源 最大JTAG速度8MHz 自动速度侦别 ·所有JTAG信号可被监测,目标芯片电压可测 J-Link在TCP/P网路上可被共享使用 原装进口,原厂品质保证 AR原厂ARM开发版北京麦克泰软件技术有限公司 Atmel AT91SAM7S64 北京市海淀区上地开发区东北旺西路8号中关村软件园3号楼1308室 Philips LpC2103 电话:(010)82826868 LPC2106 www.bmrtech.com LPC2129 麦克泰是国内首家中外合作专业从事嵌入式系统软件开发、销售、培 LPC2138 训和工程应用的高科技软件企业,成立于1995年。麦克泰公司自主研 LPC2148 发和代理的嵌入式软件产品已经广泛应用在国内通信、工业控制、航 空航天和消费电子等领域 LPC2294 麦克泰公司的主要产品有:32位嵌入式系统开发工具,ARM/M|PS/ ST STR711F PPC JTAG仿真器,嵌入式 Linux操作系统,嵌入式网络协议和中间 STR712F 件,嵌入式单板计算机。合作的国外厂商有: Monta Vista, Micrium, Inter Niche, IAR, Ampro, Solid, Embedded STR730 Planet, Patron,LVL7,Aj, Nexthop和 ELANIX等 T TMS470R1A256 麦克泰公司专注于为以下三个方面的市场为用户提供产品方案和技术 TMS470R1B1M 服务培训: Oki ⅥL67Q4051 1.信息家电和网络产品,如智能电话和以太网交换机等 ML6962XX 2.电信设备的制造商的产品设计和研发。 3.工业控制和军用通信产品设计和研发 麦克泰的专业经验包含:嵌入式操作系统、通信协议、32位嵌入式微处 DIAR 理器的设计、设备驱动程序和丰富的嵌入式系统设计、通讯设备开发应 SYSTEMS 用的市场知识,这源于他们多年丰富的实践经验 Uigrunl Aithterlunes 看ac www.arcom 麦克泰是|AR公司在中国的全线产品代理,其位于北京、上海 深圳的办事处能为客户提供及时、贴身的V|P技术服务。 移动电话仿真器 OPENice-A1000 移动电话开发最佳选择 AJ系统的移动电话开发解决方案, OPENice-A1000,对于是下一代 移动电话的开发,保证是最好的选择 高性能 对于移动电话的开发, OPENice-A1000提供了最佳的开发选择环境;它支 持多种移动设备,多种 flash设备,高速下载,以及方便的调试功能 技术支持 A刂系统向用户提供快速、准确的技术支持,也可以根据客户的需要定制服务,由高级开 发工程师组成的技术支持小组随时为您提供高质量的服务 技术工艺 A刂!系统在4~32位处理器开发工具积累了多年的经验,向全世界用户提供最佳的嵌入式系统开发工具。A刂系统给用户提供 基于最新技术的开发解决方案。在嵌入式开发工具领域,A川系统致力成为技术领导者 ARM7 ●●●● ARM10 ARM11 开发环境: XScale Software I CDMA D EWARM SM Devices SDT/ADS/RealView Emulat WinCE Platform builder OPENice-A1000 Target System 支持多种移动设备处理器 支持独立标准的 Flash编程(128M) 高通:MSM3/5/7系列 不用连接PC机,你可以通过 OPENice.A1000将 T:OMAP设备 影像文件移动到手机的目标Fash存储器中 Agere设备 Intel Bulverde设备 ks芯片 支持 ETM Trace功能(配选 支持多种ARM处理器 提供免费的调试软件— Spider ARM7,ARM9ARM10ARM1以及 Xscale Spider, OPENice系列仿真器的专用调试软件 它随机免费向用户提供 特点 支持多核,多处理器调试 在不需要更换内核模块的情况下,支持多核处理器调试 模块尺寸 尺寸小,携带方便 78mm(W)*130mm(L)*20mm(□□H) 超高速下载(USB20) 采用UsB2.0接口,高速下载影像文件到目标系统 对 OPENice系列用户提供免费培训 简单便捷的Fash编程 A刂系统成立嵌入式系统培训中心 支持多种 Flash存储器设备编程 OPENice-A1000以及 Spider的培训 支持USB电源 技术支持 两种电源提供选择,USB或者 Adaptor 向用户提供售前和售后服务,随时响应用户的咨询 爱极系统(香港)有限公司 地址:深圳市福田区泰然工业园苍松大厦南座915-916室 电话:(0755)83496960/83496986转816 网址:www, aijisystem,com SYSTEM AR合作伙伴推荐 前言 谁应该使用这本书? 本书的使用对象是希望用状态机模型理论来提高嵌入式系统开发效率的 软件工程师以及专业人士。 本书描述了 iaR VisuaLstate软件开发套件的基本的原理和理念,这 些理念符合统一建模语言(UML)的规范。 如果希望进一步了解 IAR ViSuaLstatE工具链的使用方法,请参考用 户手册。 以下文章中Ⅴ isuaIstate一词将用来指 iaR VisuaLstate软件开发 套件。 本书的概要和结构 第一章介绍了 VisuaLstate和嵌入式系统,并介绍了一些用 VisuaLstate 开发系统的实际案例; 第二章描述了基于状态机概念的 VisuaLStatE入门方法; 第三章给出了 VisuaLState的简介和它的一些组件的特点。 第四章描述了如何用 VisuaLstate来设计并发结构的状态机。 第五章描述了代码生成器和怎么用Ⅴ iSuaISTATE来集成目标应用系统。 第六章描述了如何用 VisuaLstate来创建层级化的状态机模型 第七章详细描述了ⅠARⅤ iSuaISTATE提供的各种丰富的测试工具和测试手 段,包括有效性测试,模拟测试,原型机模拟和动态验证。 感谢 AR公司感谢本书的合著者:Dr. Techn. Jorgen staunstrup,丹麦理 工大学的教授。 Staunstrup教授是嵌入式领域的国际知名人士,尤其在嵌入 式领域的并发,验证和系统设计方面具有杰出贡献,他已经撰写了数本相关 主题的书籍并经常出访美国、日本和欧洲游历讲学。 补充说明 当您使用第5版的Ⅴ isuaIstatE软件时,请注意本书以下部分的更改 1)初始化状态标识的变化 归标识 A 新标识 A 2)转移终止的标识也改变了 旧标识是一个问号 ? A B 新标识是一个注明“ Completion Event文字的转移 Completion Event B 3)第32页软件中不再支持用矩阵方式描述状态机 4)第44页原型工具 Alitia FacePlate已经被集成到 IAR VisualSTATE中 目录 、介绍 01 1.1如何使用此指南 1.2 VisuaLstate的基本概念 01 1.2.1事件处理机制 13 VisuaLstate的实际应用案例… 1.3.1自动咖啡机 1.3.2其他实际应用案例 1.4嵌入式系统 08 1.4.1面向控制的运算…… 09 VisuaLstate入门 10 21介绍 10 2.2状态机 10 2.3状态机表示法 12 2.4如何与外部环境接口… 12 2.4.l事件 13 24.2动作 13 2.5序列控制… 14 26层级化的状态机 14 2.7讨论 16 、 VisuaLstate工具链介绍 17 3. 1 IAR VisuaISTATE Designer.... 18 3.2测试 19 3.2.1交互式模拟 19 32.2原形设计 19 32.3动态规范性验证 33代码生成 34文档生成 3.5产品集成 22 36维护一个 VisuaLstate项目的系统架构 24 四、并发结构 41并发结构编程 4.1.1术语…… 25 4.2实例:交通灯控制器 25 4.2.1双向的交通灯控制器…… 25 4.2.2并发的交通灯控制器 6 4.2.3并发模型与序列模型的比较 28 4.3状态机同步 29 五、代码自动生成功能及其应用… 30 5.1目标代码结构. ,30 5.1.1运行可预测性… 5.2运行环境 33 5.3目标代码的资源需求… .35 六、层级化的状态机模型 37 6.1CD播放机系统中的层级结构和并发结构 37 6.1.1并发结构 37 6.1.2层级结构 ∴38 6.2初始状态 8 6.3执行请求 39 64进入/退出动作 40 6.5变量 66信号 41 七、测试 43 7.1交互式模拟 44 7.2测试记录 7.3 Real-Link ∴45 74对比测试 7.5静态分析 47 7.6动态分析 47 7.7动态规范性验证 7.7.l死锁 7.72不能到达的转移 51 7.73冲突行为 51 IaR Embedded workbench设备支持列表 52 小贴士 54 图表目录 图1.1: VisuaLstate组件… 01 图1.2: VisuaLstate事件处理系统 图1.3:自动咖啡机 ∴03 图1.4:自动咖啡机软件的整体系统架构 图15:自动咖啡机的用户界面 图16:典型的原型机开发 图21:一个简单的洗衣机 图22洗衣机状态转移实例 图23:洗衣机控制器 图2.4:洗衣机控制器的矩阵描述 12 图25:事件Wash 13 图26:动作 Light 图27:层级化描述的顶端层次 14 图28:状态机控制着洗衣过程中的旋转 15 图29:层级化的状态机 图3.1: VisuaLstate工具链浏览 17 图32:手机用户界面 17 图3.3:手机:系统开发过程快速浏览 图3.4:手机:交互式模拟快速浏览 19 图3.5:手机用户接口的图形化模型 20 图3.6:将目标模块合并成一个完整的方案 21 图3.7:手机的项目文档输出示例∴ 图38:手机模型集成的步骤 图3.9:一个 VisuaLstate嵌入式应用的组件 23 图3.10:打开了三个工程的 Navigator… 24 图4.1:单向交通灯的状态机 25 图42:十字路口的交通灯 26 图4.3:双向交通灯控制器的状态机 26 图44:并发交通灯控制器.… 27 图4.5:并发转换的交通灯控制器… 27 图46:状态机的组合爆炸 28 图47:处理紧急事件的状态机模型 图51:目标应用集成的步骤 图52 VisuaLsTate工程结构示例. 图53: VisuaLstate层次 31 图54:目标代码的结构…… 32 图55: Coder的选项 图5.6:并发结构的交通灯控制器 图5.7: Visualstate运行环境 34 图58:一个简单的 VisualsTate运行循环例子 34 图5.9:在实时操作系统中的 VisuaLstate系统 35 图510:一个目标应用中的两个Ⅴ iSuaISTATE组件 35 图5.11:典型的API配置 图5.12:由Ⅴ iSuaIState模型生成代码的统计 图6.1:CD播放机… .37 图62:CD播放器中的并发状态机 37 图63:CD播放器中的层级结构状态机 .38 图64:状态 NOT PLAYING的内部状态机结构 ….39 图65:进入动作在CD播放器中的应用 图66:监控使用变量的例子 40 图67:变量增量的例子…… 41 图68:CD播放器的状态机模型 41 图69:信号 图71:空调显示器 43 图72:空调状态机模型的模拟…… 图7.3:图形化的后向模拟 图7.4:保存一个模拟测试序列 45 图75:启动Real-Link 图76:对比分析…… ······················ ….46 图7.7:静态分析 47 图78:动态分析小结 图79:动态分析,转移 图7.10:状态机模型,带测试报告 图7.11:控制面板…… 50 【实例截图】
【核心代码】
很全的VisualState教程，各个状态之间的转换问题一目了然 很好的东西
JTAG ARM仿真器:J-Link USB驱动的JTAG接口 下载速度达120kb/s J-Link由USB接口供电工作 ·JTAG接口能给目标板提供5v电源 最大JTAG速度8MHz 自动速度侦别 ·所有JTAG信号可被监测,目标芯片电压可测 J-Link在TCP/P网路上可被共享使用 原装进口,原厂品质保证 AR原厂ARM开发版北京麦克泰软件技术有限公司 Atmel AT91SAM7S64 北京市海淀区上地开发区东北旺西路8号中关村软件园3号楼1308室 Philips LpC2103 电话:(010)82826868 LPC2106 www.bmrtech.com LPC2129 麦克泰是国内首家中外合作专业从事嵌入式系统软件开发、销售、培 LPC2138 训和工程应用的高科技软件企业,成立于1995年。麦克泰公司自主研 LPC2148 发和代理的嵌入式软件产品已经广泛应用在国内通信、工业控制、航 空航天和消费电子等领域 LPC2294 麦克泰公司的主要产品有:32位嵌入式系统开发工具,ARM/M|PS/ ST STR711F PPC JTAG仿真器,嵌入式 Linux操作系统,嵌入式网络协议和中间 STR712F 件,嵌入式单板计算机。合作的国外厂商有: Monta Vista, Micrium, Inter Niche, IAR, Ampro, Solid, Embedded STR730 Planet, Patron,LVL7,Aj, Nexthop和 ELANIX等 T TMS470R1A256 麦克泰公司专注于为以下三个方面的市场为用户提供产品方案和技术 TMS470R1B1M 服务培训: Oki ⅥL67Q4051 1.信息家电和网络产品,如智能电话和以太网交换机等 ML6962XX 2.电信设备的制造商的产品设计和研发。 3.工业控制和军用通信产品设计和研发 麦克泰的专业经验包含:嵌入式操作系统、通信协议、32位嵌入式微处 DIAR 理器的设计、设备驱动程序和丰富的嵌入式系统设计、通讯设备开发应 SYSTEMS 用的市场知识,这源于他们多年丰富的实践经验 Uigrunl Aithterlunes 看ac www.arcom 麦克泰是|AR公司在中国的全线产品代理,其位于北京、上海 深圳的办事处能为客户提供及时、贴身的V|P技术服务。 移动电话仿真器 OPENice-A1000 移动电话开发最佳选择 AJ系统的移动电话开发解决方案, OPENice-A1000,对于是下一代 移动电话的开发,保证是最好的选择 高性能 对于移动电话的开发, OPENice-A1000提供了最佳的开发选择环境;它支 持多种移动设备,多种 flash设备,高速下载,以及方便的调试功能 技术支持 A刂系统向用户提供快速、准确的技术支持,也可以根据客户的需要定制服务,由高级开 发工程师组成的技术支持小组随时为您提供高质量的服务 技术工艺 A刂!系统在4~32位处理器开发工具积累了多年的经验,向全世界用户提供最佳的嵌入式系统开发工具。A刂系统给用户提供 基于最新技术的开发解决方案。在嵌入式开发工具领域,A川系统致力成为技术领导者 ARM7 ●●●● ARM10 ARM11 开发环境: XScale Software I CDMA D EWARM SM Devices SDT/ADS/RealView Emulat WinCE Platform builder OPENice-A1000 Target System 支持多种移动设备处理器 支持独立标准的 Flash编程(128M) 高通:MSM3/5/7系列 不用连接PC机,你可以通过 OPENice.A1000将 T:OMAP设备 影像文件移动到手机的目标Fash存储器中 Agere设备 Intel Bulverde设备 ks芯片 支持 ETM Trace功能(配选 支持多种ARM处理器 提供免费的调试软件— Spider ARM7,ARM9ARM10ARM1以及 Xscale Spider, OPENice系列仿真器的专用调试软件 它随机免费向用户提供 特点 支持多核,多处理器调试 在不需要更换内核模块的情况下,支持多核处理器调试 模块尺寸 尺寸小,携带方便 78mm(W)*130mm(L)*20mm(□□H) 超高速下载(USB20) 采用UsB2.0接口,高速下载影像文件到目标系统 对 OPENice系列用户提供免费培训 简单便捷的Fash编程 A刂系统成立嵌入式系统培训中心 支持多种 Flash存储器设备编程 OPENice-A1000以及 Spider的培训 支持USB电源 技术支持 两种电源提供选择,USB或者 Adaptor 向用户提供售前和售后服务,随时响应用户的咨询 爱极系统(香港)有限公司 地址:深圳市福田区泰然工业园苍松大厦南座915-916室 电话:(0755)83496960/83496986转816 网址:www, aijisystem,com SYSTEM AR合作伙伴推荐 前言 谁应该使用这本书? 本书的使用对象是希望用状态机模型理论来提高嵌入式系统开发效率的 软件工程师以及专业人士。 本书描述了 iaR VisuaLstate软件开发套件的基本的原理和理念,这 些理念符合统一建模语言(UML)的规范。 如果希望进一步了解 IAR ViSuaLstatE工具链的使用方法,请参考用 户手册。 以下文章中Ⅴ isuaIstate一词将用来指 iaR VisuaLstate软件开发 套件。 本书的概要和结构 第一章介绍了 VisuaLstate和嵌入式系统,并介绍了一些用 VisuaLstate 开发系统的实际案例; 第二章描述了基于状态机概念的 VisuaLStatE入门方法; 第三章给出了 VisuaLState的简介和它的一些组件的特点。 第四章描述了如何用 VisuaLstate来设计并发结构的状态机。 第五章描述了代码生成器和怎么用Ⅴ iSuaISTATE来集成目标应用系统。 第六章描述了如何用 VisuaLstate来创建层级化的状态机模型 第七章详细描述了ⅠARⅤ iSuaISTATE提供的各种丰富的测试工具和测试手 段,包括有效性测试,模拟测试,原型机模拟和动态验证。 感谢 AR公司感谢本书的合著者:Dr. Techn. Jorgen staunstrup,丹麦理 工大学的教授。 Staunstrup教授是嵌入式领域的国际知名人士,尤其在嵌入 式领域的并发,验证和系统设计方面具有杰出贡献,他已经撰写了数本相关 主题的书籍并经常出访美国、日本和欧洲游历讲学。 补充说明 当您使用第5版的Ⅴ isuaIstatE软件时,请注意本书以下部分的更改 1)初始化状态标识的变化 归标识 A 新标识 A 2)转移终止的标识也改变了 旧标识是一个问号 ? A B 新标识是一个注明“ Completion Event文字的转移 Completion Event B 3)第32页软件中不再支持用矩阵方式描述状态机 4)第44页原型工具 Alitia FacePlate已经被集成到 IAR VisualSTATE中 目录 、介绍 01 1.1如何使用此指南 1.2 VisuaLstate的基本概念 01 1.2.1事件处理机制 13 VisuaLstate的实际应用案例… 1.3.1自动咖啡机 1.3.2其他实际应用案例 1.4嵌入式系统 08 1.4.1面向控制的运算…… 09 VisuaLstate入门 10 21介绍 10 2.2状态机 10 2.3状态机表示法 12 2.4如何与外部环境接口… 12 2.4.l事件 13 24.2动作 13 2.5序列控制… 14 26层级化的状态机 14 2.7讨论 16 、 VisuaLstate工具链介绍 17 3. 1 IAR VisuaISTATE Designer.... 18 3.2测试 19 3.2.1交互式模拟 19 32.2原形设计 19 32.3动态规范性验证 33代码生成 34文档生成 3.5产品集成 22 36维护一个 VisuaLstate项目的系统架构 24 四、并发结构 41并发结构编程 4.1.1术语…… 25 4.2实例:交通灯控制器 25 4.2.1双向的交通灯控制器…… 25 4.2.2并发的交通灯控制器 6 4.2.3并发模型与序列模型的比较 28 4.3状态机同步 29 五、代码自动生成功能及其应用… 30 5.1目标代码结构. ,30 5.1.1运行可预测性… 5.2运行环境 33 5.3目标代码的资源需求… .35 六、层级化的状态机模型 37 6.1CD播放机系统中的层级结构和并发结构 37 6.1.1并发结构 37 6.1.2层级结构 ∴38 6.2初始状态 8 6.3执行请求 39 64进入/退出动作 40 6.5变量 66信号 41 七、测试 43 7.1交互式模拟 44 7.2测试记录 7.3 Real-Link ∴45 74对比测试 7.5静态分析 47 7.6动态分析 47 7.7动态规范性验证 7.7.l死锁 7.72不能到达的转移 51 7.73冲突行为 51 IaR Embedded workbench设备支持列表 52 小贴士 54 图表目录 图1.1: VisuaLstate组件… 01 图1.2: VisuaLstate事件处理系统 图1.3:自动咖啡机 ∴03 图1.4:自动咖啡机软件的整体系统架构 图15:自动咖啡机的用户界面 图16:典型的原型机开发 图21:一个简单的洗衣机 图22洗衣机状态转移实例 图23:洗衣机控制器 图2.4:洗衣机控制器的矩阵描述 12 图25:事件Wash 13 图26:动作 Light 图27:层级化描述的顶端层次 14 图28:状态机控制着洗衣过程中的旋转 15 图29:层级化的状态机 图3.1: VisuaLstate工具链浏览 17 图32:手机用户界面 17 图3.3:手机:系统开发过程快速浏览 图3.4:手机:交互式模拟快速浏览 19 图3.5:手机用户接口的图形化模型 20 图3.6:将目标模块合并成一个完整的方案 21 图3.7:手机的项目文档输出示例∴ 图38:手机模型集成的步骤 图3.9:一个 VisuaLstate嵌入式应用的组件 23 图3.10:打开了三个工程的 Navigator… 24 图4.1:单向交通灯的状态机 25 图42:十字路口的交通灯 26 图4.3:双向交通灯控制器的状态机 26 图44:并发交通灯控制器.… 27 图4.5:并发转换的交通灯控制器… 27 图46:状态机的组合爆炸 28 图47:处理紧急事件的状态机模型 图51:目标应用集成的步骤 图52 VisuaLsTate工程结构示例. 图53: VisuaLstate层次 31 图54:目标代码的结构…… 32 图55: Coder的选项 图5.6:并发结构的交通灯控制器 图5.7: Visualstate运行环境 34 图58:一个简单的 VisualsTate运行循环例子 34 图5.9:在实时操作系统中的 VisuaLstate系统 35 图510:一个目标应用中的两个Ⅴ iSuaISTATE组件 35 图5.11:典型的API配置 图5.12:由Ⅴ iSuaIState模型生成代码的统计 图6.1:CD播放机… .37 图62:CD播放器中的并发状态机 37 图63:CD播放器中的层级结构状态机 .38 图64:状态 NOT PLAYING的内部状态机结构 ….39 图65:进入动作在CD播放器中的应用 图66:监控使用变量的例子 40 图67:变量增量的例子…… 41 图68:CD播放器的状态机模型 41 图69:信号 图71:空调显示器 43 图72:空调状态机模型的模拟…… 图7.3:图形化的后向模拟 图7.4:保存一个模拟测试序列 45 图75:启动Real-Link 图76:对比分析…… ······················ ….46 图7.7:静态分析 47 图78:动态分析小结 图79:动态分析,转移 图7.10:状态机模型,带测试报告 图7.11:控制面板…… 50 【实例截图】
【核心代码】
标签：
好例子网口号：伸出你的我的手 — 分享！
小贴士
感谢您为本站写下的评论，您的评论对其它用户来说具有重要的参考价值，所以请认真填写。
- 类似“顶”、“沙发”之类没有营养的文字，对勤劳贡献的楼主来说是令人沮丧的反馈信息。
- 相信您也不想看到一排文字/表情墙，所以请不要反馈意义不大的重复字符，也请尽量不要纯表情的回复。
- 提问之前请再仔细看一遍楼主的说明，或许是您遗漏了。
- 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦，又没人会搭理，于人于己都无利。
关于好例子网
本站旨在为广大IT学习爱好者提供一个非营利性互相学习交流分享平台。本站所有资源都可以被免费获取学习研究。本站资源来自网友分享，对搜索内容的合法性不具有预见性、识别性、控制性，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，平台无法对用户传输的作品、信息、内容的权属或合法性、安全性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论平台是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二与二十三条之规定，若资源存在侵权或相关问题请联系本站客服人员，点此联系我们。关于更多版权及免责申明参见 版权及免责申明
网友评论
我要评论