Key features:
- 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
System requirements:
- A PC with Microsoft Windows 2000(SP4), XP(SP2) or Vista
- Internet Explorer 6 or higher
- A Pentium processor with at least 256 Mbytes of RAM and 200 Mbytes of free disk space
Microsoft HTML Help 1.4
- Adobe Reader
State charts and state machines
Formal verification
Code size considerations
Frequently Asked Questions