Green Hills Software et Esterel Technologies s’associent et créent la première solution complète pour le développement de logiciels embarqués critiques

Première intégration de solutions de conception et de génération de code et de compilateurs conformes aux standards DO-178B et IEC 61508 SIL3

Santa barbara, California et Elancourt, France — le 14 février 2006

Green Hills Software, Inc., premier fournisseur de systèmes d’exploitation temps réel (RTOS) et de moyens d’optimisation logicielle (DSO), et Esterel Technologies, l’un des principaux fournisseurs mondiaux d’outils de conception orientée modèle, de validation et de génération de code pour applications critiques embarquées, ont annoncé aujourd’hui un partenariat stratégique. Il en résulte la première solution orientée modèle (Model-Driven Development - MDD) complète pour le développement de logiciels embarqués critiques.

En s’associant avec Esterel Technologies, Green Hills Software devient la première société apportant aux développeurs de systèmes critiques embarqués une solution intégrée orientée modèle et basée sur les standards consacrés que sont DO-178B, IEC 61508 et SCADE a affirmé Dan O’Dowd, fondateur et Président (CEO) de Green Hills Software. SCADE est aujourd’hui la solution MDD la plus complète pour les marchés du logiciel critique embarqué. L’association de SCADE avec MULTI, notre environnement de développement intégré, et avec nos systèmes d’exploitations libres de droits et nos environnements cibles, apporte à nos clients une solution complète et sûre permettant d’optimiser leur Temps de Mise sur le Marché ainsi que leur processus de certification, et leur permettant d’assurer la fiabilité des systèmes critiques embarqués qu’ils développent.

Dans le cadre de cet accord, le code généré par le générateur de code qualifié d’Esterel Technologies, SCADE KCG, sera intégré automatiquement au système d’exploitation temps réel de Green Hills Software, INTEGRITY-178B, qui est certifié DO-178B niveau A et IEC 61508. De plus, les compilateurs de Green Hills Software, parmi les plus utilisés dans l’industrie, seront pré-qualifiés grâce au Compiler Verification Kit (CVK) de SCADE, ce qui permettra une certification efficace et économique du code généré par SCADE et compilé avec l’un des compilateurs de Green Hills Software. Cette intégration de SCADE KCG et CVK avec les systèmes d’exploitation temps réels ainsi que les compilateurs C de Green Hills Software, rend possible la transition sans rupture entre phase de modélisation et phase d’implémentation. Les deux sociétés collaboreront également autour de nouvelles fonctionnalités telles que l’incorporation du simulateur SCADE dans MULTI.

Cette intégration donnera naissance à la première solution compatible DO-178B niveau A et IEC 61508 SIL3 de bout en bout, couvrant la conception du logiciel, la génération de code, la compilation et jusqu'à l’intégration sur un système d’exploitation temps réel. Les produits de Green Hills Software et d’Esterel Technologies sont aussi intégrés avec les principaux outils de conception UML/SysML, comme RHAPSODY de I-Logix, afin de permettre l’utilisation de code existant ou non critique, ainsi que de la rétro-ingénierie.

Traditionnellement, les concepteurs de logiciels et les développeurs utilisaient des environnements distincts pour les différents aspects du développement : un environnement, souvent papier, pour la conception du logiciel, et un autre pour l’implémentation sur la cible. Au contraire, la solution intégrée développée par Green Hills Software et Esterel Technologies accélère le temps de mise sur le marché en réduisant les temps de certification. Eric Bantegnie, Président Directeur Général d’Esterel Technologies, a déclaré : Green Hills Software offre la meilleure et la plus complète technologie de systèmes d’exploitation temps réel et d’environnements de développement logiciel. En combinant ces qualités avec notre solution SCADE, qui est le principal environnement de développement d’applications critiques sur le marché, nos deux sociétés, qui affichent les plus fortes croissances dans leurs domaines respectifs, apportent une solution réellement synergétique. Non seulement cela profite à nos clients communs, mais cela réduit aussi le coût global du développement et de la certification de systèmes embarqués DO-178B jusqu’au niveau A et IEC 61508 SIL3.

Une solution intégrée pour les différentes phases de développement de logiciel critique

La combinaison de SCADE, d’INTEGRITY et des compilateurs de Green Hills Software apporte une solution intégrée couvrant des phases critiques du développement de systèmes embarqués critiques DO-178B et IEC 61508:

La conception et la validation fonctionnelles, grâce à l’éditeur, au simulateur et au module de couverture de modèle (Model Test Coverage) de SCADE.
La génération de code, avec le générateur de code qualifié de SCADE (KCG) qui permet de faire l’économie des tests de bas niveau autres que la qualification du contexte utilisateur et du compilateur.
La compilation avec les compilateurs Green Hills Software, pré-qualifiés pour le code généré par SCADE grâce au Compiler Verification Kit de SCADE.
L’intégration avec l’un des principaux systèmes d’exploitation temps réel du marché : INTEGRITY de Green Hills Software, un standard dans les domaines de développement soumis aux certifications DO-178B niveau A ou IEC 61508.
Le débogage et l’optimisation avec le débogueur multi-sources de Green Hills Software, qui est parfaitement synchronisé avec les modèles SCADE.

Disponibilité

L’intégration de SCADE KCG et CVK avec INTEGRITY et avec les compilateurs de Green Hills Software compilateurs seront disponibles en juillet 2006.

A propos de Green Hills Software

Fondé en 1982, Green Hills Software, Inc. est le chef de file technologique des systèmes d’exploitation (RTOS) et des outils d’optimisation logicielle (DSO) pour systèmes embarqués 32- et 64-bits. Son système d’exploitation temps réel libre de droits INTEGRITY® RTOS, le micro noyau velOSity™, ses compilateurs, ses environnements de développement intégrés MULTI® et AdaMULTI™ ainsi que son débogueur TimeMachine™ constituent une solution de développement complète qui couvre aussi bien les applications embarquées que les applications très critiques. Green Hills Software est basé à Santa Barbara, CA, avec un siège Européen au Royaume Uni. Vous pouvez visiter le site de Green Hills Software sur le web : www.ghs.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™ assurant le même rôle dans l’industrie automobile. 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 :

Pour Green Hills Software:

Barbel French

Téléphone : 805-965-6044

Adresse e-mail : bfrench@ghs.com

For Esterel Technologies:

Gundel Hahn, Gundel Hahn Medienservice

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

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

###

Esterel Technologies and SCADE are trademarks or registered trademarks of Esterel Technologies S.A. Green Hills, the Green Hills logo, MULTI, INTEGRITY, velOSity, AdaMULTI and TimeMachine, are trademarks or registered trademarks of Green Hills Software, Inc. in the U.S. and/or internationally. All other trademarks are the property of their respective owners.

⇑