The purpose of this page is to list the software tools linked to synchronous languages, developped by reseach labs. We have grouped them in several lists: compilers, model checkers, code distributors, extensions of classical languages, and miscellaneous. They appear in alphabetical order. Send us an email if you want your software to be listed in this page.
ForSyDe: The FORmal SYstem DEsign methodology.
Lucid Synchrone: An ML extension of Lustre.
Lustre V4: The Lustre compiler from Verimag.
Mode Automata: An implementation of mode automata on top of the Lustre compiler.
Polis is a graphical tool for implementing Codesign Finite State Machines (CFSM), from the CAD group at UC Berkeley, EECS department.
Polychrony: The public domain Signal compiler from Irisa.
S-Grafcet: A set of grafcet tools for the Esterel-Lustre platform.
SyncCharts: A graphical formalism dedicated to reactive systems modeling, inspired from StateCharts and Argos.
synERJY: A programming language for embedded systems which combines object-oriented modelling for a robust and flexible design, and synchronous execution for precise modelling of behaviour.
Lesar: The Lustre model-checker from Verimag.
Xeve: The Esterel model-checker from CMA-Inria.
Sigali: The Signal model-checking and controller systhesis tool from Irisa.
Ocrep: A tool for the automatic distribution/parallelisation of Lustre and Esterel programs.
SynDEx: A tool for the optimisation and code generation for distributed memory and heterogeneous architectures.
ECL: Esterel C Language.
Jester: A Reactive Java Extension.
RC: Reactive C.
Fair Threads: A very simple framework for concurrent and parallel programming.
Sugar Cubes: A set of Java classes for implementing event based systems, concurrent systems, and reactive systems.