IAR Systems boosts capabilities for designing and verifying embedded applications based on state machines
Version 7.1 of IAR visualSTATE adds an extensive amount of features for state machine-based design and formal verification
Uppsala, Sweden—March 27, 2013—Today, IAR Systems® launches a new version of its state machine tool suite IAR visualSTATE®. The version adds several new features and integrations to simplify development of complex state- or event-driven embedded systems. IAR 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.
To simplify the design process, Submachine states and Design stereotypes are introduced. 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.
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 for example 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.
In addition to creating state machine models and embedded applications, IAR visualSTATE lets users explore them through formal verification to make sure they do not contain design inconsistencies or logical gaps. The formal verification engine has been extended with several new features, including compositional verification. The compositional verification can dramatically increase the verification performance for certain models. It also provides detailed information on where verification complexity might be hiding, which gives the user the ability to pinpoint complexity issues in a design.
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.
Read more about IAR visualSTATE and download free evaluation licenses from www.iar.com/vs.
IAR Systems Contacts
Stefan Skarin, CEO IAR Systems Group AB
Tel: 46 70 865 10 05 E-mail: email@example.com
Fredrik Medin, Marketing Director, IAR Systems
Tel: 46 18 16 78 00 E-mail: firstname.lastname@example.org
About IAR Systems
IAR Systems is the world’s leading supplier of software tools for developing embedded systems applications. The software enables over 14,000 large and small companies to develop premium products based on 8-, 16-, and 32-bit microcontrollers, mainly in the areas of industrial automation, medical devices, consumer electronics, telecommunication and automotive products. IAR Systems has an extensive network of partners and cooperates with the world’s leading semiconductor vendors. IAR Systems Group AB is listed on NASDAQ OMX Stockholm. For more information, please visit www.iar.com