In the field of action-reaction control programs, physical constraints frequently imply a distributed implementation. To ease the design of such systems, we have implemented an automatic generator of distributed programs, starting from a given distribution specifications and a centralised source program. Builing upon the existing ocrep tool, we investigated the distribution of SC programs, generated by the Esterel compiler, a synchronous language used for the conception of such systems. We also studied methods to achieved the distribution of programs generated by a new Esterel compiler, in the CP format.
@MastersThesis{Menier01, author = {C. M\'enier}, title = {R\'epartition de Circuits S\'equentiels}, school = {ENS-Lyon}, year = {2001}, type = {Rapport de Stage}, address = {Lyon, France}, month = {July}, }