Esterel Technologies>Products

Products

Our robust products enable electronic system and embedded software engineers to create unambiguous specifications that result in Correct-by-Construction and fully automated implementations. This type of formal and automated specification-to-implementation flow can reduce verification time and cost by as much as 50%.

Our products also solve the "late change" problem by allowing customers to add their changes at the specification level and then automate the entire specification-to-implementation chain. Customers have reported up to 4X schedule savings compared to manual and semi-automated methods.

SCADE Suite™ is the standard design tool used extensively by avionics market leaders for the production of safety- and business-critical embedded software.

SCADE Display™ is the leading edge embedded graphics design environment dedicated to safety-critical display systems, DO-178B qualified up to level A for Military and Aerospace Industries.

Esterel Technologies consulting services maximize our customers' project efficiency by providing experts who are masters of our methods and tools, experienced with most leading-edge design and verification solutions, and have a deep knowledge of specific application domains. Our consulting packages have been pre-defined to meet the needs of most customers. Custom-designed consulting is also available.