Société acquise en 2012 par l'américain Ansys, spécialiste des logiciels de simulation numérique, Esterel Technologies est un fournisseur d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèles. Rassemblés sous le nom de SCADE, ces outils sont utilisés dans les domaines de l'aérospatial, de la Défense, du transport ferroviaire et de l'énergie.