Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

1. WO2007144513 - 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É

Numéro de publication WO/2007/144513
Date de publication 21.12.2007
N° de la demande internationale PCT/FR2007/000991
Date du dépôt international 14.06.2007
CIB
G05B 19/045 2006.01
GPHYSIQUE
05COMMANDE; RÉGULATION
BSYSTÈMES DE COMMANDE OU DE RÉGULATION EN GÉNÉRAL; ÉLÉMENTS FONCTIONNELS DE TELS SYSTÈMES; DISPOSITIFS DE CONTRÔLE OU DE TEST DE TELS SYSTÈMES OU ÉLÉMENTS
19Systèmes de commande à programme
02électriques
04Commande à programme autre que la commande numérique, c.à d. dans des automatismes à séquence ou dans des automates à logique
045utilisant des machines à états logiques composées uniquement d'une mémoire ou d'un dispositif logique programmable contenant la logique de la machine commandée et dans lesquelles l'état de ses sorties dépend de l'état de ses entrées, ou d'une partie des états de sa propre sortie, p.ex. contrôleurs de décision binaire, automates finis
G05B 17/02 2006.01
GPHYSIQUE
05COMMANDE; RÉGULATION
BSYSTÈMES DE COMMANDE OU DE RÉGULATION EN GÉNÉRAL; ÉLÉMENTS FONCTIONNELS DE TELS SYSTÈMES; DISPOSITIFS DE CONTRÔLE OU DE TEST DE TELS SYSTÈMES OU ÉLÉMENTS
17Systèmes impliquant l'usage de modèles ou de simulateurs desdits systèmes
02électriques
B61L 23/00 2006.01
BTECHNIQUES INDUSTRIELLES; TRANSPORTS
61CHEMINS DE FER
LCONTRÔLE DU TRAFIC FERROVIAIRE; SÉCURITÉ DU TRAFIC FERROVIAIRE
23Dispositifs de commande, d'avertissement ou autres dispositifs de sécurité le long de la voie ou entre les véhicules ou les trains
CPC
B61L 21/04
BPERFORMING OPERATIONS; TRANSPORTING
61RAILWAYS
LGUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
21Station blocking between signal boxes in one yard
04Electrical locking and release of the route; Electrical repeat locks
B61L 27/0055
BPERFORMING OPERATIONS; TRANSPORTING
61RAILWAYS
LGUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
27Central traffic control systems ; ; Track-side control or specific communication systems
0055Testing or simulation
G05B 19/045
GPHYSICS
05CONTROLLING; REGULATING
BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
19Programme-control systems
02electric
04Programme control other than numerical control, i.e. in sequence controllers or logic controllers
045using logic state machines, consisting only of a memory or a programmable logic device containing the logic for the controlled machine and in which the state of its outputs is dependent on the state of its inputs or part of its own output states, e.g. binary decision controllers, finite state controllers
Déposants
  • SOCIETE NATIONALE DES CHEMINS DE FER FRANCAIS [FR/FR]; 34, rue du Commandant René Mouchotte F-75014 Paris, FR (AllExceptUS)
  • AMMAD, Nadia [FR/FR]; FR (UsOnly)
  • ANTONI, Marc [FR/FR]; FR (UsOnly)
  • MAILLOT, Patrick [FR/FR]; FR (UsOnly)
Inventeurs
  • AMMAD, Nadia; FR
  • ANTONI, Marc; FR
  • MAILLOT, Patrick; FR
Mandataires
  • BLOCH, Gérard; Bloch & Gevers 23bis, rue de Turin F-75008 Paris, FR
Données relatives à la priorité
06290977.515.06.2006EP
Langue de publication français (FR)
Langue de dépôt français (FR)
États désignés
Titre
(EN) METHOD OF VALIDATING A CONTROL/COMMAND SYSTEM AND CONTROL/COMMAND SYSTEM THAT CAN BE VALIDATED BY THE METHOD
(FR) 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É
Abrégé
(EN)
The system comprises a management module (13), all-or-nothing inputs (11) representative of external events (en) and all-or-nothing outputs (17) controlling external actuators (4, 5), automatic modules (15) for executing predetermined tasks (n) so as, in response to said events (en), to act on said outputs (17), the set of states of the inputs (11) and outputs (17) at a given instant (Ti) constituting an instantaneous overall state (Fi) of the system (3), the set of states of the inputs (11) and outputs (17) that is obtained after executing a task (n) constituting a stabilized overall state (ESj) of the system (3). The management module (13) only permits (20) the execution of a task (n) corresponding to an arbitrary external event (en) if no task (n-1) corresponding to another event (en-1) is currently executing and the action of the automatic modules (15) only leads to a finite number of overall states (Fi).
(FR)
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).
Également publié en tant que
DZDZP2008000726
RU2008150003
UAa200900272
Dernières données bibliographiques dont dispose le Bureau international