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. The product offering is based on two products: SCADE and Esterel Studio.
Esterel Technologies is a privately held company headquartered in Elancourt, 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...