Synchronous distribution of SIGNAL programs

SIGNAL, a synchronous and data-flow oriented langage, allows the user to design safe real-time applications. Its compiler uses a single formalism called Synchronized Data-Flow Graphs" (GFDS) all along the conception chain from specification to proof and verification. 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 finally show the limits of SDFGs and conclude on the necessity of another model describing dynamic behaviours of distributed executions.

In proceedings of the 29th Hawaii International Conference on System Sciences HICSS-29, Vol. 1, pp 656-665, IEEE Press Society, Hawaii, January 1996. P. Aubry, P. Le Guernic and Sylvain Machard, IRISA/INRIA, Campus de Beaulieu, F-35042 Rennes Cedex