La solution intégrale pour la traçabilité des développements de systèmes critiques

Esterel Technologies et TNI-Software s‘associent et renforcent les fonctionnalités de gestion des exigences de SCADE Suite, le produit phare d’Esterel Technologies. La nouvelle version de SCADE Suite assure la traçabilité complète du développement d’applications critiques.

Paris, France et Mountain View, Californie USA — 7 Juin 2006

Esterel Technologies, premier fournisseur de systèmes de développement model-based dédiés aux logiciels embarqués critiques, a annoncé aujourd’hui la mise sur le marché d’un nouveau module de gestion des exigences. La SCADE Requirements Management Gateway est basée sur Reqtify (TNI-Software), une technologie éprouvée et déjà largement déployée.

Le standard DO-178B qui régit de manière stricte le processus de développement de logiciels embarqués pour l’avionique civile se focalise en premier lieu sur la gestion rigoureuse et la traçabilité des exigences fonctionnelles. Il en résulte qu’à chaque étape de leur projet, les ingénieurs software doivent être capables de démontrer les liens de traçabilité entre leur design et les exigences dont il découle. Ils doivent par exemple répondre aux questions suivantes : est-ce que les éléments de ma spécification fonctionnelle de haut niveau sont tous liés correctement aux exigences du cahier des charges du système ? Est-ce que les éléments de ma spécification logicielle détaillée sont tous liés correctement à la spécification fonctionnelle de haut niveau ? etc. Plus globalement, la traçabilité est un besoin requis par les standards les plus exigeants de l’industrie : DO-178B, IEC 61508, EN 50128.

Un outil de gestion des exigences est nécessaire pour répondre de manière sûre et cohérente à cette problématique, pour établir aisément les liens, pour s’occuper des tâches répétitives, et en fin de compte, pour permettre à l’équipe de contrôler son développement à chaque instant.

La SCADE RM Gateway donne aux concepteurs de logiciels les moyens de saisir les exigences de haut niveau et de les lier à leur conception logicielle pendant le développement. Les fonctions principales sont :

Analyse de couverture automatique ;
Marquage automatique des modifications ;
Analyse d’impact et contrôle de non-régression ;
Vérification des règles de cohérence : objet non couvert, non défini, couvert plusieurs fois, etc ;
Génération automatique de rapports de traçabilité, d’analyse de couverture, d’analyse d’impact, etc ;
Navigation bi-directionnelle entre la conception logicielle et les exigences fonctionnelles correspondantes.

Grâce à la technologie robuste et adaptable proposée par TNI-Software, nous avons pu compléter notre gamme déjà importante de passerelles avec une passerelle simple et ergonomique connectant SCADE aux outils de RM, a déclaré Eric Bantegnie, Président Directeur Général d’Esterel Technologies. Notre concept d’Usine Logicielle Certifiée va fortement bénéficier de ce nouveau module. La SCADE RM Gateway facilite l’intégration de SCADE dans les processus et les ateliers logiciels de nos clients, et améliore encore sa connectivité avec une gamme très étendue d’éditeurs de texte, d’outils de RM, d’outils de gestion des tests et d’outils de modélisation .

L’utilisation combinée de la SCADE RM Gateway et du module SCADE Model Test Coverage assure que les exigences fonctionnelles, le modèle, le plan de tests et les scripts de tests sont synchronisés à chaque instant. Ces modules produisent automatiquement des rapports qualifiés qui facilitent le programme de certification. De manière générale, cette capacité de traçabilité permet de satisfaire à l’approche CMMI d’amélioration des processus logiciels (Capability Maturity Model® Integration).

La traçabilité des exigences est un besoin qui a pris son essor dans l’industrie aérospatiale. C’est un élément esssentiel de la certification. L’Usine Logicielle Certifiée SCADE est maintenant un standard dans la plupart des entreprises majeures de l’aérospatial et du transport. En tant que fournisseur de technologie d’automatisation de la traçabilité, qui se déploie très rapidement dans de multiples domaines industriels, nous sommes fiers d’avoir été sélectionné par Esterel pour la SCADE RM Gateway . L’interconnexion des outils de développement logiciel améliore significativement la gestion des gros projets et permet de produire plus rapidement des résultats plus cohérents affirme Marc Frouin, Président Directeur Général de TNI. Nous attendons beaucoup de ce partenariat en termes de satisfaction des utilisateurs, à la fois pour TNI-Software et pour Esterel Technologies .

Date de disponibilité

La SCADE RM Gateway sera disponible en tant que module de SCADE 5.1 en Septembre 2006.

A propos de TNI-Software

TNI-Software développe et distribue des solutions destinées au développement et à la validation d'applications embarquées dans les domaines de l'Aéronautique, Espace, Défense, Automobile, Transports et Industrie :

Reqtify: Solution pour la gestion des exigences, la traçabilité et les analyses d'impact.
Safety Test Builder: Solution intégrée à l'environnement Simulink pour la génération automatique de scénarios de tests à partir de modèles Simulink / Stateflow
Safety Checker Blockset: Bibliothèque entièrement intégrée à l'environnement Simulink pour la vérification formelle des propriétés fonctionnelles sur des modèles Simulink / Stateflow
RT-Builder: Solution permettant la Modélisation, la Simulation et l'exploration d'architectures temps réel distribuées.
ControlBuild: Solution de développement innovante sur le marché des logiciels d'automatisme proposant une démarche globale et homogène pour le développement des applications, depuis la validation des spécifications jusqu'à l'exploitation du système.

TNI-Software est membre de type Premium dans le consortium AUTOSAR et a été récompensé avec un trophée Innovation 2005 de Siemens VDO. TNI-Software a des bureaux en Europe et en Chine avec des représentants aux USA, au Japon et en Australie. Pour plus d'information, visitez www.tni-software.com

A propos d’Esterel Technologies

Esterel Technologies est le leader mondial des outils de modélisation et de vérification des systèmes embarqués critiques.

SCADE Suite™ est le premier environnement de modélisation du marché dédié au développement de logiciels critiques embarqués :

Génération automatique de code qualifiée DO-178B jusqu’au niveau A pour l’industrie aérospatiale [www.esterel-technologies.com/products/scade-suite/do-178b-code-generation.html]
Certifiée IEC 61508 pour tous les niveaux SIL pour le transport ferroviaire, les équipements industriels et la production d’énergie.

SCADE Drive™ est ciblé sur la modélisation d’applications automobiles embarquées critiques :

Génération automatique de code certifiée IEC 61508 pour tous les niveaux SIL.
Conforme au standard MISRA C.

Esterel Studio™ est l’outil front-end de design et de vérification, leader du marché pour les IP de contrôle hardware.

Esterel Technologies est une société de droit privé basé à Elancourt France et à Mountain View, Californie, USA.Esterel Technologies est également basée en Allemagne, au Royaume-Uni et en Chine. Pour obtenir des informations complémentaires n’hésitez pas à vous connecter au site web : www.esterel-technologies.com.

Contacts Presse:

Pour Esterel Technologies:

Gundel Hahn, Gundel Hahn Medienservice

Téléphone: +49 (0) 89 123 922 04

Courriel: Gundel.Hahn@esterel-technologies.com

Pour TNI-Software:

Amélie Quérébel, TNI-Software

Phone: + 33 (0)1 53 38 46 00

Courriel: amelie.querebel@tni-software.com

###

⇑