IAR Systems announces major upgrade to state machine design tool

Version 6.1 of IAR visualSTATE allows easier review of code and full integration with IAR Embedded Workbench

IAR Systems has announced the launch of IAR visualSTATE version 6.1, which incorporates several major enhancements, including: generation of fully human-readable code; build integration with IAR Embedded Workbench; verification improvements; and logging to test sequence files.
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.

©2008 Business Wire. All of the news releases contained herein are protected by copyright and other applicable laws, treaties and conventions. Information contained in the releases is furnished by Business Wire's members, who warrant that they are solely responsible for the content, accuracy and originality of the information contained therein. All reproduction, other than for an individual user's personal reference, is prohibited without prior written permission.