Method for validating a control system and control system to be validated by this method

The method involves establishing a list of frightened events, and establishing a list of operation characteristics of switch rails (4) and signal panel (5). An initial stabilized global state of a controlling and commanding system (3) i.e. process control system, is defined. An external event is simulated from the state for obtaining a resulting stabilized global state. The stimulation of event after event is continued for obtaining already stimulated stabilized global state. An independent claim is also included for a system for validating a real time controlling and commanding system. Le Système comporte un module (13) de gestion, des entrées (11) tout ou rien représentatives d'événements externes (en) et des sorties (17) tout ou rien commandant des actionneurs externes (4,5), des modules (15) automatiques d'exécution de tâches (n) prédéterminées pour, en réponse aux dits événements (en), agir sur lesdites sorties (17), l'ensemble des états des entrées (11) et sorties (17) à un instant donné (Ti) constituant un état global instantané (Fi) du système (3), l'ensemble des états des entrées (11) et sorties (17) obtenu à la fin d'une exécution de tâche (n) constituant un état global stabilisé (ESj) du système (3). Le module de gestion (13) n'autorise (20) l'exécution d'une tâche (n) correspondant à un événement externe (en) quelconque que si aucune tâche (n-1) correspondant à un autre événement (en-1) n'est en cours d'exécution et l'action des modules automatiques (15) ne débouche que sur un nombre fini d'états globaux (Fi).