- Esterel Technologies
Esterel Technologies is a supplier of model-based design,
validation , andcode generation tools for safety-critical software and hardware applications. Esterel’s tools create formal 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 , andMountain View, California . Esterel also has direct sales offices inOttobrunn , Germany, Bracknell, United Kingdom, and Shanghai, P.R. China. Distributors in Japan, China, South Korea, Israel, and India complement the Esterel direct sales offices...Product Offering
The product offering is based on two products:
SCADE andEsterel Studio .Since September 2006, Esterel Technologies acquired the IMAGE product from Thales and
Diehl Aerospace [http://www.esterel-technologies.com/news-events/press-releases/2006/scade-display] .It is now proposed asSCADE Display [http://www.esterel-technologies.com/products/scade-display/] , 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.External links
* [http://www.esterel-technologies.com/ Esterel Technologies page]
* [http://www.esterel-technologies.com/company/overview.html Corporate page]
* [http://www.esterel-technologies.com/products/scade-suite/ SCADE Suite product page]
* [http://www.esterel-technologies.com/products/scade-display/ SCADE Display product page]
Wikimedia Foundation. 2010.
