logo
  Join        Login             Stock Quote

IAR Systems Boosts Capabilities for Designing and Verifying Embedded Applications Based on State Machines

Wednesday, March 27, 2013 10:17 AM


Version 7.1 of IAR visualSTATE adds an extensive amount of features for state machine-based design and formal verification.

Today, IAR Systems® (STO:IARB) 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.

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

This information was brought to you by Cision http://news.cision.com

(Source: Business Wire )
(Source: Quotemedia)

Advertisement
Advertisement



Fundamental data is provided by Zacks Investment Research, and Commentary, news and Press Releases provided by YellowBrix and Quotemedia.
All information provided "as is" for informational purposes only, not intended for trading purposes or advice. iStockAnalyst.com is not an investment adviser and does not provide, endorse or review any information or data contained herein.
The blog articles are opinions by respective blogger. By using this site you are agreeing to terms and conditions posted on respective bloggers' website.
The postings/comments on the site may or may not be from reliable sources. Neither iStockAnalyst nor any of its independent providers is liable for any informational errors, incompleteness, or delays, or for any actions taken in reliance on information contained herein. You are solely responsible for the investment decisions made by you and the consequences resulting therefrom. By accessing the iStockAnalyst.com site, you agree not to redistribute the information found therein.
The sector scan is based on 15-30 minutes delayed data. The Pattern scan is based on EOD data.