IAR visualSTATE

Features

IAR visualSTATE is a set of highly sophisticated and easy-to-use development tools for designing, testing and implementing embedded applications based on state machines.

It provides advanced verification and validation utilities and generates very compact C/C++ code that is 100% consistent with your system design. In addition, the new and revolutionizing integration with IAR Embedded Workbench, a fully integrated C/C++ compiler and debugger toolset, enables true state machine debugging on hardware—get direct graphical feedback on various levels of detail.

Key features

• Completely integrated development environment including a graphical designer, test tools, a code generator, and a documentation facility.
• Graphical state machine design based on the Unified Modeling Language (UML) state machine subset
• Formal verification of the design model to find unwanted properties in the design, like dead-ends or unreachable states etc
• Test and validation tools to ensure at an early stage of design that the application behaves as expected, even before the hardware exists
• Automatic code generation providing very compact C/C++ code, 100% compliant with the design
• Automatic documentation generation with comprehensive information
• Tightly integrated with IAR Embedded Workbench, ready-made project examples for various microcontrollers and evaluation boards

Support

IAR visualSTATE include a one-year Support and Update Agreement (SUA). The agreement includes free updates and prioritized technical support.

After the included period, additional SUA can be purchased on a one-year basis.

Editions

The IAR visualSTATE is also available in an Evaluation edition which can be downloaded from IAR's website.

For schools, universities or if you would like to buy several licenses, please contact Order@EmbeddedArtists.com for price information.