visualSTATE is a set of tools for designing, testing and implementing embedded applications based on state machines.
The Navigator is used for the overall handling of your embedded development project. From here, you can launch the other modules of visualSTATE and you can specify settings for the Verificator and the Coder. The Navigator contains a tree browser where you can see the file structure of your workspace. A workspace is a file that contains one or more projects with systems and state chart files.
The Designer is a state-of-the-art tool for designing state machines. The tree browser allows you to overview and navigate through your embedded project. All elements of the system are visible and accessible through the browser, and a double-click on the desired element brings up the appropriate configuration dialog box on the screen.
To find out whether your state machine design behaves as intended, you use the Validator. You test and validate your application by sending events into the design model, and in the different windows you can see the results of the events. The validator can also use the Designer to animate the applications response directly on your state machine diagram.
The visualSTATE Verificator utilizes formal verification methods and combines them with a highly efficient abstract internal representation of the system; thus drastically reducing the time and memory consumption normally associated with formal verification techniques. By using the Verificator, you can discover design mistakes early.
The prototyping concept of visualSTATE makes your communication with marketing and customers much easier. It will help you increase the awareness and knowledge of your product before it is launched. Your sales force and technical support staff will already be well acquainted with the product and able to introduce the product on the market rapidly.
Try out the powerful integrated state machine design, implementation and test environment and evaluate the productivity gain and ease of use.
(Version 7.5,
115.84 MB)
The evaluation edition is a fully functional edition of IAR visualSTATE including the Designer, Validator, Verificator, Code generator, documentation generator and project manager. A complete set of user guides is included in PDF format.
The evaluation edition corresponds to the latest release of the full edition of IAR visualSTATE, with the following exceptions:
or
The evaluation edition is intended for prospective customers to test and evaluate visualSTATE, and must not be used for product development or any other kind of commercial use.
visualSTATE is a set of tools for designing, testing and implementing embedded applications based on state machines. It allows you to build your design from a high level, structure complex applications, and then step by step add functionality at a more detailed level. visualSTATE is integrated with IAR Embedded Workbench but is also powerful on its own and can be used stand-alone.
With IAR visualSTATE, Schneider Electric gets consistent semantics applied to all state machines with code generated automatically. This makes a big difference to the company since it significantly saves development time.
As a contract developer of medical devices, Sunrise Labs must clearly communicate a detailed design with its clients, device users, developers, and risk management teams. IAR visualSTATE provides an excellent mechanism to communicate designs, and the confidence that once this design is understood and approved, it is implemented with perfect fidelity. The new statechart Viewer application in IAR visualSTATE makes this process especially convenient.
