下载资料简介:
IAR visualSTATE 5.2.1 (图形化状态机设计):
它是业界第一个图形化状态机设计工具, 它能为嵌入式系统产生非常紧凑的c代码。
自动从状态机模型生成C/C++ 代码
自动产生全部文档
直观的, 容易的使用图形化编辑器
丰富的验证和模拟工具, 包括使用RealLink进行器件上调试能力
满足UML状态机标准
IAR visualSTATE是一套基于状态机的UML兼容的图形化软件设计环境。它支持层次和并发状态机。它集成了:设计, 确认(Validation),验证(Verification), C代码生成和文档生成器等工具。
当使用visualSTATE做开发时,全部应用都是基于设计的,由于这种独到的技术,我们可以完成尽可能详尽的测试和生成可以用于任何目标的、可靠的、可供生产使用的C代码。生成的C代码与设计绝对一致,执行是完全确定的,其代码甚至比手工编写的更紧凑。
VisualSTATE工具让你在开发周期的不同活动之间操纵更容易。它支持循环开发模型,你可以从一个产品的简单轮廓开始,逐步细化。随时可以确认和验证你已经做过的设计。
方便交流
通过使用图形化的格式,软件的行为更容易为工程师和其他人员理解。无论什么时间一个新的项目成员需要理解你的软件,他都可以很短的时间做到。当需要和客户讨论问题时,我们可以利用这种非常容易理解的图形格式。
原型法使你能够快速创建一个产品原型或产品一部分的原型。这可以很方便的测试和评估不同的设计方案,用户也很容易理解,可以参加到评估中去。即使在需求规格说明完成之前,就可以让选择的客户和销售人员试这个产品。
VisualSTATE集成了完整的配套工具,所有的工作我们都不需要做第二次。你设计的一切都可以测试,仿真,原型化模拟和在目标上运行。
超级技术
从技术上讲VisualSTATE解决了许多传统上的实施问题。它自动生成用于目标系统的代码,这些代码与你的设计完全一致。生成的代码执行结果是完全确定的,所以你应用的行为将永远一样。不可能出现竞态条件和随机行为。
由于有了这种确定的模型,才能做应用的完整的动态确认。VisualSTATE 确认器将检查你系统的所有组合并报告任何错误。
特点:
A. 基于状态机的UML 兼容的图形化工具
B. 先进的确认和验证技术
C. 通过RealLink实现在目标上调试
D. 与Altia FACEPLATE一起使用可以进行原型法设计
E. 自动生成独立于处理器、
实时操作系统和编译器的C代码
F. 生成的代码非常紧凑而有效,是唯一能够适合8位和16位目标
G. 自动生成完整的文档
这是它的破解版下载.里面有AVR,ARM,MSP430的例子.
备注::
本站收集200多G的绝对实用的电子资料,但是站长还是个身无分文的学生,没有钱购买服务器,大量的资料没有办法供大家下载。但是,站长对这些资料进行了细致的分类,给大家一个资料索引,让大家更好的收集相关领域资料。本站资料部分来自互联网,朋友们可以在互联网上搜索到这些资料。当站长把资料整理完毕(大概需要1个月)后,会想办法让这些资料跟大家见面,也许用BT供大家下载,请大家耐心等待!