DISPOSITIF ET PROCEDE DE VERIFICATION DES MOTEURS LOGICIELS DE CHEMIN DE FER PERMETTANT DE COMMANDER DES INSTALLATIONS TELLES QUE DES GARES

摘要

L'invention porte sur un procédé et sur un dispositif de vérification des moteur logiciels permettant de commander des installations ferroviaires telles que des gares, ce dispositif comprenant au moins un ordinateur pourvu d'au moins un processeur central et d'au moins une mémoire pour charger et exécuter des programmes : un moteur logique pour commander une installation telle qu'une gare est chargé ou peut être chargé dans la mémoire pour son exécution. Cette installation comprend une pluralité de modules de fonctionnement permettant d'actionner et/ou de détecter et/ou de mesurer et/ou d'alerter des équipements fixes. Ces modules sont prévus pour recevoir des signaux de commande et pour émettre des signaux de commande concernant l'état de fonctionnement. Le moteur logiciel lit les signaux de commande envoyés par les modules de fonctionnement de façon à activer et/ou détecter et/ou mesurer et/ou alerter les équipements et traite les signaux de commande de ces modules de fonctionnement sur la base d'un protocole d'exploitation de l'installation elle-même. Selon cette invention un programme logiciel de simulation de cette installation est chargé ou peut être chargé dans la mémoire informatique et peut être exécuté par l'ordinateur lui-même, cette installation devant être contrôlée et commandée par le programme logiciel de contrôle et de commande, et le programme de simulation reproduit fidèlement la structure de l'installation et les modes de fonctionnement des modules de fonctionnement ménagés dans cette installation.