The elaboration of a framework for the development of distributed industrial supervisors and controllers leads to interesting
problems, in particular to tools for the automatic distribution of codes and validation modules to improve their robustness.