Visual State 11.2|IAR Visual State 11.2.3免费下载-闪电软件园

　　　　　　　　 IAR Visual State是领先的集成开发工具，它为用户提供了一个友好的图形设计环境，图形化项目管理工具，通过使用UML符号绘制状态机图来设计状态机，您可以使用编辑器访问和激活IAR Visual State中的其他组件，并为验证器、编码器和文档器设置选项，轻松进行设

IAR Visual State是领先的集成开发工具，它为用户提供了一个友好的图形设计环境，图形化项目管理工具，通过使用UML符号绘制状态机图来设计状态机，您可以使用编辑器访问和激活IAR Visual State中的其他组件，并为验证器、编码器和文档器设置选项，轻松进行设计和项目管理。提供用于测试的验证和确认工具、一个代码生成器和一个用于记录设计的文档管理器，支持 RTOS 集成、代码生成、仿真、验证和变体管理，帮助开发团队提升效率、可靠性和软件设计。

功能特色

1、直观发展

图形状态机使应用逻辑易于创建、理解和修改。它们支持一个迭代工作流程，机器中的状态对应应用中的状态，确保自然的开发过程，同时提升清晰度和沟通性。

2、简化维护与再利用

专注于设计逻辑而非编写代码能使维护更高效。状态机模型可以在类似应用中以最小的努力重用，缩短开发时间，同时确保复杂逻辑项目间的一致性。

3、对高完整性系统的支持

IAR Visual State 生成的代码可实现 MISRA C/C++ 合规，并支持功能安全设计，包括 IEC-61508 合规性。其正式验证能够检测不可达状态、死胡同和未消耗的输入，使得发现传统测试套件可能忽略的设计缺陷变得更容易。

4、目标无关代码

生成的 C 和 C++ 代码可在任何配备标准编译器的平台上运行。由于不依赖编译器特定功能，确保了跨嵌入式系统的灵活性和可移植性，同时支持 C# 和 Java 支持，支持跨平台开发，适用于多样化的软件环境

5、支持RTOS的

生成的代码与RTOS环境无缝集成。您可以使用IAR可视化状态设计控制逻辑，并将状态机分配给RTOS任务，从而灵活地将任务分配到多个系统，同时保持效率和模块化。

6、两个代码API

在可追溯性上可读的代码或基于表的简洁代码以提升效率之间选择。可读格式提供了状态机到代码之间的清晰映射，而基于表的方法则优化了规模和执行性能。

7、执行模拟

可视化状态模拟器提供动画调试、状态机追踪以及动态/静态分析。它提供逐步执行洞察，帮助开发者可视化任务交互和系统行为，从而提升调试和设计验证。

8、内置形式验证

识别难以测试的问题，如不可达状态和阻塞条件。验证引擎能及早发现意外设计缺陷，确保更可靠的 C、C++、C# 或 Java 实现，这些实现在传统测试方法下难以发现。

9、产品变体支持

在保持共享基础设计的同时，高效定义多种产品变体。IAR 可视化状态允许条件功能管理，减少对独立开发轨道的需求，同时确保不同产品版本之间的一致性和可维护性。

10、支持的标准

IAR 视觉状态是按照 UML 符号开发的，但也可用于设计符合 Mealy 符号的状态/事件系统。

所有生成的代码C/C++结构都遵循ISO/ANSI C标准，并可符合MISRA-C：2004、MISRA-C：2012和MISRA-C++：2008。C# 和 Java 代码遵循结构化编程原则以保证可维护性。

11、第三方集成

连接外部工具和开发环境，以增强灵活性和互作性。

·控制中心

可视化状态控制中心为第三方产品提供与IAR可视化状态的接口。控制中心还可用于远程仿真你的状态机模型。

·状态机 API

一个基于 C 的开放 API 允许访问来自多种编程语言的模型。

·代码集成

生成的代码能够无缝集成使用RAD工具如Microsoft® Visual C++®或其他图形用户界面工具链构建的应用程序。

安装激活教程

1、安装包如图所示

2、安装，勾选接受协议选项

3、安装目录设置

4、安装完成，将patch中的文件复制到安装目录中，替换

闪电小编说明：

用于基于状态机模型设计、测试和实现嵌入式应用程序，支持模拟、分析和调试使用编辑器创建的模型。使用模拟器测试您的设计功能。包含用于对使用编辑器创建的模型进行动态形式验证的工具。持图形设计、代码重用、验证和目标无关集成。

展开