用状态机原理进行软件设计
发布: 2009-1-19 22:44 | 作者: dydydy1234 | 来源: StmFans思蜕盟 OPELC 自由电子联盟
用状态机原理进行软件设计
用状态机原理进行软件设计.pdf
(2009-01-19 22:44:45, Size: 241 KB, Downloads: 293)
发布: 2009-1-19 22:44 | 作者: dydydy1234 | 来源: StmFans思蜕盟 OPELC 自由电子联盟
用状态机原理进行软件设计.pdf
(2009-01-19 22:44:45, Size: 241 KB, Downloads: 293)
无论什么东西都要家里、单位各下一遍，导致我要顶两遍帖……
还不确定下了没……
推荐VisualSTATE，就是基于HSM（层次状态机）的应用
体会一下，鬼佬的软件是怎末编的。
visualSTATE是一套完善而易用的开发工具,可以设计、测试和实现基于状态机理论的嵌入式应用。
visualSTATE 提供先进的验证和测试工具，能够生成非常紧凑的C/C++代码，并与您的系统设计保持100%一致。此外，visualSTATE与IAR Embedded Workbench®（完全集成的C/C++编译和调试工具链）革命性整合在一起，可支持在硬件上进行真实的状态机调试，并从多个层次获得图形化的直接信息反馈。
version 6.1 的亮点
- 产生可读的代码
- 与IAR Embedded Workbench编译集成
- 加强了验证功能
- 测试后续文件的记录
- 更新的用户手册
856_3be72368075da916dffb7cd241c04612100.jpg
主要特点
- 完全集成的开发环境，包括图形化的设计界面、测试工具以及代码和文档生成器
- 基于UML状态图的一个子集，进行图形化的状态机设计
- 对所设计的模型自动进行规范化验证，以找出其中不希望的错误，例如死锁或无法到达的状态等
- 提供完善的测试和验证工具，以确保在设计的早期阶段，即使硬件还不存在，应用程序的行为仍可符合预期
- 自动生成非常紧凑的C/C++代码，并与系统设计保持100%一致
- 自动生成饱含丰富开发信息的文档
- 可与IAR Embedded Workbench紧密整合，带有完备的工程样例，支持多种MCU和评估板
模型驱动设计方法的优点
- 使用强大的UML层次状态图和状态机符号来绘制对象、事件和动作，设计嵌入式应用程序。
- 模型驱动的设计方法和图形化的设计表达方式，方便了设计者与他人共同探讨设计思想并交换想法。
- 模拟仿真并将应用可视化，可以在设计的早期就发现可能存在的错误。
- 非常强大的规范化验证器能帮助您验证所设计的运行时模型的逻辑一致性。
- 在您的整个开发过程中可以不断反复地进行广泛的测试：验证状态机的行为，回归测试，以及自动提供测试覆盖率报告。
- 使用C-SPY扩展插件，和设计中的反馈一起在硬件上进行图形化的高层调试，而无需过早地涉及底层实现细节。
- 自动生成紧凑无错的C/C++代码，并与你的设计保持100%的一致。
- 当市场需求发生变更时，易于在现有的应用程序上增加新的功能。
- 精确且结构化的文档管理，总是与最新的设计保持同步，有利于对现有的应用程序进行维护。
系统要求
* - 一台安装了Microsoft® Windows® 2000(SP4)或XP(SP2)的电脑
* - Internet Explorer 6或更高版本
* - Pentium处理器，至少256MB内存和200MB剩余磁盘空间
* - Microsoft® HTML Help 1.4
* - Adobe® Acrobat® Reader