IAR visualSTATE® is a set of highly sophisticated and easy-to-use development tools for designing, testing and implementing embedded applications based on state machines. It provides advanced verification and validation utilities and generates very compact C/C++ code that is 100% consistent with your system design.
Benefits of model-driven design
IAR visualSTATE is the perfect tool for managing rising complexity in reactive, state based applications or parts of applications. All problems that are best described as state machines can be designed in visualSTATE, no matter the level of complexity. The test and verification tools guarantee the quality.