Signal, a synchronous and data-ow oriented langage, allows the user to design safe real-time applications. Its compiler uses a single formalism called \Synchronized Data-Flow Graphs 1 " all along the conception chain from speci cation to proof and veri cation. We show how this formalism can be kept on until distributed code generation. The implementation described here, called synchronous distribution, respects the semantics of Signal. We nally show the limits of SDFGs and conclude on the

more »

... ity of another model describing dynamic behaviours of distributed executions.