Esterel Technologies annonce sa toute nouvelle version SCADE 5.1 et dévoile deux partenariats stratégiques
L’intégration de SCADE 5.1 avec Rhapsody de I-Logix, ainsi qu’avec
l’OS temps réel INTEGRITY et les compilateurs de Green Hills Software,
donne naissance à la première Usine Logicielle Certifiée
disponible sur le marché pour la conception de logiciels critiques
Embedded World Nuremberg — le 14 février 2006
Esterel Technologies, l’un des principaux fournisseurs mondiaux d’outils de conception, de validation et de génération de code pour applications critiques embarquées, a annoncé sa toute nouvelle version SCADE 5.1 lors de sa participation à Embedded World 2006, à Nuremberg (Allemagne). SCADE permet d’automatiser la production de logiciels embarqués à partir de leur description formelle sous forme de modèle.
La nouvelle version, SCADE 5.1, comprend un nouveau module, MTC, qui permet de mesurer la couverture d’un modèle SCADE au moyen d’un ensemble de jeux de tests basés sur les exigences de haut niveau. Ce module permet de valider le comportement d’un modèle SCADE en simulation, permettant en particulier de détecter des fonctions non intentionnelles.
La méthodologie d’emploi de MTC a été mise au point en coopération avec plusieurs acteurs industriels majeurs tels qu’Airbus et Eurocopter. MTC sera qualifié en tant qu’outil de vérification pour le standard DO-178B.
MTC fait partie intégrante du Combined Testing Process
de SCADE™, méthodologie établissant un processus de vérification sans ruptures depuis les exigences système de haut niveau jusqu'à l’implémentation et l’exécution du code objet sur la cible matérielle.
Le Combined Testing Process comporte en particulier un module de vérification des compilateurs : le 编译器验证工具CVK. CVK est composé de modèles SCADE et des vecteurs de tests permettant l’exécution, pour une chaîne de compilation et un microprocesseur donnés, de toutes les structures de code générées par SCADE. Ce produit permet la vérification rapide d’une telle chaîne, en prouvant que le code généré par SCADE s’exécutera toujours correctement sur cette chaîne. CVK ne nécessite d’être exécuté qu’une seule fois pour une chaîne de compilationet un micro-processeur cible donné.
SCADE 5.1 comporte aussi plusieurs améliorations significatives pour gérer de façon sûre les projets multi-utilisateurs. La nouvelle fonctionnalité Model Diff de l’éditeur SCADE permet à une équipe projet d’identifier les différences sémantiques entre deux versions d’un modèle, puis de les localiser précisément, y compris dans les vues graphiques du modèle.
La technologie du Design Verifier SCADE permet aux concepteurs de logiciels de détecter des bugs, et de le faire à la fois précisément et tôt dans le cycle de développement. Comme la division par zéro
est l’un des bugs les plus courants dans les logiciels temps réel embarqués, la nouvelle version du Design Verifier 5.1 contient une fonction prête à l’emploi qui liste les endroits dans le modèle où des divisions par zéro peuvent se produire.
Son utilisation en est très simple : il est possible d’appeler la fonction Check Division-by-Zero à tout moment pendant la conception d’un modèle SCADE. Un contre-exemple est fourni en quelques secondes, ce qui permet d’ajuster le modèle en ajoutant des protections précises uniquement sur les variables à risque. Après quelques itérations de cette opération, tous les risques de division sont traités une fois pour toutes… jusqu'à la cible.
En plus de ces extensions notables, SCADE 5.1 s’ouvre de nouvelles perspectives grâce à la mise en place de deux partenariats stratégiques.
L’annonce de la SCADE Gateway to I-LOGIX Rhapsody ainsi que la connexion de SCADE avec le système d’exploitation temps réel INTEGRITY et les compilateurs de Green Hills créent la première Usine Logicielle Certifiée
.
La nouvelle version SCADE 5.1 inclura ainsi une passerelle entre SCADE et UML : SCADE Gateway to Rhapsody permettra de combiner les forces respectives d’UML et de SCADE pour le développement de systèmes critiques. En utilisant UML pour spécifier les exigences de haut niveau et l’architecture du système, puis SCADE pour spécifier formellement le comportement du logiciel, on établit un processus cohérent et efficace allant de la phase initiale d’analyse des exigences jusqu'à l’intégration sur la plate-forme cible. Ce processus est basé sur la connexion d’outils UML, en particulier Rhapsody, avec l’environnement SCADE. Il tire le meilleur parti des standards industriels tels que UML2, XMI et DO-178B afin de fournir une solution parfaitement adaptée aux besoins spécifiques du développement des logiciels critiques.
Disponibilité
La nouvelle version SCADE 5.1 sera disponible à la fin du mois de mars 2006.
A propos d’Esterel Technologies
Les outils d’Esterel Technologies permettent de créer des spécifications non ambiguës dont l’implémentation logicielle et/ou matérielle est automatique et correcte par construction.
SCADE Suite™ est aujourd’hui le standard pour le développement de logiciels embarqués critiques RTCA DO-178B, EUROCAE ED-12B et IEC 61508 dans les industries de l’aviation civile et des transports SCADE Drive™ assurant le même rôle dans l’industrie automobile. Quant à Esterel Studio™, il permet aux concepteurs de matériel électronique de créer des modèles de spécifications, qui peuvent être implémentés automatiquement en RTL ou C.
Esterel Technologies est une société privée basée à Mountain View, Californie, USA, et à Elancourt, France, avec des agences commerciales en Allemagne, au Royaume Uni et en Chine. Pour des informations complémentaires, venez visiter le site d’Esterel Technologies sur le web : http://www.esterel-technologies.com.
Contact presse:
Gundel Hahn, Gundel Hahn Medienservice
Téléphone#: +49 (0) 89 123 922 04
Email: Gundel.Hahn@esterel-technologies.com
###
⇑