Saxo–rt: Interpreting Esterel Semantic on a Sequential Execution Structure
✍ Scribed by Etienne Closse; Michel Poize; Jacques Pulou; Patrick Venier; Daniel Weil
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 235 KB
- Volume
- 65
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
✦ Synopsis
The 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.