Related Links

Esterel Community members are leading software developers, Avionic manufacturers,Chips integrators, Universities, computer science research centers.

Texas instruments, Motorola, Thomson csf, INRIA, Simulog, Cadence, Dassault Aviation, Psa Peugeot Citoën, Berkeley University of California, Synopsys, Intel, Sextant, Université de Caen.

Some of them are using Esterel solutions for circuits critical integration verification tasks (see also the Syntel Project page), or for embedded command systems, also in human-machine interface development and communication protocols.