| (57) | Abrégé : 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. |
