ESUIF: An Open Esterel Compiler

Slicing tools for synchronous reactive programs

“…For Esterel, the STCFG is obtained from a yacc grammar given in [5] using a syntax directed scheme. Each STCFG node contains a pointer to the AST representation of the corresponding statement.…”

Separate compilation for synchronous programs

“…Hence, an event driven simulation scheme can be used to generate code, which is compiled into efficient C code. A fourth approach is based on the translation of programs into concurrent control data flow graphs [12], [18], [10], [11], [24], whose sizes depend linearly on the given program. At each instant, the control flow graph is traversed until active nodes are found to trigger the execution of the corresponding subtree.…”

Static slicing of reactive programs

“…The control reenters the program after one clock tick and execution is resumed from the point after the pause statement. This flow of control, as given in [7], is illustrated in Figure 1. In this figure, the program is given on the left hand side and the flow of control is depicted on the right hand side.…”

“…Pause-handlers and arbiters are part of the execution environment and are standard run-time supports used in the implementation of Esterel programs [7]. We abstract out these in our control flow representation by modelling pause statement as a predicate with two outgoing edges: a true edge which goes to its lexical successor, and a false edge which goes to the end of module node.…”