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},
}