B - Operations – Transporting – 61 – L
Patent
B - Operations, Transporting
61
L
B61L 21/00 (2006.01) B61L 27/00 (2006.01) G06F 11/36 (2006.01)
Patent
CA 2476400
A method of generating logic control units for railroad station-based vital computer apparatuses, i.e. in railroad station system control units comprising at least one vital computer which, on the basis of a control program operating in combination with a logic unit, sends state switching controls to so-called yard elements and receives state feedback and/or diagnostic signals from said yard elements, said logic unit being generated automatically by a program, based on the surrounding conditions as defined by the station diagram and by a state table, said logic unit being a network of circuits with components operating according to Boolean logic functions and appropriately structured in compliance with the station diagram and with the state table, or said logic control unit being a program which includes algorithms composed of Boolean logic functions, which operate like networks of Boolean logic circuits. According to the invention, a step for checking the correctness of the automatically generated logic unit is provided, which checking step includes the following steps: parallel generation of two logic control units, according to the same station diagram and the same state table, each being generated by a different generation program; comparison between the networks of logic circuits or network-simulating logic programs provided by the two different programs to check for structural differences.
Procédé et dispositif pour générer des unités de commande logique destinées aux appareils informatiques vitaux fonctionnant dans des stations ferroviaires, p. ex., des unités de commande du système de stations ferroviaires comprenant au moins un ordinateur vital qui, en se basant sur un programme de commande fonctionnant en combinaison avec une unité logique, envoie des commandes de commutation d'état à des éléments dits "de cour" et reçoit des signaux de rétroaction et/ou de diagnostic desdits éléments "de cour", ladite unité logique étant générée automatiquement par un programme sur la base des conditions environnantes, définies par le diagramme de station et une table d'états, ladite unité logique se présentant comme un réseau de circuits dont les composants fonctionnent d'après les fonctions de logique booléenne et sont structurés de manière appropriée selon le diagramme de station et la table d'états, ladite unité de commande logique pouvant aussi être un programme qui comprend des algorithmes composés de logique booléenne qui fonctionnent comme des réseaux de circuits logiques booléens. Selon l'invention, le procédé comprend une étape de vérification de l'exactitude de l'unité logique générée automatiquement, l'étape de vérification comprenant les étapes suivantes: génération parallèle de deux unités de commande logique, selon le diagramme de la même station et la même table d'états, chacune étant générée par un programme de génération différent, et comparaison entre les réseaux de circuits logiques ou les programmes logiques de simulation de réseau fournis par deux programmes différents pour vérifier les différences structurelles.
Minkowitz Cydney
Tramontana Francesco
Alstom Ferroviaria S.p.a.
R. William Wray & Associates
LandOfFree
Method and device for generating logic control units for... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and device for generating logic control units for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and device for generating logic control units for... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1444457