PROCEDIMIENTO PARA EL CALCULO SEGURO DE RESULTADOS EN UN SISTEMA MICROPROCESADOR.
Procedimiento para el cálculo seguro de un valor de resultado (E) en un sistema de microprocesador con,
como mínimo, un microprocesador, en el que - se realiza un primer cálculo del valor de resultado (E), con lo que se genera un primer resultado de cálculo (E1); - se realiza, como mínimo, un segundo cálculo del valor de resultado (E), con lo que se genera un segundo resultado de cálculo (E2); - se comparan entre sí el primer resultado de cálculo (E1) y el segundo resultado de cálculo (E2), de modo que el segundo cálculo se realiza de manera tal que, si el primer y el segundo cálculos se realizan sin errores, el primer valor de resultado (E1) y el segundo valor de resultado (E2) coinciden; y - si el primer resultado de cálculo (E1) y el segundo resultado de cálculo (E2) no coinciden, el valor de resultado calculado (E) se desecha como erróneo; de modo que el primer resultado de cálculo (E1) se calcula utilizando, como mínimo, un primer parámetro (Pv) y el segundo resultado de cálculo (E2) se calcula utilizando, como mínimo, un segundo parámetro (~ Pv), siendo, como mínimo, un primer parámetro (Pv) y un segundo parámetro (~ Pv) valores complementarios entre sí, y de modo que E1 = v=1 n Sumcv * Pv y E2 = v=1 n Sumcv * ( ~ Pv) + k donde Pv = parámetro presente en formato numérico binario, procesable por un microprocesador, con una longitud de "b" bits cv = parámetro de signo para determinar la operación de cálculo, en el caso más sencillo cv { ± 1} cv = +1 --> Suma cv = -1 --> Resta n = número de parámetros ~ = valor complementario por bits de un valor correspondiente k = valor de corrección para el cotejo de los resultados de cálculo, seleccionado de forma que, en caso de que el primer y el segundo cálculos se ejecuten sin errores, el primer resultado de cálculo (E1) y el segundo resultado de cálculo (E2) sean coincidentes.
Tipo: Resumen de patente/invención.
Solicitante: GIESECKE & DEVRIENT GMBH.
Nacionalidad solicitante: Alemania.
Dirección: PRINZREGENTENSTRASSE 159,81677 MUNCHEN.
Inventor/es: WIREN,ARVID, SEYSEN,MARTIN,DR, BOUABDALLAH,NOUREDINE.
Fecha de Publicación: .
Fecha Solicitud PCT: 15 de Febrero de 2005.
Fecha Concesión Europea: 22 de Octubre de 2008.
Clasificación PCT:
- G06F11/14 FISICA. › G06 CALCULO; CONTEO. › G06F PROCESAMIENTO ELECTRICO DE DATOS DIGITALES (sistemas de computadores basados en modelos de cálculo específicos G06N). › G06F 11/00 Detección de errores; Corrección de errores; Monitorización (detección, corrección o monitorización de errores en el almacenamiento de información basado en el movimiento relativo entre el soporte de registro y el transductor G11B 20/18; monitorización, es decir, supervisión del progreso del registro o reproducción G11B 27/36; en memorias estáticas G11C 29/00). › Detección o corrección de errores en los datos por redundancia en las operaciones, p. ej. mediante la utilización de diversas secuencias de operaciones que conduzcan al mismo resultado (G06F 11/16 tiene prioridad).
Países PCT: Austria, Bélgica, Suiza, Alemania, Dinamarca, España, Francia, Reino Unido, Grecia, Italia, Liechtensein, Luxemburgo, Países Bajos, Suecia, Mónaco, Portugal, Irlanda, Eslovenia, Finlandia, Rumania, Chipre, Lituania, Letonia, Ex República Yugoslava de Macedonia, Albania.
Patentes similares o relacionadas:
Procedimiento de parada de emergencia y sistema de seguridad asociado, del 20 de Mayo de 2020, de CLEARSY: Procedimiento de parada de emergencia de un elemento de seguridad de un conjunto de seguridad , comprendiendo el conjunto de seguridad […]
Procedimiento y aparato para la eliminación y la adición de CPU en caliente durante el funcionamiento, del 25 de Marzo de 2020, de HUAWEI TECHNOLOGIES CO., LTD.: Un procedimiento de eliminación de unidades centrales de procesamiento CPU en caliente, donde el procedimiento se puede aplicar a un único servidor con una primera […]
Sistemas críticos de seguridad ferroviaria con redundancia de tareas y capacidad de comunicaciones asimétricas, del 22 de Enero de 2020, de Siemens Mobility, Inc: Sistema de control para un sistema de aplicación crítico de seguridad ferroviaria, que comprende: al menos un controlador, que comprende un procesador […]
Método, aparato, y sistema para determinar y ejecutar en una red inalámbrica una política de distribución de datos, del 8 de Enero de 2020, de HUAWEI TECHNOLOGIES CO., LTD.: Un método de procesamiento de datos de comunicación, que comprende: adquirir , por un aparato de procesamiento, una política de distribución de datos desde […]
Procedimiento, sistema, terminal y servidor de gestión de dispositivos para instalar componentes de software, del 27 de Noviembre de 2019, de HUAWEI TECHNOLOGIES CO., LTD.: Un procedimiento para instalar componentes de software, que comprende: recibir , mediante un terminal, un paquete de componentes de software suministrado directamente […]
Reconfiguración parcial de componentes de aceleración, del 24 de Julio de 2019, de Microsoft Technology Licensing, LLC: Un método para reconfigurar parcialmente un componente de aceleración de hardware programado con un rol y una interfaz de red, […]
Seguimiento de cambios usando redundancia en tiempo lógico, del 4 de Junio de 2019, de Microsoft Technology Licensing, LLC: Un método para mantener el seguimiento de cambios entre porciones unitarias de un sistema de almacenaje, comprendiendo el método: […]
Procedimiento para verificar un estado de funcionamiento seguro de un ordenador, del 21 de Mayo de 2019, de Siemens Mobility GmbH: Procedimiento para verificar un estado de funcionamiento seguro de un ordenador para controlar un sistema crítico para la seguridad, particularmente un sistema de […]