Daniel Weil

Learn More
The paper presents a prototype of the Taxys tool developed within a collaboration between France Telecom R&D and VER-IMAG. The connection of the Saxo-rt Esterel compiler and of the Kronos model-checker, together with on-the-fly techniques, brings up the possibility of verifying quantitative timing constraints on real industrial telecommunication systems,(More)
This paper presents a new 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. Source code is sliced into small code sequences called halt points, statically scheduled so as to be compatible with Esterel semantic. Speed reaction(More)
  • 1