El kit de herramientas de código abierto YAKINDU Statechart Tools (SCT) de uso gratuito proporciona un entorno de modelado integrado para la especificación y desarrollo de sistemas reactivos basados ​​en el concepto de gráficos de estado.Las herramientas de edición de gráficos de estado de Yakindu (SCT) presentan una combinación intuitiva de notación gráfica y textual.Si bien los estados, las transiciones y las jerarquías de estado son elementos gráficos, todas las declaraciones y acciones se especifican mediante una notación textual.La usabilidad del editor de gráficos de estado está optimizada para trabajar con estos gráficos de estado.Validación La validación de los gráficos de estado incluye sintaxis y controles semánticos del gráfico de estado completo.Ejemplos de validaciones son la detección de estados inalcanzables, callejones sin salida y referencias a eventos desconocidos.Estas restricciones de validación se verifican en vivo durante la edición.Simulación Además de la validación estructural, es crucial verificar la semántica dinámica.No es posible determinar la exactitud de un gráfico de estado simplemente mediante un examen visual.Por lo tanto, el usuario debe poder ejecutar los gráficos de estado en los que está trabajando.El motor de simulación de diagrama de estado integrado aborda estas necesidades.El usuario puede ejecutar gráficos de estado directamente dentro del entorno de modelado.Los estados activos se resaltan directamente en el editor de gráficos de estado y una perspectiva de simulación dedicada presenta acceso a controles de ejecución (inicio, detención, pausa, reanudar), inspección y configuración de variables, así como eventos de elevación.Generación de código Yakindu Statechart Tools (SCT) incluye generadores de código para Java, C y C ++.Los generadores de código siguen un enfoque de 'solo código' y no dependen de ninguna biblioteca de tiempo de ejecución adicional.El código generado proporciona una interfaz bien definida y puede integrarse fácilmente con cualquier código de cliente.El código generado también es legible y estructurado de tal manera que permite una gran eficiencia.