为了描述嵌入式系统的部分，设计人员通常会使用状态机，并且通常意味着利用UML等建模工具。这些模型有时是安全相关应用程序认证过程的一部分。将这些模型转换为代码可能是具有挑战性的，特别是如果需要将模型保持与代码同步。
IAR的视觉状态（图。1）允许设计人员使用Visual State Designer以图形方式构建状态机模型。分层IAR模型与UML标准兼容。
1. IAR的视觉状态允许设计人员以图形方式创建状态机，然后将模型转换为C，C ++，C＃或Java代码。
然后，模型可以使用Visual State Coder工具转换为C，C ++，C＃或Java源代码。C＃和Java是新的补充。对模型所做的更改可以很容易地转换为源代码，允许从最新型号创建应用程序。
视觉状态只是为了它创建源代码的能力，但它包括其他方便的功能。验证器是一个状态机仿真工具，允许测试模型，而不管最终将生成哪些代码。验证器工具提供正式的系统验证。它可以检查状态死胡同，模糊分配和未使用的元素等错误。
例如，Documenter工具用于以HTML或RTF格式生成文档报告。它将验证器，验证器和编码器工具与验证器，验证器和编码器工具相关联。
Visual State将与任何工具集一起使用，因为它生成源代码，但它与IAR自己的嵌入式工作台IDE集成（图2）。类似的工作流将与任何其他工具集一起使用。使用IAR的IDE的优势来调试和应用。它支持状态机断点。
2.视觉状态与IAR嵌入式工作台IDE集成。
IAR的IDE也支持Misra C / C ++合规性。Visual State包括支持标准的选项，寻址详细信息，例如避免在子表单中的嵌入分配。
