IAR adds new features to visualSTATE for state machine design and verification - Embedded.com

IAR adds new features to visualSTATE for state machine design and verification

A new version of IAR's state machine tool suite visualSTATE simplifies development of complex state- or event-driven embedded systems. visualSTATE allows users to build their design from a high level, structure complex applications, step by step 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.

In the new version, Submachine states are reusable state machine fragments, similar to a subroutine or function in a programming language. Common patterns can be created once and reused across a design or between designs, and the events and actions can be remapped to suit the point of use. Design stereotypes are named templates that specify the visual appearance of states. These new features greatly speed up the design of complex systems.

Click on image to enlarge.

Several new possibilities for integrations are added. An open StateChartModel API provides everything needed for users to build their own tools that can manipulate models in IAR visualSTATE. This includes tools that check adherence to naming conventions and specialized code generators. It is now also possible for external clients to remotely control the state machine simulator and designer through TCP/IP. This interface provides an automated integration with Fujitsu CGI Studio, which is a software development platform for creating 2D and 3D graphical user interfaces.

IAR visualSTATE is completely integrated with the powerful C/C++ compiler and debugger tool suite 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.

More information

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.