Esterel

Esterel is a Formal_methods Synchronous programming language Imperative programming language programming language for the programming of reactive systems. Esterel is currently used in both industry and academia for the description, analysis, and implementation of digital circuits (as a high-level hardware description language) and digital embedded systems and software.

Esterel is implemented as a compiler to C programming language, i.e., the compiler does not output object file or Machine language code, but takes a reactive program description and generates: *C source code as an intermediate language, for Optimization (computer_science) and portability. Or: *A hardware implementation in a hardware description language.

It is used in industry, as a commercial product, in the industrial environment Esterel Studio, developed by Esterel-Technologies, and used for control software by:

Airbus, for on-board software in the jetliners Airbus A340, Airbus A380.

Eurocopter Group, for on-board software in helicopters.

Schneider Electric, for nuclear power plants.

=See also=

Lustre programming language

=External links=

*[http://www.esterel-technologies.com/ Esterel Technologies, Inc.] *[http://www.esterel-technologies.com/v3/id=18162 Esterel Technologies – Scientific Papers] *[http://www-sop.inria.fr/esterel.org/ Esterel Web] *[http://www-sop.inria.fr/meije/esterel/esterel-eng.html The Esterel Language]