Offering code generation, simulation and test, and formal verification, IAR Systems’ IAR visualSTATE 6.20 design tool is suitable for designing, testing and implementing embedded applications based on state chart diagrams in the medical and industrial control sectors. The program provides verification and validation utilities, generates C/C++ code that is 100% consistent with the system design, and integrates with the IAR Embedded Workbench for true state machine debugging on hardware with direct graphical feedback at various levels of detail. The MISRA C:2004-compliant tool includes a set of optimizations that is said to reduce runtime and memory requirements for the system designs. The product can exclude specified design regions from code generation and then confirm during code generation, verification and validation whether the marked regions should be excluded or included. The tool can uncover dead end situations, unreachable parts of the design, and inputs that are unused.
IAR Systems
+46 18 16 78 00, www.iar.com