Esterel Technologies

From Wikipedia, the free encyclopedia

Esterel Technologies is a worldwide supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel’s tools create unambiguous specifications that produce correct-by-construction, automated implementation of control designs in software and/or hardware.

Esterel Technologies is a privately held company headquartered in Élancourt, France, and Mountain View, California. Esterel also has direct sales offices in Ottobrunn, Germany, Bracknell, United Kingdom, and Shanghai, P.R. China. Distributors in Japan, China, South Korea, Israel, and India complement the Esterel direct sales offices...

[edit] Product Offering

The product offering is based on two products: SCADE and Esterel Studio.

Since September 2006, Esterel Technologies acquired the IMAGE product from Thales and Diehl Aerospace [1]. It is now proposed as SCADE Display [2], a display framework targeted for Real-time applications, for prototyping, display design, simulation, verification and validation, DO-178B certified code generation (up to level A), and integration with other applications.