La boîte à outils open source gratuite YAKINDU Statechart Tools (SCT) fournit un environnement de modélisation intégré pour la spécification et le développement de systèmes réactifs, pilotés par les événements, basés sur le concept des diagrammes d'états.Les outils d'édition de Yakindu Statechart Tools (SCT) proposent une combinaison intuitive de notation graphique et textuelle.Alors que les états, les transitions et les hiérarchies d'états sont des éléments graphiques, toutes les déclarations et actions sont spécifiées à l'aide d'une notation textuelle.La convivialité de l'éditeur de diagramme d'états est optimisée pour travailler avec ces diagrammes d'états.Validation La validation des diagrammes d'états comprend des vérifications syntaxiques et sémantiques du diagramme d'état complet.Des exemples de validations sont la détection des états inaccessibles, des impasses et des références à des événements inconnus.Ces contraintes de validation sont vérifiées en direct lors de l'édition.Simulation En plus de la validation structurelle, la vérification de la sémantique dynamique est cruciale.Il n'est pas possible de déterminer l'exactitude d'un graphique d'état uniquement par examen visuel.Ainsi, l'utilisateur doit pouvoir exécuter les diagrammes d'états sur lesquels il travaille.Le moteur de simulation graphique intégré répond à ces besoins.L'utilisateur peut exécuter des diagrammes d'états directement dans l'environnement de modélisation.Les états actifs sont directement mis en surbrillance dans l'éditeur de statechart et une perspective de simulation dédiée permet d'accéder aux contrôles d'exécution (démarrage, arrêt, pause, reprise), aux variables d'inspection et de réglage, ainsi qu'aux événements déclencheurs.Génération de code Yakindu Statechart Tools (SCT) comprend des générateurs de code pour Java, C et C ++.Les générateurs de code suivent une approche «code uniquement» et ne dépendent d'aucune bibliothèque d'exécution supplémentaire.Le code généré fournit une interface bien définie et peut être intégré facilement avec n'importe quel code client.Le code généré est également lisible et structuré de manière à permettre des performances très