IAR VisualSTATE

IAR Visual State 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. IAR Visual State is a powerful tool that can be used stand-alone. Using the tool together with IAR Embedded Workbench brings out several unique features, such as true state machine debugging.

Graphical state machine design based on the Unified Modeling Language (UML) state machine subset Automatic code generation providing very compact C/C++ code, 100% compliant with the design 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.