IAR Systems® ha anunciado una nueva versión de su conjunto de herramientas de máquinas de estado, IAR VisualSTATE®. Esta versión agrega varias funciones e integraciones nuevas para simplificar el desarrollo de sistemas integrados complejos basados en estados o eventos. IAR VisualSTATE permite a los usuarios crear diseños desde un alto nivel, estructurar aplicaciones complejas, agregar funciones detalladas de forma incremental y generar automáticamente código que coincida con el diseño al 100 %. También proporciona verificación, análisis y validación formales avanzados que se pueden usar para garantizar que su aplicación se comporte según lo previsto.IAR Systems® ha anunciado una nueva versión de su conjunto de herramientas de máquinas de estado, IAR VisualSTATE®. Esta versión agrega varias funciones e integraciones nuevas para simplificar el desarrollo de sistemas integrados complejos basados en estados o eventos. IAR VisualSTATE permite a los usuarios crear diseños desde un alto nivel, estructurar aplicaciones complejas, agregar funciones detalladas de forma incremental y generar automáticamente código que coincida con el diseño al 100 %. También proporciona verificación, análisis y validación formales avanzados que se pueden usar para garantizar que su aplicación se comporte según lo previsto.
Se introducen estados de submáquina y estereotipos de diseño para simplificar el proceso de diseño. Un estado de submáquina es un fragmento reutilizable de una máquina de estado, similar a las subrutinas y funciones en los lenguajes de programación. Una vez que se crean patrones comunes, se pueden reutilizar en o entre diseños, reasignando eventos y acciones para que coincidan con sus puntos de uso. Un estereotipo de diseño es una plantilla con nombre que especifica la apariencia visual de un estado. Estas nuevas características aceleran enormemente el diseño de sistemas complejos.
Se han añadido algunas nuevas posibilidades de integración. La API abierta de StateChartModel proporciona todo lo que los usuarios necesitan para crear sus propias herramientas que les permitan interactuar con modelos en IAR VisualSTATE. Esto incluye, por ejemplo, herramientas que verifican el cumplimiento de las convenciones de nomenclatura y generadores de códigos especiales. Los clientes externos ahora también pueden controlar de forma remota State Machine Simulator and Designer a través de TCP/IP. Esta interfaz proporciona integración automática con Fujitsu CGI Studio, una plataforma de desarrollo de software para crear interfaces gráficas de usuario en 2D y 3D.
Además de crear modelos de máquinas de estado y aplicaciones integradas, IAR VisualSTATE le permite explorarlos a través de una verificación formal para garantizar que no contengan inconsistencias de diseño o lagunas lógicas. El motor de verificación formal se ha mejorado con varias características nuevas, incluida la verificación de configuración. La validación de la configuración puede mejorar significativamente el rendimiento de la validación para ciertos modelos. También proporciona información detallada sobre dónde se oculta la complejidad de la verificación, lo que permite a los usuarios identificar problemas de complejidad en sus diseños.
IAR VisualSTATE está totalmente integrado con el potente conjunto de herramientas de depuración y compilación de C/C++ IAR Embedded Workbench®. Juntas, estas herramientas permiten la depuración de máquinas de estado completo en hardware. IAR Systems también proporciona un visor independiente para los usuarios de IAR VisualSTATE. El visor se puede utilizar para ver archivos de modelos, pero no para editarlos. También se puede copiar libremente para compartir y discutir diseños con partes interesadas fuera del equipo de desarrollo.
Obtenga más información sobre IAR VisualSTATE y descargue una licencia de evaluación gratuita desde www.iar.com/vs.