METODO Y DISPOSITIVO PARA GENERAR UNIDADES DE CONTROL LOGICAS PARA APARATOS INFORMATICOS ESENCIALES CON BASE EN ESTACIONES FERROVIARIAS.

Método para generar unidades de control lógicas para aparatos informáticos esenciales con base en estaciones ferroviarias

, es decir, para unidades de control de sistema de estaciones ferroviarias, que comprende al menos un ordenador esencial que, basándose en un programa de control que funciona en combinación con una unidad lógica, envía controles de cambio de estado a denominados elementos de maniobra, es decir, dispositivos que están diseñados para realizar operaciones específicas relacionadas con la circulación de trenes, tales como dispositivos de señalización y/o agujas de vía férrea y/o circuitos de vía, o similares, y recibe señales de diagnóstico y/o retroalimentación de estado desde dichos elementos de maniobra, generándose dicha unidad lógica automáticamente por un programa de generación, basándose en las condiciones del entorno tal como se define por un diagrama de estación, que comprende una lista de elementos de maniobra, y por una tabla de estado, en la que se fijan reglas de adopción de estado y/o cambio de estado para dichos elementos de maniobra, con referencia al estado y/o cambio de estado de otros elementos de maniobra y/o a la gestión apropiada del tráfico de la vía férrea, siendo dicha unidad lógica una red de circuitos con componentes que funcionan según funciones lógicas booleanas y estructurados de manera apropiada conforme al diagrama de estación y a la tabla de estado, o siendo dicha unidad de control lógica un programa que incluye algoritmos compuestos por funciones lógicas booleanas, que funcionan como redes de circuitos lógicos booleanos, caracterizado porque incluye una etapa para comprobar la corrección de la unidad lógica generada automáticamente, etapa de comprobación que incluye las etapas siguientes: generar paralelamente dos unidades de control lógicas, según el mismo diagrama de estación y la misma tabla de estado, generándose cada unidad por uno de dos programas de generación que son lo más diferentes posible entre sí; comparar las redes de circuitos lógicos entre sí o los programas lógicos de simulación de redes proporcionados por los dos programas de generación diferentes para comprobar diferencias estructurales entre los mismos.

Tipo: Resumen de patente/invención.

Solicitante: ALSTOM FERROVIARIA S.P.A..

Nacionalidad solicitante: Italia.

Dirección: VIA O. MORENO, 23,12038 SAVIGLIANO (CUNEO).

Inventor/es: TRAMONTANA,FRANCESCO, MINKOWITZ,CYDNEY.

Fecha de Publicación: .

Fecha Concesión Europea: 2 de Julio de 2008.

Clasificación PCT:

  • SECCION B — TECNICAS INDUSTRIALES DIVERSAS; TRANSPORTES > FERROCARRILES > CONTROL DE TRAFICO FERROVIARIO; SEGURIDAD DEL TRAFICO... > B61L27/00 (Sistemas centrales de control del tráfico)
  • SECCION B — TECNICAS INDUSTRIALES DIVERSAS; TRANSPORTES > FERROCARRILES > CONTROL DE TRAFICO FERROVIARIO; SEGURIDAD DEL TRAFICO... > B61L21/00 (Sistemas de blocado en estación entre dos cajas de señales)
google+ twitter facebookPin it
METODO Y DISPOSITIVO PARA GENERAR UNIDADES DE CONTROL LOGICAS PARA APARATOS INFORMATICOS ESENCIALES CON BASE EN ESTACIONES FERROVIARIAS.