| (21) | N° Dépôt : 31548 |
| (22) | Date de Dépôt : 06.01.2009 |
| (30) | Données de Priorité : 15.06.2006 EP 06290977.5 |
| (86) | Données relatives à l'entrée en phase nationale selon le PCT : PCT/FR2007/00099114.06.2007 |
| (71) | Demandeur(s) : SOCIETE NATIONALE DES CHEMINS DE FER FRANCAIS, 34, rue du Commandant René Mouchotte F-75014 Paris (FR) |
| (72) | Inventeur(s) : AMMAD, Nadia ; ANTONI, Marc ; MAILLOT, Patrick |
| (74) | Mandataire : ABU-GHAZALEH INTELLECTUAL PROPERTY (TMP AGENTS) |
| (54) | Titre : PROCEDE DE VALIDATION D'UN SYSTEME DE CONTROLE/COMMANDE ET SYSTEME DE CONTROLE/COMMANDE POUVANT ETRE VALIDE PAR LE PROCEDE. |
| (57) | Abrégé : 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). |
