IAR Systems renforce les possibilités pour la conception et la vérification des applications embarquées reposant sur des machines d’état

Pour simplifier le processus de conception, des états Submachine et des stéréotypes Design sont introduits. Les états Submachine sont des parties réutilisables de machines d’état ; autrement dit, ce sont des éléments similaires à une sous-routine ou une fonction en langage de programmation. Des modèles communs peuvent être créés une fois pour toute puis réutilisés, soit dans la même conception, soit dans d’autres projets. Dans ce cas, la planification des évènements et des actions est revue pour convenir à la nouvelle cible. Les stéréotypes Design reçoivent des noms typiques permettant de visualiser les états qu’ils recouvrent. Ces nouvelles caractéristiques accélèrent grandement la conception des systèmes complexes.



Plusieurs nouvelles possibilités d’intégrations font partie de cette version 7.1. Une API ouverte StateChartModel fournit aux utilisateurs tout ce qui est nécessaire pour construire leurs propres outils afin de pouvoir manipuler les modèles dans IAR visualSTATE. Citons par exemple : des outils qui vérifient le respect des conventions d’attribution des noms et des générateurs de code spécialisé. Autre possibilité : des clients externes peuvent maintenant contrôler à distance les outils de conception et de simulation à base de machine d’état via TCP/IP. Cette interface fournit une intégration automatisée avec Fujitsu CGI Studio, qui est une plate-forme de développement logiciel pour la création des interfaces utilisateurs graphiques en 2D et en 3D.



En plus de créer des modèles de machine d’état et des applications embarquées, IAR visualSTATE permet aux utilisateurs de les explorer sous l’aspect vérification formelle pour s’assurer qu’ils ne contiennent pas des incohérences de conception ou des erreurs de logique. Le moteur de vérification formelle a été agrémenté de nombreuses nouvelles fonctionnalités, comme la vérification compositionnelle. Cette dernière peut énormément accroître les performances de vérification pour certains modèles. Elle fournit également une information détaillée sur les points où la vérification pourrait être complexe ; ce qui avertit l’utilisateur sur les problèmes de complexité liés à un projet.



IAR visualSTATE est totalement intégré dans l’environnement de développement IAR Embedded Workbench® comprenant un puissant compilateur C/C++ et un outil de débogage. En utilisant l’ensemble de ces outils, le débogage complet de machine d’état sur matériel est disponible. IAR Systems fournit également un Viewer indépendant pour les utilisateurs d’IAR visualSTATE. Ce Viewer peut être utilisé pour visualiser, mais non pour éditer, les fichiers de modèles. Il peut être copié gratuitement pour discuter et partager les conceptions avec des personnes concernées extérieures à l’équipe de développement.