Esterel Technologies

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Esterel Technologies

Création 1999
Fondateurs Éric Bantégnie, Gérard Berry, Bernard Dion
Forme juridique Société anonyme
Slogan Critical System and Software Development Solutions
Siège social Drapeau de France Élancourt (France)
Direction Éric Bantégnie
Activité éditeur de logiciels
Produits SCADE Suite
SCADE Display
SCADE System
SCADE Lifecyle
Société mère Ansys
Site web www.esterel-technologies.com
Chiffre d’affaires 14.2 M€ (2012)
Résultat net 2.8M€ (2012)

Esterel Technologies est le principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèle, dans les industries aérospatiale, de défense, du transport ferroviaire et de l'énergie.

La famille de produits Esterel SCADE offre un environnement intégré de conception et développement pour les applications logicielles critiques embarquées. Les solutions logicielles Esterel SCADE permettent la conception graphique, la vérification par la simulation et les méthodes formelles, et la génération de code certifié[1]. Des produits de gestion d'exigences, de gestion de configuration et de génération automatique de documentation sont également inclus, réduisant le temps de certification des applications.

Historique[modifier | modifier le code]

Esterel Technologies est une start-up de Simulog (elle-même start-up d’Inria) créée en 1999[2],[3] dans le but de commercialiser des outils basés sur les langages Lustre et Esterel développés à l’institut. Gérard Berry a été directeur scientifique de 2001 à 2009 [4].

Esterel Studio est vendu à Synfora (aujourd’hui Synopsys) en 2009[5].

ANSYS rachète Esterel Technologies en mai 2012 pour environ 42 millions d’euros[6],[7].

Produits[modifier | modifier le code]

SCADE Suite est un éditeur pour le langage graphique synchrone, SCADE, issu de Lustre. Son principal avantage est d'avoir une description de niveau "Low Level Requirement" pour la DO-178, et non un niveau "code", ce qui demande plus de tests. Le compilateur, KCG, génère des fonctions C ou Ada, qui seront ensuite reprises par le simulateur sur un ordinateur hôte, ou utilisées pour la cible embarquée.

SCADE Display est un éditeur d'interface graphique, qui s'utilise comme un éditeur de dessin vectoriel. Son compilateur génère des fonctions C, qui utilisent un backend OpenGL.

SCADE System est un outil de description de système, vu "de haut" (ingénierie des systèmes). Il est basé sur SysML.

Références[modifier | modifier le code]

Lien externe[modifier | modifier le code]