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
###
⇑