Esterel Technologies, filiale de Simulog, a été créée en Avril 2000 avec le soutien d'INRIA Transfert pour développer et industrialiser Esterel Studio.

Le logiciel Esterel Studio, basé sur le langage réactif synchrone Esterel et les Méthodes Formelles, est le fruit de recherches communes entre l'INRIA et le Centre de mathématiques appliquées de l'Ecole des Mines De Paris. Esterel Studio est un environnement graphique de modélisation qui fournit des outils de vérification formelle et de génération automatique de code compact et rapide pour le développement de composants électroniques produits à grande échelle et de systèmes temps-réel embarqués critiques.

De nombreuses applications existent dans les secteurs de la conception de circuits et de logiciels critiques pour les semi-conducteurs et l'électronique embarquée en automobile, aéronautique et défense.