/>
IAR visualSTATE is a well-established UML-based state machine design tool, which generates code that is 100% consistent with the original design. Together with the advanced test and formal verification tools this forms an ideal package for the design of event driven high integrity and safety critical applications.

In IAR visualSTATE 6.1 it is now possible to choose between the size-efficient table-based code generation and a new format intended to be fully human-readable to further accommodate the needs of common high integrity development processes. This new format is based on a straight translation to SWITCH and IF statements, and is structured to expose the model structure directly in the code to facilitate independent review and validation.

IAR visualSTATE version 6.1 includes a build integration plug-in for existing IAR Embedded Workbench installations with an IDE version of 5.1 or higher. IAR visualSTATE project files (*.vsp) can then be added to an IAR Embedded Workbench project, and code generation of the IAR visualSTATE model will be performed when building the IAR Embedded Workbench project. The generated source files are automatically located by the build engine in IAR Embedded Workbench, since they are treated as dependencies for the IAR visualSTATE project file.

There is now also an option for the Verificator to use advanced space saving heuristics. This option offers a huge improvement in CPU and memory usage when verifying large and very large models.
Logging to test sequence files has now been introduced for the C-SPYLink plug-in, making it possible to log model data while executing on target. In connection with these features, the user interface for the C-SPYLink plug-in has been slightly changed.