La mise au point d'un environnement de conception de logiciels de superviseurs et de contrôleurs industriels distribués conduit à de nombreux problèmes
intéressants, en particulier la définition d'outils de distribution automatique de code et de modules de validation de ces logiciels pour augmenter leur
fiabilité.