L'invention concerne un procédé permettant de comparer des variables obtenues à partir de différentes versions d'un programme d'application dans un système automatisé. Un signal d'entrée obtenu à partir d'un procédé automatisé est fourni à au moins deux versions différentes du programme d'application résidant dans un même contrôleur. Les mêmes tâches sont exécutées sur la base du signal d'entrée pour les différentes versions et des variables liées au procédé, obtenues à partir de l'exécution des versions, sont stockées à des emplacements de mémoire connus du contrôleur. Des variables issues des différentes versions et dérivées d'étapes d'exécution correspondantes des versions sont récupérées à partir des emplacements de mémoire et comparées durant un temps mort. On obtient ainsi un moyen amélioré permettant de réviser un système d'automatisation. L'invention concerne également ledit contrôleur et un système d'automatisation.