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.
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.
A Pentium-compatible PC with 32-bit or 64-bit Microsoft Windows Vista (SP2), 7, or 8 Internet Explorer 7 or higher
At least 1 Gbyte of RAM, and 2 Gbytes of free disk space
Adobe Acrobat Reader to access the product documentation
Microsoft HTML Help 1.4
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.
