I-Logix et Esterel Technologies s’associent et offrent une solution innovante pour le développement de systèmes critiques embarquées

Un environnement intégré de développement système & logiciel qui conjugue SCADE avec Rhapsody, basé sur UML/SysML et SCADE, et raccourcit significativement les processus de certification

Embedded World Nürnberg — le 14 février 2006

I-Logix, premier fournisseur de solutions de développement orientées modèle (Model-Driven Development - MDD) pour la conception de systèmes et de logiciels, et Esterel Technologies, premier fournisseur de solutions orientées modèle pour le développement de logiciels critiques, ont annoncé aujourd’hui leur partenariat. Il donne naissance à un environnement intégré unique pour le développement de logiciels embarqués critiques certifiés DO-178B ou IEC 61508, qui se caractérise par un processus de travail intégré entre Rhapsody, de I-Logix, et les produits SCADE d’Esterel Technologies.

Rhapsody, l’environnement de type MDD en plus forte croissance, est basé sur le standard UML 2.0 (Unified Modeling Language) et sur la dernière version de SysML (Systems Modeling Language), standard de spécification, documentation et validation système.

SCADE est un environnement complet de type MDD, permettant la modélisation et la simulation de spécifications formelles ainsi que la génération automatique du code embarqué critique. SCADE est la seule solution offrant une génération de code C qualifiée jusqu’au niveau A de DO-178B, ainsi que la génération de code C certifiée IEC 61508 pour tous les niveaux de SIL.

L’intégration de Rhapsody et de SCADE donne naissance à une solution intégralement MDD, combinant un environnement de conception UML/SysML standard avec un générateur de code C qualifié qui répond aux exigences des standards de sécurité internationaux DO-178B et IEC 61508.

Actuellement, le processus de qualification de logiciel requis par les standards DO-178B et IEC 61508 implique d’énormes investissements, faisant en particulier des activités de vérification du code un poste très coûteux, typiquement plus de 50% du coût total du développement. I-Logix et Esterel Technologies estiment, d’après les retours concrets de leurs clients respectifs, que les développeurs utilisant leur solution intégrée pourront diviser par deux le temps nécessaire pour qualifier le logiciel, grâce à l’utilisation d’un générateur de code C qualifié, éliminant le besoin de vérification bas niveau du code.

La solution intégrée Rhapsody et SCADE est destinée à tout développement d’application requerrant une certification du logiciel, comme c’est typiquement le cas dans les industries aérospatiale et défense, l’énergie, et les transports. Cette nouvelle solution est la seule à permettre plusieurs types de développement, comme par exemple celui de systèmes critiques purs, ou celui de systèmes hybrides constitués d’un ensemble distribué d’applications critiques et non-critiques.

La solution intégrée sera mise à disposition par étapes pendant l’année 2006, la première étape étant pour le deuxième trimestre 2006. I-Logix et Esterel Technologies coopéreront lors des actions de promotion et de vente de cette solution intégrée.

Notre partenariat avec Esterel Technologies redéfinit la façon dont les systèmes critiques seront développés et certifiés», a déclaré Neeraj Chandra, premier vice-président Marketing et Développement Groupe de I-Logix. Dorénavant nos clients seront en mesure de mettre leurs produits critiques sur le marché en une fraction du temps mis aujourd’hui avec des méthodes manuelles.

Notre partenariat avec I-Logix aide nos clients à résoudre les problèmes de temps et de coûts de développement de logiciels critiques en comblant le fossé qui séparait l’ingénierie système et le génie logiciel, et en établissant un processus de développement intégral sans ruptures», a ajouté Gérard Morin, vice-président du Marketing Produit à Esterel Technologies. Etre capable d’importer automatiquement dans l’environnement qualifié de SCADE l’architecture du système et du logiciel élaborée dans Rhapsody améliore significativement la communication entre les équipes système et logiciel et permet d’économiser beaucoup de temps tout au long de la conception, de l’implémentation et de la qualification du logiciel.

A propos de Rhapsody

Rhapsody est un environnement de développement primé, compatible Unified Modeling Language (UML™), pour la conception et le développement orienté modèle (MDD) de systèmes logiciels temps réel embarqués. Rhapsody est le seul outil combinant un paradigme de programmation UML graphique avec des capacités avancées d’analyse et de conception de systèmes logiciels, et qui se lie sans difficulté avec le langage d’implémentation cible. Il en résulte un environnement complet de développement orienté modèle qui va de la capture des exigences au test, en passant par l’analyse, la conception et l’implémentation. Rhapsody simplifie le logiciel et augmente la productivité du développement, permettant ainsi d’obtenir une meilleure qualité, plus vite, et avec des résultats plus prévisibles.

A propos de SCADE

SCADE Suite, un environnement de conception d’applications critiques embarquées, permet la capture et la simulation graphiques de spécifications, ainsi que la vérification de propriétés de sécurité au niveau du modèle. De plus, KCG, le générateur de code qualifié de SCADE, est reconnu assurant les normes de sécurités les plus exigeantes que sont IEC 61508 et RTCA DO-178B.

A propos de I-Logix

Fondé en 1987, I-Logix est le premier fournisseur de solutions de développement collaboratif orienté modèle (MDD) pour la conception de systèmes et logiciels temps réel embarqués. Ces solutions permettent aux ingénieurs travaillant au sein de petites équipes comme de très grandes, de modéliser graphiquement les exigences, le comportement et le fonctionnement des systèmes embarqués. Le modèle est itérativement analysé, validé et testé tout au long du processus de développement, tandis que du code de qualité industrielle peut être généré automatiquement dans divers langages.

I-Logix facilite le travail en équipe grâce aux fonctionnalités uniques de gestion de projet et de tâches qui sont intégrées dans ses solutions UML orientées modèle, et qui permettent la revue de modèle et les participations dans l’équipe depuis la conception jusqu’au codage, quelles que soient les localisations géographiques des membres.

I-Logix est basé à Andover, Massachusetts, USA et a des bureaux de vente et de support à travers toute l’Amerique du Nord, l’Europe et le Moyen Orient. Pour plus d’informations contactez: http://www.ilogix.com/.

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™ émerge dans l’industrie automobile en tant que standard pour la création de logiciels embarqués critiques. Quant à Esterel Studio™, il permet aux concepteurs de composants électroniques complexes de créer des modèles de spécifications parfaitement corrects, 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.

Contacts presse

Pour I-Logix :

Rani Salehi

Responsable Communication Marketing

Adresse e-mail : rsalehi@ilogix.com

James Rawstron

Spécialiste Communication Marketing

Adresse e-mail : jrawstron@ilogix.com

Pour Esterel Technologies :

Gundel Hahn, Gundel Hahn Medienservice

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

Adresse e-mail : Gundel.Hahn@esterel-technologies.com

###

⇑