Version 7.2 of IAR Systems' state machine tool suite IAR visualSTATE includes several new features for further simplifying large design projects for embedded applications based on state machines, as well as updated user guides and a new license management system.
IAR visualSTATE allows developers to structure complex applications, add functions in detail, and automatically generate code that is 100 percent consistent with the design. It also provides advanced formal verification, analysis, and validation that can be used to make sure the applications behave as intended. To strengthen ease of use and simplify the design and test process for very large projects, the state machine simulator in IAR visualSTATE has been updated to allow action function return values to be specified as a sequence of values to be returned on each invocation of the function. Further, simulation can now be driven by event sequence files created offline in an easy-to-use syntax. Other new functionality includes a search field which makes the specification of events, states, and actions easier in designs with a huge number of design elements.
IAR visualSTATE is completely integrated with the powerful C/C++ compiler and debugger toolchain IAR Embedded Workbench. When using the tools together, full state machine debugging on hardware is available. IAR Systems also provides a free-standing Viewer for IAR visualSTATE users. The Viewer can be used to view but not edit model files and can be copied freely for sharing and discussing designs with stake holders outside the development team.