1 Rue James Joule
PH: +33 1 30 12 27 00
FAX: +33 1 30 12 27 27
Esterel Technologies provides electronic systems architects and embedded software designers with a methodology and tools to secure their design flow at the earliest stage, while reducing their overall design and verification costs. Its flagship product Esterel Studio uses Formal Methods to automate the painstaking work of verifying and testing designs.
Esterel Studio is a software tool that provides the powerful combination of formal proof technologies and a full functional coverage of a complete design flow, ranging from unambiguous graphical specifications, interactive behavior simulation, automated test generation, reliability property proof, and automated code generation.
Eric Bantegnie, CEO
1999 - Present: President and CEO of Esterel Technologies, Co-founder
1998-2001: President and CEO of Simulog, a high tech 180-people software and services
1996-1998: Director of a Research and Development joint-venture, between group Bull and INRIA
1992-1996: Deputy Director at the French Ministry of Industry and Telecommunications
1988-1992: Director of Production of France Telecom for the Western Paris directorate