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
