Saxo–rt: Interpreting Esterel Semantic on a Sequential Execution Structure

AbstractThe Saxo-rt compiler implements a original method for compiling the concurrent synchronous language Esterel into sequential C code. The method is optimized for embedded systems with very tight memory and real-time constraints and shows significant performance improvement on industrial size examples. Source code is sliced into small code sequences called control points, statically scheduled so as to be compatible with Esterel semantic. Speed reaction is optimized without increasing code size, by executing at each reaction only active code sequences. In this paper, we present in detail how Esterel semantic is interpreted on our execution structure