visualSTATE® suite of graphical tools for state machine design, test, verification and documentation. Automatic generation of C/C++ code directly from state charts for any 8-, 16- or 32-bit microcontroller and even Microsoft® Windows® applications.
State machine design, test and implementation tools
• Completely integrated development environment including a graphical designer, test tools, a code generator, and a documentation facility
• Graphical state machine design based on the Unified Modeling Language (UML) state machine subset
• Formal verification of the design model to find unwanted properties in the design, like dead-ends or unreachable states etc.
• Test and validation tools to ensure at an early stage of design that the application behaves as expected, even before the hardware exists
• Automatic code generation providing very compact C/C++ code, 100% compliant with the design
• Automatic documentation generation with comprehensive information
• Tightly integrated with IAR Embedded Workbench, ready-made project examples for various microcontrollers and evaluation boards
Key features:
VisualState
Click to enlarge
Click to enlarge