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

La version 7.1 d’IAR visualSTATE gagne un grand nombre de fonctionnalités destinées à la vérification formelle et à la conception reposant sur des machines d’état

RTS, Paris, France - le 11 avril 2013 - Aujourd’hui, IAR Systems® lance une nouvelle version de sa suite d’outils basée sur des machines d’état IAR visualSTATE®. Cette version est dotée de plusieurs nouvelles fonctionnalités et moyens d’intégration pour simplifier le développement des systèmes embarqués complexes orientés évènement ou état. IAR visualSTATE permet aux utilisateurs de construire leur projet en partant du plus haut niveau, de structurer les applications complexes, d’ajouter les fonctions en détail, étape par étape, puis de générer automatiquement du code en cohérence parfaite avec la cible. Cet outil assure également la vérification formelle, l’analyse et la validation avancées qui s’avèrent utiles pour garantir que les applications fonctionnent comme prévu. 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. Pour en savoir plus sur IAR visualSTATE et télécharger des licences d’évaluation gratuites, veuillez consulter le site www.iar.com/vs.

A propos d'IAR Systems IAR Systems est le principal éditeur d’outils logiciels dédiés au développement d’applications pour systèmes embarqués dans le monde. Ses outils permettent à plus de 14 000 entreprises de toutes tailles de développer des produits haut de gamme architecturés autour de microcontrôleurs 8, 16 et 32 bits, principalement dans les secteurs de l’automatisation industrielle, du médical, de l’électronique grand public, des télécommunications et de l’automobile. IAR Systems dispose d’un réseau étoffé de partenaires et coopère avec les plus grands fournisseurs mondiaux de semiconducteurs. IAR Systems Group AB est coté à la bourse de Stockholm (NASDAQ OMX). Pour plus d’informations sur IAR Systems, rendez-vous sur www.iar.com. Note à l’intention des journalistes: IAR Systems, IAR Embedded Workbench, C-SPY, visualSTATE, The Code to Success, IAR KickStart Kit, I-jet, IAR et le logo d’IAR Systems sont des marques ou des marques déposées d’IAR Systems AB. Tous les autres produits et marques sont la propriété de leurs détenteurs respectifs.