MÉTODO E DISPOSITIVO DE GERAÇÃO DE UNIDADES DE CONTROLE LÓGICO PARA APARELHOS COMPUTADORES VITAIS BASEADOS NA ESTAÇÃO DE FERROVIA

IPC Classification

Priority claims

Abstract

"MÉTODO E DISPOSITIVO DE GERAÇÃO DE UNIDADES DE CONTROLE LÓGICO PARA APARELHOS COMPUTADORES VITAIS BASEADOS NA ESTAÇÃO DE FERROVIA". Um método de geração de unidades de controle lógico para aparelhos computadores vitais baseados em ferrovias, isto é, unidades de controle de sistema de estação da ferrovia compreendendo pelo menos um computador vital, o qual baseado em um programa de controle operacional em combinação com uma unidade lógica, envia controles de chaveamento de estado para os assim chamados elementos de pátio e recebe estado de retorno e/ou sinais de diagnóstico dos referidos elementos de pátio, referidas unidades lógicas sendo geradas automaticamente por um programa, com base nas condições circundantes como definido pelo diagrama da estação e por uma tabela de estado, referida unidade lógica sendo uma rede de circuitos com componentes operacionais de acordo com funções lógicas Booleanas e apropriadamente estruturados em conformidade com o diagrama da estação e com a tabela de estado, ou referida unidade de controle lógico sendo um programa o qual inclui algoritmos compostos de funções lógicas Booleanas, os quais operam como redes de circuitos lógicos Booleanos. De acordo com a invenção, é provida uma etapa de verificação e correção de unidade lógica gerada automaticamente, na qual a etapa de verificação inclui as seguintes etapas: geração paralela de duas unidades de controle lógicos, de acordo com o mesmo diagrama da estação e a mesma tabela de estado, cada unidade sendo gerada por um programa de geração diferente; comparação entre as redes de circuitos lógicos ou os programas lógicos de simulação de rede providos por dois programas de geração diferentes para verificar diferenças estruturais entre estes.