0
IAR VisualSTATE
IAR Visual State es un conjunto de herramientas para diseñar, probar e implementar aplicaciones integradas basadas en máquinas de estado.Le permite construir su diseño a partir de un alto nivel, estructurar aplicaciones complejas y luego agregar funcionalidades paso a paso a un nivel más detallado.IAR Visual State es una herramienta poderosa que se puede usar de forma independiente.El uso de la herramienta junto con IAR Embedded Workbench presenta varias características únicas, como la depuración de máquina de estado real.Diseño de máquina de estado gráfico basado en el subconjunto de máquina de estado del Lenguaje de modelado unificado (UML) Generación automática de código que proporciona un código C / C ++ muy compacto, 100% compatible con el diseño Verificación formal del modelo de diseño para encontrar propiedades no deseadas en el diseño, como dead-extremos o estados inalcanzables, etc. Herramientas de prueba y validación para garantizar en una etapa temprana del diseño que la aplicación se comporte como se esperaba, incluso antes de que exista el hardware.