Esterel Esterel is both a language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state automata. It is one of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata.

Current Version:   5.21 License Type:   Free Binary Software, http://www-sop.inria.fr/meije/esterel/copyright.html

Home Site: http://www-sop.inria.fr/meije/esterel/ Source Code Availability:   No Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   Yes (tar.Z or tar.gz), from http://www.inria.fr/meije/esterel/getting-esterel.html Targeted Platforms: Linux, Solaris , DecAlpha/OSF1, IBM AIX, Window NT Software/Hardware Requirements: None

Other Links: TempEst a verification toolset: http://www.cs.utexas.edu/users/cpg/TempEst Synchronous Reactive Formalisms: http://www.imag.fr/VERIMAG/SYNCHRONE/SYRF/syrf.html Ptolemy Mailing Lists/USENET News Groups: There is a moderated mailing lists esterel-users@sophia.inria.fr User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers