Esterel Technologies

Esterel Technologies

Créée en 1999, l'entreprise Esterel Technologies offre des produits et services pour la conception de systèmes critiques.

Le produit SCADE (basé sur Lustre) est utilisé pour le développement de logiciels critiques dans les domaines de l'aérospatiale et de l'automobile.

Le produit Esterel Studio (basé sur Esterel) est utilisé pour le développement de circuits dans le domaine de l'électronique grand public. Il a été racheté par le groupe Synfora en 2009[1]

Références

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Esterel Technologies de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Esterel Technologies — is a supplier of model based design, validation, and code generation tools for safety critical software and hardware applications. Esterel’s tools create formal specifications that produce correct by construction, automated implementation of… …   Wikipedia

  • Esterel — is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is very well suited for control… …   Wikipedia

  • Esterel (Langage) — Esterel est le nom d un langage de programmation apparu dans les années 1980. Son « père » est Gérard Berry. Ce langage est dit synchrone et réactif. Il est impératif et permet l expression simple du parallélisme, de la préemption. Il… …   Wikipédia en Français

  • Esterel (Programmiersprache) — Esterel ist eine synchrone imperative Programmiersprache, deren Ursprung auf den Anfang der 80er und die Zusammenarbeit mehrerer Wissenschafter (u. a. Gérard Berry) zurückzuführen ist. Inhaltsverzeichnis 1 Ursprung 2 Semantik 3 Optimierung …   Deutsch Wikipedia

  • Esterel (langage) — Esterel est le nom d un langage de programmation conçu dans les années 1980 par un groupe dirigé par Gérard Berry. Ce langage est dit synchrone et réactif. Il est impératif et permet l expression simple du parallélisme et de la préemption. Il est …   Wikipédia en Français

  • SCADE — Infobox Software name = SCADE Suite caption = SCADE Suite 6.0 in Windows XP developer = Esterel Technologies latest release version = 6.0 latest release date = October 4, 2007 operating system = Microsoft Windows genre = Integrated development… …   Wikipedia

  • Gérard Berry — Gérard Philippe Berry (born 1948) is a French computer scientist, member of French Academy of Sciences (Académie des sciences), French Academy of Technologies (Académie des technologies), and Academia Europaea. He is also teacher at the Collège… …   Wikipedia

  • Gérard Berry — Pour les articles homonymes, voir Berry (homonymie). Gérard Berry (2009) brandissant une calculatrice Curta Gérard Berry, né le 2 …   Wikipédia en Français

  • SCADE — Suite Entwickler Esterel Technologies Aktuelle Version 6.1 (8. Januar, 2009) Betriebssystem Microsoft Windows 2000 SP4, Microsoft Windows XP SP2 Kategorie Integrierte Entw …   Deutsch Wikipedia

  • Gerard Berry — Gérard Berry Pour les articles homonymes, voir Berry (homonymie). Gérard Berry (2008) Gérard Berry, né le 25 décembre 1948, est un inf …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”