ES2655478T3 - Método para verificar la transferencia de datos correcta a una memoria de vídeo - Google Patents
Método para verificar la transferencia de datos correcta a una memoria de vídeo Download PDFInfo
- Publication number
- ES2655478T3 ES2655478T3 ES09005800.9T ES09005800T ES2655478T3 ES 2655478 T3 ES2655478 T3 ES 2655478T3 ES 09005800 T ES09005800 T ES 09005800T ES 2655478 T3 ES2655478 T3 ES 2655478T3
- Authority
- ES
- Spain
- Prior art keywords
- pixels
- memory
- modified
- bitmap data
- data
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/14—Error detection or correction of the data by redundancy in operation
- G06F11/1402—Saving, restoring, recovering or retrying
- G06F11/1415—Saving, restoring, recovering or retrying at system level
- G06F11/1443—Transmit or communication errors
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L25/00—Recording or indicating positions or identities of vehicles or vehicle trains or setting of track apparatus
- B61L25/06—Indicating or recording the setting of track apparatus, e.g. of points, of signals
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Mechanical Engineering (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Controls And Circuits For Display Device (AREA)
- Processing Or Creating Images (AREA)
Abstract
Método para verificar la transferencia correcta de datos de mapa de bits (6) desde una primera memoria, en particular una memoria principal (4), a una segunda memoria, en particular una memoria de vídeo (8), para visualizar los datos de mapa de bits (6) que comprenden píxeles (12, 12') en una pantalla gráfica (3), comprendiendo el método: a) modificar al menos una propiedad de un número fijo de píxeles (12) seleccionados a partir de los datos de mapa de bits (6) en la primera memoria (4), realizándose la selección de una manera aleatoria, b) transferir los datos de mapa de bits (6) que comprenden los píxeles modificados (12) desde la primera memoria (4) a la segunda memoria (8), c) leer de nuevo los píxeles modificados (12') desde la segunda memoria (8), y d) comparar los píxeles modificados leídos de nuevo (12') a los píxeles modificados (12) de la primera memoria (4) para verificar la transferencia correcta de los datos de mapa de bits (6, 6'), en el que la al menos una propiedad se modifica de tal manera que la modificación no es observable cuando se visualizan los píxeles modificados (12') en la pantalla gráfica (3).
Description
5
10
15
20
25
30
35
40
45
50
55
60
65
DESCRIPCIÓN
Método para verificar la transferencia de datos correcta a una memoria de vídeo Antecedentes de la invención
La invención se refiere a un método para verificar la transferencia correcta de datos de mapa de bits desde una primera memoria, en particular una memoria principal de un sistema informático, a una segunda memoria de un sistema informático, en particular una memoria de vídeo de una tarjeta gráfica. La invención también se refiere a un producto de programa informático para implementar el método, y a un sistema informático correspondiente.
Las aplicaciones HMI (Interfaz Máquina Humano) típicas para visualizar el estado de datos críticos para la seguridad, por ejemplo de Sistemas de Control de Ferrocarril, (visualización vital) en general generan sus imágenes en forma de mapas de bits en la memoria principal del ordenador. Estos mapas de bits se transfieren posteriormente desde la memoria principal a la memoria de vídeo, por ejemplo de una tarjeta gráfica para visualizar los datos de mapa de bits en una pantalla gráfica tal como un monitor o similar. En tales aplicaciones de visualización relacionadas con la seguridad, la imagen de mapa de bits almacenada en la memoria de vídeo debe ser idéntica a la original en memoria principal, requiriendo por lo tanto un procedimiento de verificación para comprobar la identidad de ambas imágenes de mapa de bits.
En sistemas de visualización relacionados con la seguridad existentes (como se realizan, por ejemplo, en los productos BO L ISA, Command 900, SOC/VCC de Thales Rail Signalling Solutions GmbH o en el producto BPS901 de Siemens) la imagen de mapa de bits completa se transfiere de vuelta en la memoria principal. Posteriormente, se calcula un código de comprobación (por ejemplo un código de CRC (Comprobación de Redundancia Cíclica)) a partir de estos datos. Finalmente, este código de comprobación se compara con un código de comprobación calculado a partir de la imagen original en la memoria principal para verificar si la transferencia de los datos de mapa de bits se ha realizado correctamente.
Sin embargo, en los últimos años, la cantidad de memoria que se proporciona para pantallas gráficas ha aumentado drásticamente debido, por ejemplo, al aumento del número de monitores por estación de trabajo, de la resolución de los monitores y del número de colores para visualizar. El tiempo requerido para realizar una comprobación de la manera anteriormente descrita en tales sistemas puede encontrarse en el intervalo de segundos. Sin embargo, interrumpir la operación normal a través de un periodo de tiempo largo típicamente no es aceptable para un operador. Además, las tarjetas gráficas modernas que permiten el uso de colores transparentes pueden fallar cuando realizan la comprobación anteriormente descrita.
El documento EP 0443377 A2 desvela un aparato para visualización de prevención frente a fallos de una imagen de señalización en una pantalla. Para formar un código de comprobación, los datos de imagen que se introducen en una memoria intermedia de refresco de fotograma se introducen en paralelo a una memoria intermedia similar adicional que no está seguida por una pantalla, leyéndose inmediatamente después los datos de imagen de la memoria intermedia adicional a un generador de códigos de comprobación. Un código de comprobación generado por el generador de códigos de comprobación se compara a continuación con una correspondencia en un procesador de control, indicando un error si hay o no correspondencia.
El documento DE 3411015 A1 desvela un método para representación de prevención frente a fallos de un diagrama sinóptico en un dispositivo de visualización de datos en el que los datos de imagen suministrados al dispositivo de visualización de datos se comprueban continuamente por el hecho de que se forma un código de prueba por reducción de datos desde el flujo de datos de imagen y este código se compara con un código de referencia previamente almacenado y característico del diagrama sinóptico a visualizarse. El código de referencia se forma por adición de módulo de 2 a partir de un código básico que representa los elementos de imagen estáticos y los códigos de cambio que corresponden a los cambios de diagrama sinóptico individuales.
El documento EP 0856792 A2 desvela un método para visualización segura de una imagen en un monitor. El método implica realimentar información en un ordenador de procesamiento de imagen que genera una primera imagen que se almacena en una primera memoria de imagen. Usando una memoria de recuperación de imagen, la imagen se visualiza a continuación en el monitor. El ordenador de procesamiento de imagen también genera una segunda imagen a partir de la información, que se almacena en una segunda memoria. El contenido de la memoria de recuperación de imagen se compara a continuación al menos parcialmente con el contenido de la primera memoria de imagen e independientemente de eso, se compara con el contenido de la segunda memoria de imagen.
El documento EP 0584895 A2 se refiere a un método de visualización de prevención frente a fallos de información técnica de tráfico, en el que los datos relacionados con los estados de operación de componentes individuales del Sistema de Control de Ferrocarril se emiten por un dispositivo de control de operación, en particular por una cabina de interbloqueo. Se asignan elementos a símbolos compuestos respectivamente de píxeles individuales, asignándose los píxeles de un símbolo en cada caso a los mismos valores de color de acuerdo con los datos actuales específicos del estado de operación para el elemento correspondiente. En una rutina de prueba, el valor de
5
10
15
20
25
30
35
40
45
50
55
60
65
color de un píxel seleccionado de un símbolo a probar se lee y compara con el elemento de datos para el respectivo elemento y en el caso de no identidad se genera un informe de fallo.
El documento FR 2908225 A desvela un método que implica verificar la integridad de una imagen visualizada por un control de señales de vídeo digitales transmitidas entre una unidad de procesamiento lógica y un dispositivo de visualización. Se genera un código de control binario, y se sustituyen bits de colores de código informático de un píxel de imagen por los bits del código binario correspondiente usando la unidad de procesamiento. El código binario o estimulación y/o el punto de control se leen por un dispositivo de control para verificar su coherencia y la integridad de la imagen.
Objeto de la invención
Es un objeto de la invención proporcionar: un método fiable y rápido para verificar la transferencia de datos de mapa de bits desde una primera a una segunda memoria.
Sumario de la invención
Este objeto se consigue por un método de acuerdo con la reivindicación 1, un programa informático de acuerdo con la reivindicación 8 y un sistema informático de acuerdo con la reivindicación 9.
El método inventivo comprende: a) modificar al menos una propiedad de un número de píxeles seleccionados a partir de los datos de mapa de bits de la primera memoria, realizándose la selección de una manera aleatoria, b) transferir los datos de mapa de bits que comprenden los píxeles modificados desde la primera memoria a la segunda memoria, c) leer de nuevo los píxeles modificados desde la segunda memoria, y d) comparar los píxeles modificados leídos de nuevo a los píxeles modificados de la primera memoria para verificar la transferencia correcta de los datos de mapa de bits, en el que la al menos una propiedad se modifica de tal manera que la modificación no es observable cuando se visualizan los píxeles modificados en la pantalla gráfica anteriormente mencionada. Para comprobar el copiado correcto de los datos de mapa de bits de una imagen total o de una porción de la misma desde la primera a la segunda memoria, puede ser suficiente comprobar si un número de píxeles seleccionados (típicamente pequeño) a partir de los datos de mapa de bits transferidos se han copiado correctamente leyendo de nuevo únicamente aquellos píxeles seleccionados. Sin embargo, en las presentes solicitudes de visualización de datos críticos para la seguridad, en particular para Sistemas de Control de Ferrocarril, las imágenes visualizadas típicamente comprenden grandes áreas de imagen que tienen el mismo color. Por lo tanto, cuando simplemente se lee de nuevo un pequeño número de píxeles desde los datos transferidos, existe un riesgo considerable de que los píxeles leídos de nuevo tengan la misma propiedad que los píxeles originales, incluso aunque la transferencia de datos se haya realizado incorrectamente, por ejemplo copiando los datos de mapa de bits a una posición incorrecta o con cambio de escala erróneo a la segunda memoria. En un caso de este tipo, debido al alto número de píxeles que tienen propiedades idénticas, la comprobación de los datos de mapa de bits leídos de nuevo puede indicar que los datos de mapa de bits se han transferido correctamente, incluso en casos donde la transferencia fue incorrecta.
El inventor por lo tanto propone modificar al menos una propiedad de los píxeles que se han de leer nuevamente antes de transferirlos a la segunda memoria. De tal manera que, los píxeles leídos de nuevo pueden servir como “píxeles de huella digital” de los datos de mapa de bits que se transfieren a la segunda memoria, permitiendo por lo tanto detectar el copiado de datos de mapa de bits a posiciones incorrectas y/o a un área escalada incorrectamente de la segunda memoria.
Para evitar errores sistemáticos que pueden tener lugar cuando se seleccionan píxeles siempre en las mismas posiciones de la imagen en la primera memoria, es ventajoso seleccionar aleatoriamente los píxeles de “huella digital” en la primera memoria. En particular, cuando se copian únicamente partes de la imagen desde la primera a la segunda memoria, los píxeles de “huella digital” aleatoriamente seleccionados permiten una única identificación de las respectivas partes copiadas de la imagen.
En una variante, el método comprende adicionalmente leer de nuevo un número de píxeles sin cambios desde la segunda memoria, y comparar los píxeles sin cambios leídos de nuevo a píxeles sin cambios correspondientes en la primera memoria para verificar la transferencia correcta de los datos de mapa de bits. Además de los píxeles modificados, puede leerse de nuevo también un número de píxeles sin cambios y compararse a los respectivos píxeles en la primera memoria. Es posible seleccionar aleatoriamente los píxeles sin cambios desde los datos de mapa de bits de la primera memoria, sin embargo, también es posible usar un número de píxeles sin cambios que tienen una posición predefinida en el área de los datos de mapa de bits copiados, dependiendo la posición predefinida, por ejemplo, del tipo de un símbolo gráfico que se cubre por los datos de mapa de bits, estando correlacionado el símbolo gráfico típicamente con un estado de operación de un elemento (por ejemplo una señal de ferrocarril) controlada por un sistema de control de ferrocarril. Se entenderá, sin embargo, que los componentes de software y/o hardware que están implicados en el proceso de copiado de los datos de mapa de bits desde la primera a la segunda memoria en general no tienen ninguna información de cuáles partes de la imagen contienen información gráfica y cuáles no, es decir estos componentes están adaptados para tratar cada píxel de los datos de mapa de bits igualmente.
5
10
15
20
25
30
35
40
45
50
55
60
65
En una variante, la propiedad modificada se selecciona a partir del grupo que consiste en: un valor de color de los píxeles, en particular un valor de color primario de los píxeles, y un valor de transparencia de los píxeles. En general, cada píxel de un mapa de bits se representa por al menos tres, típicamente por cuatro, valores numéricos: un valor para cada color básico, por ejemplo rojo, verde y azul. El cuarto valor es el denominado valor alfa que es una medida para la transparencia de un píxel. El valor alfa y los valores para rojo, verde y azul son valores numéricos que típicamente varían en un intervalo entre 0 y 1. Considerando el valor alfa, los valores de rojo, verde y azul resultantes en memoria de vídeo típicamente son:
(Rojo, Verde, Azul) memoria de vídeo.nuevo=
(Rojo, Verde, Azulea + (Rojo, Verde, Azul) memoria de vídeo, existente •(1-a)
Típicamente, la al menos una propiedad se modifica de tal manera que la modificación no se observará por un operador cuando se visualizan los píxeles modificados en una pantalla gráfica, es decir únicamente se realizan modificaciones marginales en la al menos una propiedad de los píxeles. Con respecto a los valores de color, típicamente un cambio de menos del 5 %, preferentemente de menos del 1 % para cada uno de los valores absolutos no se reconocerá / será visible por un operador usando la pantalla gráfica. Con respecto al valor alfa, una modificación de menos del 10 %, preferentemente de menos del 5 % (o de menos de 0,1, respectivamente menos de 0,05 en valores absolutos) no será visible para el operador.
En una variante, el método comprende adicionalmente: agrupar los datos de mapa de bits de la primera memoria en una pluralidad de áreas de imagen que tienen un tamaño predefinido, y realizar al menos la etapas a) individualmente para cada una de las áreas de imagen. Cuando se divide la imagen total en un número de áreas de imagen con tamaño predefinido, por ejemplo con 32 x 32 píxeles, dentro de cada área, puede usarse un número fijo de píxeles seleccionados aleatoriamente como píxeles de “huella digital”. En esta variante, el número total de píxeles en el área de imagen de tamaño predefinido es típicamente más de 50 veces, preferentemente más de 100 veces mayor que el número de píxeles modificados en el área de imagen. En el ejemplo anterior con un tamaño de área de 32 x 32 = 1024 píxeles, el número de píxeles modificados puede ser por ejemplo 10 o 5 píxeles, permitiendo por lo tanto reducir el tiempo para realizar la comprobación considerablemente - en al menos una magnitud en el ejemplo anterior - en comparación con leer de nuevo todos los píxeles del área de imagen.
En una variante adicional, el método comprende adicionalmente: usar un número de píxeles simulados modificados para realizar la comparación para verificar la función correcta de la comparación. De vez en cuando, por ejemplo en intervalos periódicos, una comprobación adicional de la función del comparador puede proporcionarse contra datos de huella digital simulados, es decir, erróneos, como una muestra. Una comprobación adicional de este tipo revela fallos de la función de comparación que conducirían a una comparación satisfactoria incluso si se visualizaran datos de mapa de bits incorrectos.
En otra variante, el resultado de la comparación de los píxeles modificados y/o no modificados puede visualizarse en una pantalla gráfica en el contexto de un sistema de visualización de prevención frente a fallos, indicando por ejemplo un estado de seguridad para el operador.
La invención también se refiere a un producto de programa informático adaptado para realizar todas las etapas del método de acuerdo con una cualquiera de las reivindicaciones anteriores. El producto de programa informático puede implementarse en un software o hardware adecuado, en particular un campo de matriz de puertas programables (FPGA) o un circuito integrado específico de la aplicación (ASIC).
Un aspecto adicional está relacionado con un sistema informático, en particular con una estación de trabajo, que comprende: una primera memoria, en particular una memoria principal, almacenando la primera memoria datos de mapa de bits que comprenden píxeles a visualizarse en una pantalla gráfica, y una segunda memoria, en particular una memoria de vídeo, una unidad de modificación para modificar al menos una propiedad de un número fijo de píxeles seleccionados a partir de datos de mapa de bits en la primera memoria, realizándose la selección de una manera aleatoria, una unidad de transferencia adaptada para transferir los datos de mapa de bits que comprenden los píxeles modificados desde la primera memoria a la segunda memoria y para leer de nuevo al menos los píxeles modificados desde la segunda memoria, y una unidad comparadora para comparar los píxeles modificados leídos de nuevo a los píxeles modificados de la primera memoria para verificar la transferencia correcta de los datos de mapa de bits, en el que la unidad de modificación está adaptada para modificar la al menos una propiedad de tal manera que la modificación no es observable cuando se visualizan los píxeles modificados en la pantalla gráfica. Usar un sistema de este tipo permite una visualización de prevención frente a fallos de datos críticos para la seguridad, en particular relacionados con sistemas de control de ferrocarril.
En realizaciones adicionales, la unidad de transferencia está adaptada para leer de nuevo un número de píxeles sin cambios desde la segunda memoria, y la unidad comparadora está adaptada para comparar los píxeles leídos de nuevo sin cambios a correspondientes píxeles sin cambios en la primera memoria para verificar la transferencia correcta de los datos de mapa de bits, y/o la unidad de modificación está adaptada para modificar una propiedad que se selecciona a partir del grupo que consiste en: un valor de color de los píxeles, en particular un valor de color primario de los píxeles, y un valor de transparencia de los píxeles.
5
10
15
20
25
30
35
40
45
50
55
60
65
El sistema informático puede comprender también una pantalla gráfica para visualizar los datos de mapa de bits de la segunda memoria, indicando también preferentemente el resultado de la comparación de los datos de mapa de bits como una información de estado / advertencia para el operador. Se entenderá que la unidad comparadora, la unidad de transferencia, y la unidad de modificación pueden implementarse como software o hardware adecuado del sistema informático, por ejemplo en forma de un ASIC o FPGA.
Se indican características y ventajas adicionales en la siguiente descripción de realizaciones ejemplares, con referencia a las figuras de los dibujos, que muestran detalles significativos y se definen mediante las reivindicaciones. Las características individuales pueden implementarse individualmente por sí mismas, o varias de ellas pueden implementarse en cualquier combinación deseada.
Breve descripción de los dibujos
Se muestran realizaciones ejemplares en el dibujo esquemático y se explican en la descripción a continuación. Se muestran las siguientes:
Figura la única figura muestra un diagrama esquemático de una realización de un sistema informático de acuerdo con la invención que está adaptado para visualización de prevención frente a fallos de datos críticos para la seguridad.
Descripción detallada de realizaciones preferidas
La Figura muestra un sistema informático 1 que comprende una estación de trabajo 2 y una pantalla gráfica 3, por ejemplo un monitor, que está conectado a la estación de trabajo 2. Se entenderá que la pantalla gráfica 3 puede estar conectada a la estación de trabajo 2 mediante un cable o una conexión inalámbrica, y que en lugar de un monitor, pueden usarse otros tipos de pantallas gráficas.
La estación de trabajo 2 comprende una primera (principal) memoria 4, es decir una memoria que se proporciona por ejemplo en la placa principal de la estación de trabajo 4, usándose la primera memoria 4 para almacenar datos de diferentes tipos, tales como programas informáticos que se ejecutan en la estación de trabajo 2. Un intervalo específico 5 de la primera memoria 4 se reserva para el almacenamiento de datos de mapa de bits 6, el intervalo 5 se subdivide en áreas de imagen 7 de tamaño predefinido, por ejemplo que tienen 32 x 32 o 64 x 64 píxeles cada una. Los datos de mapa de bits 6 pueden transferirse desde la memoria principal 4 a una segunda memoria (vídeo) 8 de una tarjeta gráfica 9, siendo la tarjeta gráfica 9 típicamente de manera exclusiva para almacenar datos de mapa de bits 5 a visualizarse en la pantalla gráfica 3. Una unidad de transferencia 10, por ejemplo un bus de campo y/u otro u otros componentes de software o de hardware se proporciona/proporcionan en la estación de trabajo 2 para realizar una transferencia de datos entre los diferentes componentes de la estación de trabajo 2, por ejemplo para transferir los datos de mapa de bits 6 desde la primera memoria 4 a la segunda memoria 8.
Para visualizar un cambio de estado de datos críticos para la seguridad, por ejemplo de símbolos gráficos 11 que representan diferentes estados de operación de elementos tales como señales de ferrocarril controladas por un Sistema de Control de Ferrocarril / Interbloqueo (no mostrado), puede realizarse el siguiente proceso:
En primer lugar, el símbolo gráfico 11 se vuelve a dibujar en su nuevo estado (por ejemplo en rojo en lugar de verde) en la primera memoria 4 cambiando una propiedad de los píxeles que constituyen el símbolo gráfico 11. Típicamente, en ambas memorias 4, 8, cada píxel se representa por tres valores de color (primarios), por ejemplo rojo, verde y azul, y por un cuarto valor, el denominado valor alfa, indicativo de la transparencia de los píxeles. Los píxeles se modifican por una unidad de modificación 13 que puede implementarse en forma de un componente de software o hardware adecuado. Se entenderá que también es posible una representación de los píxeles en la primera, respectivamente en la segunda memoria 4, 8 usando menos o más de cuatro propiedades por píxel.
Después de la modificación, las áreas de imagen 7a a 7d que se cubren parcialmente por el símbolo gráfico 11 tienen que copiarse a la memoria de vídeo 8 de la tarjeta gráfica 9. Sin embargo, antes de que tenga lugar la transmisión a la memoria de vídeo 8, cada área de imagen 7a a 7d recibe una huella digital individual, como sigue:
Dentro de cada área de imagen 7a a 7d, se selecciona aleatoriamente un número fijo de por ejemplo cinco píxeles 12 (mostrados ejemplarmente para el área de imagen 7b. Para cada uno de los cinco píxeles, al menos una propiedad (valor de color y/o valor de transparencia) se cambia marginalmente de tal manera que un operador que ve la pantalla gráfica 3 no podrá observar ninguna diferencia entre la representación con y sin los píxeles modificados 12. Para este fin, los valores de color / el valor alfa pueden cambiarse en menos del 1 %, preferentemente en menos del 0,5 %, o el valor absoluto puede cambiarse en menos del 0,01, respectivamente menos del 0,05.
Después de la transferencia de las áreas de imagen 7a a 7d desde la memoria principal 4 a la memoria de vídeo 8, la unidad de transferencia 10 se usa para leer de nuevo los valores de píxel de los píxeles de “huella digital”
5
10
15
20
25
30
35
40
45
50
55
modificados 12’ de cada una de las áreas de imagen 7a a 7d en la memoria de vídeo 8 a una unidad comparadora 15. La unidad de transferencia 10 también proporciona los píxeles de huella digital 12 en la primera memoria 4 a la unidad comparadora 15 para compararlos a los píxeles leídos de nuevo 12’ de cada área de imagen 7a a 7d. El resultado de la comparación es típicamente un valor binario que indica si la comparación ha sido o no satisfactoria, es decir, que indica que los píxeles de huella digital 12, 12’ de la primera y segunda memoria 4, 8 son idénticos o no.
La modificación de los píxeles “de huella digital” 12 antes de copiar las áreas de imagen 7a a 7d desde la primera 4 a la segunda memoria 8 se hace por la siguiente razón: dentro de cada área de imagen, los píxeles en sub-áreas que se cubren con símbolos gráficos y los píxeles dentro de sub-áreas no cubiertas, respectivamente, típicamente tienen propiedades idénticas, en particular idéntico color. Por lo tanto, cuando simplemente se lee de nuevo un pequeño número de píxeles a partir de los datos transferidos, existe un riesgo considerable de que los píxeles leídos de nuevo tengan la misma propiedad que los píxeles originales, incluso aunque la transferencia de datos se haya realizado incorrectamente.
Además, para fines de control, los píxeles de referencia no modificados 14 en las áreas de imagen 7a a 7d de la primera memoria 4 (en el presente ejemplo, cinco por área) se comparan a correspondientes píxeles de referencia no modificados 14’ en la segunda memoria 8. La posición de los píxeles no modificados 14 en las áreas de imagen 7a a 7d puede seleccionarse aleatoriamente, sin embargo, también es posible usar patrones predefinidos, seleccionando la posición de los píxeles de referencia 14 dentro de las áreas de imagen 7a a 7d, por ejemplo, dependiendo del símbolo gráfico 11 que cubre (parcialmente) la respectiva área de imagen 7a a 7d. Se entenderá que el número de los píxeles de referencia 14 no coincide necesariamente con el número de píxeles modificados 12.
El resultado de ambas comparaciones (píxeles modificados / no modificados) puede usarse en el contexto de un sistema de visualización de prevención frente a fallos, por ejemplo para visualizar el resultado actual de la comparación en la pantalla gráfica 3 como un indicador del estado de seguridad actual de la visualización.
El experto en la materia apreciará que en lugar de comparar los valores de los píxeles modificados / de referencia 12, 14 de las áreas de imagen 7a a 7d que se han copiado desde la memoria principal 4 a la memoria de vídeo 8 únicamente, los píxeles modificados / de referencia 12, 14 de todas las áreas de imagen 7 en el intervalo 5 pueden compararse durante cada cambio del estado de operación de un símbolo gráfico 11 para aumentar el nivel de seguridad de la visualización.
También, la función correcta de la unidad comparadora 15 puede comprobarse en una base cíclica frente a datos de huella digital erróneos que pueden proporcionarse como una muestra a la unidad de comparación 15 en lugar de los píxeles de huella digital leídos nuevamente. Esta comprobación permite revelar fallos en la función de comparación que conducirían a una comparación satisfactoria, incluso aunque se visualicen datos erróneos en la pantalla gráfica 3.
Típicamente, el número total de píxeles en cada una de las áreas de imagen 7 es más de 50 veces, en particular más de 100 veces mayor que el número de píxeles modificados / de referencia 12, 14 dentro de cada área de imagen 7. Por lo tanto, el proceso de comparar los píxeles modificados / de referencia 12’, 14’ de la imagen copiada con los píxeles modificados / de referencia 12, 14 de la imagen original es típicamente de una magnitud más rápida que la comparación de todos los datos de imagen copiados.
El proceso y sistema anteriormente descritos únicamente requieren una característica de la tarjeta gráfica 9, en concreto para transferir valores de píxel sencillos desde la memoria de vídeo 8 de vuelta a memoria principal 4. Ya que no dependen de ninguna otra característica especial de la tarjeta gráfica 9, en general no se requieren modificaciones cuando se cambia la última. El experto en la materia apreciará que aunque la descripción anterior se ha proporcionado para el ejemplo de datos de mapa de bits para un sistema de control de ferrocarril, los procesos y sistemas descritos en el presente documento pueden aplicarse igualmente bien a otras clases de datos, por ejemplo datos usados en tráfico aéreo o aplicaciones marítimas.
La descripción anterior de las realizaciones preferidas se ha proporcionado a modo de ejemplo. A partir de la divulgación dada, los expertos en la materia no únicamente entenderán la presente invención y sus ventajas adjuntas, sino también encontrarán diversos cambios y modificaciones evidentes a las estructuras y métodos desvelados. El solicitante busca, por lo tanto, cubrir todos tales cambios y modificaciones según se definen por las reivindicaciones adjuntas, y equivalentes de las mismas.
Claims (11)
- 5101520253035404550556065REIVINDICACIONES1. Método para verificar la transferencia correcta de datos de mapa de bits (6) desde una primera memoria, en particular una memoria principal (4), a una segunda memoria, en particular una memoria de vídeo (8), para visualizar los datos de mapa de bits (6) que comprenden píxeles (12, 12’) en una pantalla gráfica (3), comprendiendo el método:a) modificar al menos una propiedad de un número fijo de píxeles (12) seleccionados a partir de los datos de mapa de bits (6) en la primera memoria (4), realizándose la selección de una manera aleatoria,b) transferir los datos de mapa de bits (6) que comprenden los píxeles modificados (12) desde la primera memoria (4) a la segunda memoria (8),c) leer de nuevo los píxeles modificados (12’) desde la segunda memoria (8), yd) comparar los píxeles modificados leídos de nuevo (12’) a los píxeles modificados (12) de la primera memoria (4) para verificar la transferencia correcta de los datos de mapa de bits (6, 6’), en el que la al menos una propiedad se modifica de tal manera que la modificación no es observable cuando se visualizan los píxeles modificados (12’) en la pantalla gráfica (3).
- 2. Método de acuerdo con la reivindicación 1, que comprende adicionalmente:leer de nuevo un número de píxeles sin cambios (14’) desde la segunda memoria (8), y comparar los píxeles sin cambios leídos de nuevo (14’) a correspondientes píxeles sin cambios (14) en la primera memoria (4) para verificar la transferencia correcta de los datos de mapa de bits (6, 6’).
- 3. Método de acuerdo con la reivindicación 1 o 2, en el que la propiedad modificada se selecciona a partir del grupo que consiste en: un valor de color de los píxeles, en particular un valor de color primario de los píxeles, y un valor de transparencia de los píxeles.
- 4. Método de acuerdo con una cualquiera de las reivindicaciones anteriores, que comprende adicionalmente:agrupar los datos de mapa de bits (6) de la primera memoria (4) en una pluralidad de áreas de imagen (7, 7a-7d) que tienen un tamaño predefinido, y realizar al menos la etapa a) individualmente para cada una de las áreas de imagen (7, 7a-7d).
- 5. Método de acuerdo con la reivindicación 4, en el que el número total de píxeles en el área de imagen (7, 7a-d) de tamaño predefinido es más de 50 veces, preferentemente más de 100 veces mayor que el número de píxeles modificados (12,12’) en el área de imagen (7, 7a-d).
- 6. Método de acuerdo con una cualquiera de las reivindicaciones anteriores, que comprende adicionalmente:usar un número de píxeles modificados simulados para realizar la comparación para verificar la función correcta de la comparación.
- 7. Método de acuerdo con una cualquiera de las reivindicaciones anteriores, que comprende adicionalmente:visualizar el resultado de la comparación en una pantalla gráfica (3).
- 8. Producto de programa informático adaptado para realizar todas las etapas del método de acuerdo con una cualquiera de las reivindicaciones anteriores.
- 9. Un sistema informático (1,2), que comprende:una primera memoria, en particular una memoria principal (4), almacenando la primera memoria datos de mapa de bits (6) que comprenden píxeles (12, 12’) a visualizarse en una pantalla gráfica (3), una segunda memoria, en particular una memoria de vídeo (8),una unidad de modificación (13) para modificar al menos una propiedad de un número fijo de píxeles (12) seleccionados a partir de datos de mapa de bits (6) en la primera memoria (4), realizándose la selección de una manera aleatoria,una unidad de transferencia (10) adaptada para transferir los datos de mapa de bits (6) que comprenden los píxeles modificados (12) desde la primera memoria (4) a la segunda memoria (8) y para leer de nuevo al menos los píxeles modificados (12’) desde la segunda memoria (8), yuna unidad comparadora (15) para comparar los píxeles modificados leídos de nuevo (12’) a los píxeles modificados (12) de la primera memoria (4) para verificar la transferencia correcta de los datos de mapa de bits (6), en el que la unidad de modificación (13) está adaptada para modificar la al menos una propiedad de tal manera que la modificación no es observable cuando se visualizan los píxeles modificados (12’) en la pantalla gráfica (3).
- 10. Sistema informático de acuerdo con la reivindicación 9, en el que la unidad de transferencia (10) está adaptada para leer de nuevo un número de píxeles sin cambios (14’) desde la segunda memoria (8), y la unidad comparadora (15) está adaptada para comparar los píxeles sin cambios leídos de nuevo (14’) a correspondientes píxeles sin cambios (14) en la primera memoria (4) para verificar la transferencia correcta de los datos de mapa de bits (6).5
- 11. Sistema informático de acuerdo con la reivindicación 9 o 10, en el que la unidad de modificación (13) está adaptada para modificar una propiedad que se selecciona a partir del grupo que consiste en: un valor de color de los píxeles, en particular un valor de color primario de los píxeles, y un valor de transparencia de los píxeles.10 12. Sistema informático de acuerdo con una cualquiera de las reivindicaciones 9 a 11, que comprendeadicionalmente una pantalla gráfica (3) para visualizar los datos de mapa de bits (6) de la segunda memoria (8).
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| EP09005800.9A EP2244188B1 (en) | 2009-04-25 | 2009-04-25 | Method for verifying correct data transfer to a video memory |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| ES2655478T3 true ES2655478T3 (es) | 2018-02-20 |
Family
ID=40897647
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| ES09005800.9T Active ES2655478T3 (es) | 2009-04-25 | 2009-04-25 | Método para verificar la transferencia de datos correcta a una memoria de vídeo |
Country Status (7)
| Country | Link |
|---|---|
| EP (1) | EP2244188B1 (es) |
| DK (1) | DK2244188T3 (es) |
| ES (1) | ES2655478T3 (es) |
| NO (1) | NO2244188T3 (es) |
| PL (1) | PL2244188T3 (es) |
| PT (1) | PT2244188T (es) |
| RS (1) | RS56798B1 (es) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106371783B (zh) * | 2016-08-22 | 2019-05-07 | 浙江众合科技股份有限公司 | 一种基于像素块回检的安全显示检测方法 |
| EP3438828B1 (en) | 2017-08-03 | 2019-12-11 | Hitachi Rail Sts S.P.A. | Method and system for remote control of human machine interfaces |
| PL3549842T3 (pl) | 2018-04-06 | 2022-08-22 | Thales Management & Services Deutschland Gmbh | System sterowania ruchem pociągów i sposób bezpiecznego wyświetlania wskazania stanu systemu sterowania trasami i pociągami |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| DE3411015A1 (de) | 1984-03-24 | 1985-09-26 | Standard Elektrik Lorenz Ag, 7000 Stuttgart | Verfahren und einrichtung zur signaltechnisch sicheren bildschirmdarstellung eines meldebildes |
| DE4005393A1 (de) | 1990-02-21 | 1991-08-22 | Standard Elektrik Lorenz Ag | Einrichtung zur signaltechnisch sicheren darstellung eines meldebildes |
| DE4228917A1 (de) | 1992-08-28 | 1994-03-03 | Siemens Ag | Verfahren zum signaltechnisch sicheren Anzeigen verkehrstechnischer Informationen eines Verkehrswegesystems |
| DE19703574A1 (de) | 1997-01-31 | 1998-08-06 | Alsthom Cge Alcatel | Verfahren zur sicheren Darstellung eines Bildes auf einem Monitor |
| FR2792429B1 (fr) * | 1999-04-19 | 2001-07-13 | Cit Alcatel | Procede d'affichage d'elements graphiques sur un moyen de visualisation |
| DE102005045601A1 (de) * | 2005-09-23 | 2007-04-05 | Siemens Ag | Verfahren und Einrichtung zur Überprüfung der Bildausgabe eines Anzeigegerätes |
| FR2908225B1 (fr) * | 2006-11-02 | 2009-04-10 | Bernard Boisdequin | Procede d'affichage numerique d'au moins un signe representatif d'une valeur de consigne sur un dispositif de visualisation a ecran couleur sans effet de remanence |
-
2009
- 2009-04-25 RS RS20180077A patent/RS56798B1/sr unknown
- 2009-04-25 NO NO09005800A patent/NO2244188T3/no unknown
- 2009-04-25 PT PT90058009T patent/PT2244188T/pt unknown
- 2009-04-25 EP EP09005800.9A patent/EP2244188B1/en active Active
- 2009-04-25 DK DK09005800.9T patent/DK2244188T3/da active
- 2009-04-25 ES ES09005800.9T patent/ES2655478T3/es active Active
- 2009-04-25 PL PL09005800T patent/PL2244188T3/pl unknown
Also Published As
| Publication number | Publication date |
|---|---|
| NO2244188T3 (es) | 2018-05-19 |
| EP2244188B1 (en) | 2017-12-20 |
| PL2244188T3 (pl) | 2018-05-30 |
| DK2244188T3 (da) | 2018-01-29 |
| PT2244188T (pt) | 2018-03-13 |
| EP2244188A1 (en) | 2010-10-27 |
| RS56798B1 (sr) | 2018-04-30 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| ES2387459T3 (es) | Procedimiento para representar información relativa a seguridad en un dispositivo de presentación y dispositivo para aplicar el procedimiento | |
| KR101303463B1 (ko) | 개선된 정보 가용성을 갖는 항공기 평면 패널 디스플레이시스템 | |
| EP2779151B1 (en) | Video output checker | |
| EP3353769B1 (en) | Apparatus and method for testing of display subsystems | |
| ES2401407T3 (es) | Módulo de exhibidor visual con control de datos de exhibición por suma de control | |
| US9958318B2 (en) | Apparatus and method for checking the integrity of visual display information | |
| US20190043455A1 (en) | Method and apparatus for generating an image | |
| ES2655478T3 (es) | Método para verificar la transferencia de datos correcta a una memoria de vídeo | |
| AU2013349762B2 (en) | Colour-discriminating checksum computation in a human-machine interface | |
| ES2757849T3 (es) | Imagen de un proceso de una instalación técnica, en particular de una instalación de vía férrea | |
| KR20130114576A (ko) | 정보 표현 방법, 정보 표현 패턴이 형성된 물품, 정보 출력 장치, 및 정보 표현 장치 | |
| US20190066347A1 (en) | Method and apparatus for generating an image | |
| JP2011075824A (ja) | 監視画面試験装置 | |
| ES2225486T3 (es) | Procedimiento y dispositivo para controlar una unidad de pantalla para un sistema de guiado del trafico ferroviario. | |
| BRPI1105104A2 (pt) | processo para verificaÇço de dados de display formatados em pixel para apresentaÇço em um monitor de um aparelho indicador em um veÍculo | |
| US20030095123A1 (en) | Method and device for control of a display device for a railway control system | |
| EP2998187A1 (en) | Method for transferring information to be displayed at an information terminal | |
| JP6554048B2 (ja) | 表示装置 | |
| ES2901165T3 (es) | Vigilancia de una indicación en un puesto de conductor de un medio de transporte | |
| BRPI1105101A2 (pt) | Processo para caracterização de telas relevantes para a segurança e não relevantes para a segurança em um dispositivo indicador por meio de um marcador óptico | |
| CN113614700A (zh) | 一种图像显示监控的方法、装置及设备 | |
| CN116039719A (zh) | 基于hmi站场图显示的故障检测方法及装置和存储介质 |