Esterel Technologies
Who is Esterel Technologies?
Esterel Technologies is a world leader supplying solutions that fully automate correct-by-construction implementation of HDL or software generated from rigorous specifications.
In November 1999, the company, Esterel Technologies, was created as a spin-off of Simulog with the mission to commercialize correct-by-construction design tools that have, as their core, a rigorous and unambiguous technology to handle specification and to automatically generate a defect-free implementation in software or HDL. The first generation of the commercial Esterel tool set was released in April 2000.
On November 1, 2001, Esterel Technologies purchased the assets of the SCADE business unit from Telelogic. As part of the agreement, all SCADE employees joined Esterel Technologies' R&D and Marketing teams.
The SCADE story began in the 1990's under the name of SAO as a joint venture between Aérospatiale (now Airbus), Merlin-Gérin, and Verilog (now a business unit of Telelogic). These organizations had joined together to create a safety-critical software development environment that would handle design from software specification to bug-free embeddable code. This code had to meet the rigorous requirements of the avionics standard, DO-178B.
Like Esterel Studio, SCADE takes advantage of the power of abstraction and synchronous languages to create unambiguous specifications that produce automated implementation. Today, SCADE Suite™ is the de-facto standard for the creation of safety-critical embedded software in the European avionics industry and is the emerging standard for the creation of critical-embedded software in the automotive industry.
