PROCEDE DE VALIDATION D'UN SYSTEME DE CONTROLE/COMMANDE ET SYSTEME DE CONTROLE/COMMANDE POUVANT ETRE VALIDE PAR LE PROCEDE

Procédé de validation d'un système de contrôle / commande et système de contrôle / commande pouvant être validé par le procédé. 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).