BR102013015403A2 - Calculadora, conjunto de comunicação que comporta tal calculadora, sistema de gestão ferroviária que comporta tal conjunto, e método de confiabilidade de dados em uma calculadora - Google Patents
Calculadora, conjunto de comunicação que comporta tal calculadora, sistema de gestão ferroviária que comporta tal conjunto, e método de confiabilidade de dados em uma calculadora Download PDFInfo
- Publication number
- BR102013015403A2 BR102013015403A2 BRBR102013015403-2A BR102013015403A BR102013015403A2 BR 102013015403 A2 BR102013015403 A2 BR 102013015403A2 BR 102013015403 A BR102013015403 A BR 102013015403A BR 102013015403 A2 BR102013015403 A2 BR 102013015403A2
- Authority
- BR
- Brazil
- Prior art keywords
- data
- security code
- calculation
- calculator
- modules
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
- B61L19/06—Interlocking devices having electrical operation
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/30—Trackside multiple control systems, e.g. switch-over between different systems
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B9/00—Safety arrangements
- G05B9/02—Safety arrangements electric
- G05B9/03—Safety arrangements electric with multiple-channel loop, i.e. redundant control systems
-
- 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/0796—Safety measures, i.e. ensuring safe condition in the event of error, e.g. for controlling element
-
- 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/16—Error detection or correction of the data by redundancy in hardware
- G06F11/1629—Error detection by comparing the output of redundant processing systems
- G06F11/1633—Error detection by comparing the output of redundant processing systems using mutual exchange of the output between the redundant processing components
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/55—Detecting local intrusion or implementing counter-measures
- G06F21/554—Detecting local intrusion or implementing counter-measures involving event detection and direct action
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L21/00—Station blocking between signal boxes in one yard
- B61L21/04—Electrical locking and release of the route; Electrical repeat locks
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Software Systems (AREA)
- Mechanical Engineering (AREA)
- Quality & Reliability (AREA)
- Computer Hardware Design (AREA)
- Automation & Control Theory (AREA)
- Bioethics (AREA)
- Health & Medical Sciences (AREA)
- General Health & Medical Sciences (AREA)
- Mathematical Physics (AREA)
- Databases & Information Systems (AREA)
- Data Mining & Analysis (AREA)
- Hardware Redundancy (AREA)
- Storage Device Security (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
Calculadora, conjunto de comunicação que comporta tal calculadora, sistema de gestão ferroviária que comporta tal conjunto, e método de confiabilidade de dados em uma calculadora. Trata-se de método de confiabilidade de dados em uma calculadora (6), sendo que a calculadora (6) é própria para fornecer um dado de salda (ds) a partir de um dado de entrada (de), e que comporta pelo menos dois módulos (12a, 12b) de tratamento de dados, e um membro de cálculo (14) ligado a cada módulo de tratamento (12a, 12b) que compreende uma etapa de cálculo, por cada módulo de tratamento (12a, 12b), de um dado intermediário (dia, dib) a partir do dado de entrada (de). O método compreende as etapas a seguir: - calcular, através de cada módulo de tratamento (12a, 12b), um código de segurança intermediário (csia, csib) a partir do dado intermediário (dia, dib) correspondente, - transmitir ao membro de cálculo (14), através de cada módulo de tratamento (12a, 12b), o código de segurança intermediário (csia, csib) e o dado intermediário (dia, dib), - calcular, através do membro de cálculo (14), um código de segurança (cs) a partir dos códigos de segurança intermediários (csia, csib), - selecionar, através do membro de cálculo (14), um dado intermediário entre os dados intermediários (dia, dib) recebidos, em que o dado de saída (ds) da calculadora (6) compreende o dado intermediário selecionado, e - transmitir para o destino de um dispositivo de recepção (8), através do membro de cálculo (14), o código de segurança (cs) e o dado de saída (ds).
Description
“CALCULADORA, CONJUNTO DE COMUNICAÇÃO QUE COMPORTA TAL CALCULADORA, SISTEMA DE GESTÃO FERROVIÁRIA QUE COMPORTA TAL CONJUNTO, E MÉTODO DE CONFIABILIDADE DE DADOS EM UMA CALCULADORA” A presente invenção refere-se a um método de confiabilidade de dados em uma calculadora, sendo que a calculadora é própria para fornecer um dado de saída a partir de um dado de entrada, e que comporta pelo menos dois módulos de tratamento de dados, e um membro de cálculo ligado a cada módulo de tratamento, em que o método compreende uma etapa de cálculo, através de cada módulo de tratamento, de um dado intermediário a partir do dado de entrada, em que o dito cálculo consiste na aplicação de uma função de cálculo no dado de entrada, sendo que a função de cálculo é idêntica para todos os módulos de tratamento. A presente invenção refere-se, igualmente, a uma calculadora, própria para fornecer um dado de saída a partir de um dado de entrada, que comporta: - pelo menos dois móduios de tratamento de dados, em que cada módulo de tratamento comporta primeiros meios de cálculo de um dado intermediário a partir do dado de entrada, sendo que os ditos primeiros meios de cálculo são próprios para aplicar uma função de cálculo no dado de entrada, sendo que a função de cálculo é idêntica para todos os módulos de tratamento, - um membro de cálculo ligado a cada módulo de tratamento. A presente invenção refere-se igualmente a um conjunto de comunicação que compreende tal calculadora. A presente invenção refere-se igualmente a um sistema de gestão ferroviária que compreende tal conjunto de comunicação. É conhecida uma calculadora do tipo citado anteriormente. Tal calculadora é própria para tratar dados e/ou informações que circulam em uma rede de comunicação e é geralmente utilizada em um sistema de comunicação securitário, por exemplo, um sistema de gestão ferroviária. A fim de garantir as funções críticas de segurança necessárias para o sistema de gestão ferroviária, a probabilidade de aparição de um dado errôneo e não detectável na saída de tal calculadora deve ser reduzida ao máximo. A norma de segurança ferroviária europeia EN 50 128 impõe, por exemplo, que os equipamentos relativos à segurança de trens sejam concebidos de maneira que sua probabilidade de defeito sob demanda seja compreendida entre 10'9 e 10"7. Uma técnica conhecida por garantir a segurança é denominada “segurança composta” e consiste em fazer realizar os mesmos tratamentos para diversos módulos de tratamento de dados de uma mesma calculadora, depois de prosseguir para um “voto majoritário”. Para esse fim, cada módulo calcula um dado de saída a partir de um mesmo dado de entrada. Além disso, tal calculadora comporta geralmente meios de arbitragem aptos para garantir a função de “voto majoritário” entre os dados de saída calculados.
Os meios de arbitragem de tal calculadora comportam, todavia, no mínimo uma camada material, talvez completada com uma camada de software. Ou o defeito de tal camada material é suscetível de levar a uma falha de segurança que pode conduzir a incidentes críticos para o sistema de comunicação securitário.
Um objetivo da invenção é, portanto, propor um método de confiabilidade de dados em uma calculadora que permite se destacar da utilização de meios materiais dedicados para garantir a função de voto majoritário da calculadora.
Para esse fim, a invenção tem como objetivo um método de confiabilidade de dados em uma calculadora do tipo citado anteriormente, caracterizado pelo fato de que compreende as etapas a seguir: - calcular, através de cada módulo de tratamento, um código de segurança intermediário a partir do dado intermediário correspondente, - transmitir para o membro de cálculo, através de cada módulo de tratamento, o código de segurança intermediário e o dado intermediário, - calcular, através do membro de cálculo, um código de segurança a partir dos códigos de segurança intermediários, - selecionar, através do membro de cálculo, um dado intermediário entre os dados intermediários recebidos, em que o dado de saída da calculadora compreende o dado intermediário selecionado, e - transmitir para o destino de um dispositivo de recepção, através do membro de cálculo, o código de segurança e o dado de saída.
Conforme outros aspectos vantajosos da invenção, o método compreende uma ou mais das seguintes características, tidas isoladamente ou conforme todas as combinações tecnicamente possíveis: - cada módulo de tratamento comporta primeiros meios de memorização de pelo menos uma variável de codificação e de uma função de codificação, sendo que a função de codificação é idêntica para todos os módulos de tratamento, e no momento da etapa de cálculo de um código de segurança intermediário a partir do dado intermediário correspondente, o dito cálculo consiste em aplicar, através de cada módulo de tratamento, a função de codificação pelo menos para o dado intermediário e para a variável de codificação; - o membro de cálculo comporta segundos meios de memorização de pelo menos uma constante de decodificação e uma função de consolidação, e no momento da etapa de cálculo de um código de segurança a partir dos códigos de segurança intermediários, o dito cálculo consiste em aplicar, através do membro de cálculo, a função de consolidação para cada código de segurança intermediário recebido e para a constante de decodificação; - o método comporta, adicionalmente, entre a etapa de cálculo de um dado intermediário e a etapa de cálculo de um código de segurança intermediário, uma etapa de transmissão, através de cada módulo de tratamento, do valor de seu dado intermediário para os outros módulos de tratamento e uma etapa de teste, através de cada módulo de tratamento, da existência de um valor majoritário entre o conjunto de valores dos dados intermediários, sendo que o valor majoritário é o valor mais frequente entre os valores de dados intermediários, caso esse valor exista; - se o teste de existência de um valor majoritário for negativo no momento da etapa de teste correspondente, o método comporta uma etapa de supressão para um dos módulos de tratamento de sua variável de codificação; - o método comporta adicionalmente, antes da etapa de cálculo de um código de segurança intermediário, uma etapa de reinicialização, através de cada módulo de tratamento, de sua variável de codificação, sendo que a etapa de reinicialização é realizada de maneira sincronizada entre todos os módulos de tratamento; - o dado de saída é o dado intermediário selecionado através do membro de cálculo no momento da etapa de seleção; - o método comporta adicionalmente uma etapa de recepção, através do dispositivo de recepção, do código de segurança e do dado de saída e uma etapa de verificação, através do dispositivo de recepção, da coerência entre o código de segurança e o dado de salda. A invenção tem igualmente como objetivo uma calculadora do tipo citado anteriormente, caracterizada pelo fato de que os primeiros meios de cálculo são adicionalmente próprios para calcular um código de segurança intermediário a partir do dado intermediário correspondente, sendo que cada módulo de tratamento é próprio para transmitir para o membro de cálculo o código de segurança intermediário e o dado intermediário correspondente, e que o membro de cálculo comporta segundos meios de cálculo de um código de segurança a partir dos códigos de segurança intermediários, sendo que o membro de cálculo é próprio para selecionar um dado intermediário entre os dados intermediários recebidos e para transmitir o código de segurança e o dado de saída para um dispositivo de recepção, em que o dado de saída compreende o dado intermediário selecionado. A invenção tem igualmente como objetivo um conjunto de comunicação que compreende uma calculadora e um dispositivo de recepção de dados, sendo que a calculadora é própria para fornecer um código de segurança e um dado, em que o dispositivo de recepção comporta meios de memorização de um algoritmo de controle, sendo que o dispositivo de recepção é próprio para receber o código de segurança e o dado de saída, e para verificar, mediante a implantação do algoritmo de controle, a coerência entre o código de segurança e o dado de saída, caracterizada pelo fato de que a calculadora é conforme definido acima. A invenção tem igualmente como objetivo um sistema de gestão ferroviária caracterizado pelo fato de que compreende pelo menos um conjunto de comunicação conforme definido acima.
Essas características e vantagens da invenção serão claras com a leitura da descrição que segue, fornecida exclusivamente a título de exemplo não limitante, e feita em referência aos desenhos anexos, nos quais: - a Figura 1 é uma representação esquemática de um sistema de gestão ferroviária que compreende uma calculadora de acordo com a invenção, em que a calculadora comporta dois módulos de tratamento de dados; - a Figura 2 é uma representação esquemática de um dos módulos de tratamento de dados da calculadora da Figura 1; e - a Figura 3 é um organograma que representa um método de confiabilidade de dados de acordo com a invenção, implantado pela calculadora da Figura 1.
Na presente descrição, serão denominados “dados de segurança” os dados lógicos ou informações que circulam em uma rede de comunicação. A rede de comunicação é tipicamente uma rede não segura, e cada dado de segurança circula na rede acompanhado por um código de segurança. Um dado de segurança emitido na rede por um dispositivo de emissão é aceito por um dispositivo de recepção exclusivamente se o dispositivo de recepção determina, por meio de um algoritmo de controle predeterminado, que o dado de segurança emitido e o código de segurança que o acompanha são coerentes. A Figura 1 representa um sistema de gestão ferroviária 1 que compreende um conjunto de comunicação 2. O sistema de gestão ferroviária 1 é, por exemplo, implantado em uma estação ferroviária. O mesmo é, por exemplo, próprio para determinar e fazer circular ordens de comando para o destino de trens, ou para o destino de sistemas de segurança de vias, como desvios. O conjunto 2 compreende uma calculadora 6 e um dispositivo 8 de recepção de dados, ligado à calculadora 6 por meio de uma ligação de dados 10. A calculadora 6 comporta meios 11 de recepção de dados, um primeiro módulo 12A de tratamento de dados e um segundo módulo 12B de tratamento de dados, sendo que cada módulo de tratamento 12A, 12B é ligado aos meios de recepção 11. A calculadora 6 comporta adicionalmente um membro de cálculo 14, ligado a cada módulo de tratamento 12A, 12B, e meios 18 de emissão de dados para o destino do dispositivo de recepção 8, sendo que os ditos meios de emissão 18 são ligados ao membro 14. A calculadora 6 é uma calculadora de segurança, fixada de modo permanente no seio do sistema de gestão ferroviária 1. A calculadora 6 é própria para realizar cálculos sobre os dados de segurança que circulam em uma rede de comunicação do sistema de gestão ferroviária 1. A calculadora 6 é particularmente mais própria para fornecer para o dispositivo de recepção 8 um dado de saída Ds^ a partir de um dado de entrada De, emitido de um dispositivo de comunicação, como outra calculadora. No exemplo de realização descrito, os dados de entrada De e de saída Ds são variáveis formadas por uma combinação de bits, por exemplo, uma combinação de dezesseis bits. O dispositivo de recepção 8 comporta uma memória de armazenamento de um algoritmo de controle, não representado. O dispositivo de recepção 8 é, por exemplo, uma calculadora de segurança. A mesma é própria para receber um código de segurança Cs e o dado de saída Ds e para verificar, mediante a implantação do algoritmo de controle, a coerência entre o código de segurança Cs e o dado de saída Ds. A ligação de dados 10 é, por exemplo, uma ligação radioelétrica conforme a norma IEEE-802-11, geralmente denominada ligação Wi-Fi™.
Os meios de recepção 11 são próprios para receber o dado de entrada De e para entregar esse dado de entrada De na entrada de cada módulo de tratamento 12A, 12B. O primeiro módulo de tratamento 12A e o segundo módulo de tratamento 12B apresentam, cada um, a mesma estrutura. A seguir, apenas a estrutura do primeiro módulo de tratamento 12A será, portanto, descrita.
Conforme ilustrado na Figura 2, o primeiro módulo de tratamento 12A comporta primeiros meios de memorização 20A, primeiros meios de cálculo 22A, ligados aos meios de memorização 20A, e meios de comunicação 24A, ligados aos primeiros meios de cálculo 22A. O primeiro módulo de tratamento 12A comporta adicionalmente meios de apagamento 26A, ligados aos primeiros meios de memorização 20A, e meios de sincronização 28A, ligados aos meios de comunicação 24A. O primeiro módulo de tratamento 12A comporta igualmente meios de modificação 30A, ligados aos primeiros meios de memorização 20A e aos meios de sincronização 28A.
No exemplo de realização, os primeiros meios de memorização 20A são formados a partir de uma memória flash, conhecida por si mesma. Como alternativa, os primeiros meios de memorização 20A são formados a partir de uma memória não volátil regravável. Ainda como alternativa, os primeiros meios de memorização 20A são formados a partir de uma memória volátil regravável.
Os primeiros meios de memorização 20A são próprios para armazenar uma variável de codificação VCa, própria para o primeiro módulo 12A. No exemplo de realização, a variável de codificação VCa é formada a partir de uma combinação de dezesseis bits. Os primeiros meios de memorização 20A são igualmente próprios para armazenar uma função de cálculo o, uma função de codificação Fc e uma função de reinicialização Fréjn. No exemplo de realização, a função de cálculo o é a função lógica “NÃO", classicamente conhecida. Aiém disso, a função de codificação Fc é, no exemplo de realização, a função lógica “OU exclusivo”, classicamente conhecida. A função de reinicialização Fréin é igualmente, por exemplo, a função lógica “OU exclusivo”.
No exemplo de realização da Figura 2, os primeiros meios de cálculo 22A são formados a partir de um processador de dados, conhecido por si mesmo. Os primeiros meios de cálculo 22A são ligados, por um lado, aos meios de recepção 11 e, por outro lado, ao membro 14. Os primeiros meios de cálculo 22A recebem o dado de entrada De e fornecem na entrada do membro 14 um dado de saída intermediário D|A e um código de segurança intermediário CSia· Os primeiros meios de cálculo 22A são próprios para calcular o valor do dado de saída intermediário D|A a partir do valor do dado de entrada De. O dado D,a é, portanto, por exemplo, expresso conforme segue. (1) No exemplo de realização, o dado de saída intermediário D|A é uma variável formada a partir de uma combinação de dezesseis bits.
Os primeiros meios de cálculo 22A são próprios adicionalmente para calcular o valor do código de segurança intermediário CS|A a partir do valor do dado de saída intermediário D,a e do valor da variável de codificação VCA. O código de segurança intermediário CSiA é expresso conforme segue : (2) F-ι, respectivamente MA, são uma função, respectivamente uma constante, armazenados nos primeiros meios de memorização 20A. F·, é, por exemplo, a função lógica “ET”. No exemplo de realização, MA é uma constante formada a partir de uma combinação de dezesseis bits. MA é, por exemplo, formada a partir de uma combinação de oito primeiros bits cujo valor é igual a um e de oito últimos bits cujo valor é igual a zero.
Os primeiros meios de cálculo 22A são próprios adicionalmente para testar a existência de um valor majoritário entre diversos valores de dados de saída intermediários, sendo que o valor majoritário é o valor mais frequente entre os valores de dados de saída intermediários, caso esse valor exista.
Os meios de comunicação 24A comportam meios de emissão 31A e meios de recepção 32A. Os meios de emissão 31A são próprios para ser ligados aos meios de recepção 32B do segundo módulo 12B por meio de uma ligação de dados 34. Os meios de recepção 32A são próprios para ser ligados aos meios de emissão 31B do segundo módulo 12B por meio da ligação de dados 35.
As ligações de dados 34, 35 são, por exemplo, ligações radioelétricas conforme a norma IEEE-802-11, geralmente denominadas ligações Wi-Fi™ Os meios de apagamento 26A são, por exemplo, formados a partir de um processador de dados. Os mesmos são próprios para apagar o valor atual da variável de codificação VCA armazenada no seio da memória 20A.
Os meios de sincronização 28A comportam, por exemplo, um relógio próprio para entregar sinais impulsivos em instantes i regulares. Os meios de sincronização 28A são próprios para enviar sinais de sincronização para o destino dos meios de comunicação 24A e dos meios de modificação 30A. Os meios de sincronização 28A são próprios adicionalmente para se sincronizar com os meios de sincronização 28B do segundo módulo de tratamento 12B, por meio dos sinais de sincronização transmitidos pelos meios de comunicação 24A.
Os meios de modificação 30A comportam, por exemplo, um gerador 38A de sequências pseudoaleatórias e um processador 40A. O gerador 38A de sequências pseudoaleatórias é ligado aos meios de sincronização 28A e ao processador 40A. O gerador 38A é próprio para fornecer para o processador 40A um sinal pseudoaleatório Spa, em seguida à recepção de um sinal de sincronização entregue pelos meios de sincronização 28A. Mais precisamente, em cada instante i, o gerador 38A é próprio para fornecer para o processador 40A um sinal pseudoaleatório Spa(i). O processador 40A é ligado adicionalmente aos primeiros meios de memorização 20A e aos meios de sincronização 28A. O processador 40A é próprio, em seguida à recepção de um sinal de sincronização entregue pelos meios de sincronização 28A, para modificar o valor atual da variável de codificação VCa armazenado no seio dos primeiros meios de memorização 2QA. Mais precisamente, em cada instante L o processador 40A é próprio para determinar o valor atual VCA (i) da variável de codificação VCa, notadamente a partir do valor precedente VCa (i-1) da variável de codificação VCa· O valor atual no instante i da variável de codificação VGAé expresso conforme segue: (3) Os meios de modificação 30A são, assim, próprios para modificar o valor atual da variável de codificação VCA armazenado no seio dos primeiros meios de memorização 20A. O primeiro módulo de tratamento 12A é, assim, próprio para calcular e para fornecer na entrada do membro 14 o dado de saída intermediário DiA e o código de segurança intermediário CS|A.
Os primeiros meios de memorização 20B do segundo módulo de tratamento 12B são próprios para armazenar uma variável de codificação VCb, própria para o módulo 12B, e uma função de cálculo o, idêntica à função de cálculo σ do primeiro módulo de tratamento 12A. No exemplo de realização, a variável de codificação VCb é formada a partir de uma combinação de dezesseis bits. Os primeiros meios de memorização 20B são igualmente próprios para armazenar uma função de codificação Fc, idêntica à função de codificação Fc do primeiro módulo de tratamento 12A, e uma função de reinicialização Fréin, idêntica à função de reinicialização Fréin do primeiro módulo de tratamento 12A.
Os meios de modificação 30B do segundo módulo de tratamento 12B são próprios para modificar o valor atual da variável de codificação VCb armazenada no seio dos primeiros meios de memorização 20B. O valor atual no instante i da variável de codificação VCb é expresso conforme segue: (4) O segundo módulo de tratamento 12B é, assim, próprio para calcular e para fornecer, na entrada do membro de cálculo 14, um dado de saída intermediário Dib e um código de segurança intermediário CSib· O dado de saída intermediário D)B e o código de segurança intermediário CSib são expressos conforme a seguir: (5) (6) F-i, respectívamente MB, são uma função, respectivamente uma constante, armazenados nos primeiros meios de memorização 20B. A função F·, é idêntica à função F-i do primeiro módulo de tratamento 12A. No exemplo de realização, MB é uma constante formada a partir de uma combinação de dezesseis bits. MB é, por exemplo, formado a partir de uma combinação de oito primeiros bits cujo valor é igual a zero e de oito últimos bits cujo valor é igual a um.
No exemplo de realização descrito, o dado de saída intermediário Dib é uma variável formada a partir de uma combinação de dezesseis bits. A cada instante i, os valores das variáveis de codificação VCa. respectivamente Vcb do módulo de tratamento 12A, respectivamente 12B, verificam entre si uma mesma relação matemática, por exemplo, a relação matemática a seguir: (7) em que F2 é, por exemplo, a função lógica “OU exclusivo” e K é uma constante. No exemplo de realização, K é uma constante formada a partir de uma combinação de dezesseis bits.
Os módulos de tratamento 12A, 12B são próprios para a troca de dados, de acordo com um protocolo de comunicação sincronizado, através de seus meios de comunicação e seus meios de sincronização respectivos. O membro de cálculo 14 forneceu na entrada dos meios de emissão 18 o dado de saída DSj. assim como o código de segurança Cs O membro 14 comporta segundos meios de memorização 42 e segundos meios de cálculo 44, ligados aos segundos meios de memorização 42.
Os segundos meios de memorização 42 são formados, por exemplo, a partir de uma memória flash. Os segundos meios de memorização 42 são próprios para armazenar uma constante de decodificação KD e uma função de consolidação FCOnso· No exemplo de realização, a função de consolidação Fconso é a função lógica “OU exclusivo”, e a constante de decodificação KD é uma constante formada a partir de uma combinação de dezesseis bits.
No exemplo de realização descrito, os segundos meios de cálculo 44 são formados a partir de um processador de dados. Os segundos meios de cálculo 44 são ligados, por um lado, a cada um dos primeiros meios de cálculo 22A, 22B e, por outro lado, aos meios de emissão 18. Os segundos meios de cálculo 44 fornecem na entrada dos meios de emissão 18 o dado de saída Dseo código de segurança Cs. Os segundos meios de cálculo 44 são próprios para calcular o valor do dado de saída Ds a partir do valor dos dados de saída intermediários D)A, D|B. O valor do dado de saída Ds é, no exemplo de realização, tido como igual ao valor do dado de saída intermediário DIA. Como alternativa, o valor do dado de saída Ds é tido como igual ao valor do dado de saída intermediário D|B.
Os segundos meios de cálculo 44 são próprios adicionalmente para calcular o valor do código de segurança Cs a partir do valor de cada código de segurança intermediário Csia, CSib e do valor da constante de decodificação KD. O código de segurança Cs é, por exemplo, expresso conforme segue: (8) Os meios de emissão 18 são próprios para transmitir o dado de saída Dseo código de segurança Cs para o dispositivo de recepção 8.
Na Figura 3 são representadas as etapas de um método de confiabilidade de dados implantado pela calculadora 6, em um modo de realização da invenção.
Em seguida â descrição, considera-se que a probabilidade de aparição de um defeito simultâneo nos módulos de tratamento 12A, 12B é nulo.
Considera-se adicionalmente que, no instante presente jM. os primeiros meios de memorização 20A, respectivamente 20B, armazenam um valor atual VCa(í-1). respectivamente VCb(í-1) da variável de codificação VCA, respectivamente VCb- No momento de uma etapa 60 inicial, os meios de recepção 11 recebem uma mensagem que comporta o dado de entrada De.
No curso de uma etapa 62 a seguir, os meios de recepção 11 fornecem o dado de entrada De a cada um dos primeiros meios de cálculo 22A, 22B.
No curso de uma etapa 64 a seguir, os primeiros meios de cálculo 22A, respectivamente 22B, calculam o valor atual do dado de saída intermediário D,A, respectivamente D|B a partir do valor atual do dado de entrada De. A expressão do dado de saída intermediário D)A, respectiva mente D|B, é dado pela fórmula (1), respectivamente a fórmula (5).
De forma complementar, no curso de uma etapa 66 a seguir, os primeiros meios de cálculo 22A, respectivamente 22B, transmitem o valor atual do dado de saída intermediário Dia, respectivamente D)B, aos meios de emissão 31 A, respectivamente 31B. Os meios de emissão 31 A, respectivamente 31B, transmitem, portanto, o valor atual do dado de saída intermediário D)A, respectivamente D!B, aos meios de recepção 32B, respectivamente 32A, por meio da ligação de dados 34, respectivamente 35. Os meios de recepção 32B, respectivamente 32A, transmitem o valor atual do dado de saída intermediário DtA, respectivamente DtBaos primeiros meios de cálculo 22B, respectivamente 22A.
De forma complementar, no curso de uma etapa 68 a seguir, cada um dos primeiros meios de cálculo 22A, 22B determina se existe um valor majoritário entre os valores atuais dos dados de saída intermediários D)A, D|B.
Se no fim da etapa 68 cada um dos primeiros meios de cálculo 22A, 22B determina que não existe valor majoritário entre os valores atuais dos dados de saída intermediários Dia, D®, os meios de apagamento 26A apagam o valor atual da variável de codificação Vca nos primeiros meios de memorização 20A no curso de uma etapa 70. Como alternativa, os meios de apagamento 26B apagam o valor atual da variável de codificação VCb nos primeiros meios de memorização 20B no curso da etapa 70. De forma complementar, uma etapa 72 a seguir é, portanto, implantada pelos processadores 40A, 40B, conforme descrito a seguir.
Se no fim da etapa 68 cada um dos primeiros meios de cálculo 22A, 22B determina que existe um valor majoritário entre os valores atuais dos dados de saída intermediários Dia, Dib, a etapa 72 é realizada. A etapa 72 se desencadeia no instante i que segue imediatamente o fim da etapa 68 ou da etapa 70. No instante i, os valores atuais VCa(í-1), VCb(í-1) das variáveis de codificação Vca.Vcb são provenientes de valores precedentes. Nesse mesmo instante i, o processador 40A, respectivamente 40B, determina o valor atual VCa(í), respectivamente VCB(i). da variável de codificação VCa, respectivamente VCB, a partir do valor precedente VCa(í-1), respectivamente VCB(i-1), da dita variável de codificação. A etapa 72 é assim realizada de maneira sincronizada entre os módulos de tratamento 12A, 12B. A expressão do valor atual da variável de codificação VCA, respectivamente VCB, no instante i é dada pela fórmula (3), respectivamente a fórmula (4).
No curso de uma etapa 74 a seguir, o processador 22A, respectivamente 22B, calcula o valor atual do código de segurança intermediário CSia, respectivamente CSib, a partir do valor atual do dado de saída intermediário D)A, respectivamente D®, e do valor atual da variável de codificação Vc a, respectiva mente VCB· A expressão do código de segurança intermediário CSia, respectivamente CSib, é dado pela fórmula (2), respectivamente a fórmula (6).
No curso de uma etapa 76 a seguir, os primeiros meios de cálculo 22A, respectivamente 22B, transmitem o dado de saída intermediário D)A, respectiva mente D,Bi e o código de segurança intermediário CSia, respectivamente CS|B, aos segundos meios de cálculo 44.
No curso de uma etapa 78 a seguir, os segundos meios de cálculo 44 calculam o valor atual do código de segurança Cs a partir do valor atual de cada código de segurança intermediário CSia, CSib e do valor da constante de decodificação KD. A expressão do código de segurança Cs é dado pela fórmula (8).
No curso de uma etapa 80 a seguir, os segundos meios de cálculo 44 selecionam um valor entre os valores dos dados de saída intermediário D|A, D|B. O valor selecionado é, por exemplo, o valor atual do dado de saída intermediário D|A. O valor atual do dado de saída Ds é tido como igual ao valor selecionado, ou seja, igual ao valor atual do dado de saída intermediário D|A.
No curso de uma etapa 82 a seguir, os segundos meios de cálculo 44 transmitem o dado de saída Ds e o código de segurança Cs aos meios de emissão 18. Os meios de emissão 18 transmitem, portanto, o dado de saída Ds e o código de segurança Cs para o dispositivo de recepção 8.
No curso de uma etapa 83 a seguir, o dispositivo de recepção 8 recebe o dado de saída Ds e o código de segurança Cs.
No curso de uma etapa 84 a seguir, o dispositivo de recepção 8 verifica, por implantação do algoritmo de controle, a coerência entre o dado de saída Ds e o código de segurança Cs.
De acordo com um primeiro aspecto da invenção, o método de confiabilidade de dados de acordo com a invenção permite, assim, garantir a função de "voto majoritário” da calculadora. De fato, se os valores dos dados de saída intermediários D,Al D|Bsão idênticos, o dado de saída Ds toma como valor o valor majoritário, na ocorrência do único valor possível. Além disso, se os valores dos dados de saída intermediários D)A, Db diferem, o código de segurança Cs toma um valor particular, diferente do valor tomado quando os valores dos dados de saída intermediários D|A, D|Bsão idênticos.
Assim, se os valores dos dados de saída intermediários D(A, D|B diferem, o dispositivo de recepção 8 determina uma incoerência entre o dado de saída Ds emitido e o código de segurança Cs. O dispositivo de recepção 8 recusa, portanto, o dado de saída Ds. A calculadora 6 que implanta o método de acordo com a invenção permite, portanto, fornecer em todos os casos, seja um dado de saída Ds correto, seja um dado de saída Ds errôneo, mas detectável.
De acordo com um segundo aspecto da invenção, de modo independente ou complementar ao primeiro aspecto, o método de confiabilidade de dados permite garantir a função de “passivação” da calculadora 6. Mais particularmente, as etapas 66, 68 e 70 correspondem à implantação dessa função de “passivação”. A etapa 72 de reinicialização permite, além disso, vantajosamente para a calculadora 6 autotestar de maneira periódica a função de “passivação”, e de se presumir, assim, contra o risco de defeito dos meios de apagamento 26A, 26B. Esse risco corresponde a uma impossibilidade dos meios de apagamento de apagar a variável de codificação VCa, respectivamente VCb, nos primeiros meios de memorização 20A, respectivamente 20B. Adicionalmente, no caso de ocorrência de defeito em um dos módulos de tratamento no curso da etapa 72 de reinicialização, a relação matemática da fórmula (7), verificada teoricamente a cada instante i pelas variáveis de codificação VCa, Vcb entre si, não é mais verificada. Graças a essa característica, a função de “passivação” da calculadora 6 continua a ser garantida permanentemente, mesmo no caso de defeito em um dos módulos de tratamento no momento da etapa 72.
Entende-se assim que o método de confiabilidade de dados de acordo com esse modo de realização da invenção permite se destacar da utilização de meios materiais dedicados para garantir a função de voto majoritário da calculadora.
Esse modo de realização constitui o modo de realização preferencial da invenção. O versado na técnica compreenderá que a invenção se aplica da mesma maneira em um método de confiabilidade de dados que não comporta as etapas 66, 68, 70 e 72.
Como alternativa não representada, a calculadora comporta um número N1 de módulos 12 de tratamento de dados, N1 sendo um número inteiro superior ou igual a três. Cada módulo de tratamento 12 comporta primeiros meios de memorização 20 e primeiros meios de cálculo 22. Os primeiros meios de memorização 20 de um módulo de tratamento 12 são próprios para armazenar uma variável de codificação Vc, própria para o módulo. Cada um dos primeiros meios de cálculo 22 recebe o dado de entrada De e fornece na entrada do membro 14 um dado de saída intermediário D| e um código de segurança intermediário CS|. De maneira análoga ao modo de realização preferencial da invenção, os módulos de tratamento 12 são próprios para a troca dos dados de acordo com um protocolo de comunicação sincronizado, através de seus meios de comunicação e seus meios de sincronização respectivos. Adicionalmente, as funções de cálculo σ, as funções de codificação Fc e as funções de reinicialização Fréín de cada um dos módulos de tratamento são idênticas.
De acordo com essa variante de realização, cada um dos primeiros meios de cálculo 22 é adicionalmente próprio para verificar a correspondência entre o valor do dado de saída intermediário Di correspondente e um eventual valor majoritário. Adicionalmente, o método comporta duas etapas suplementares 86, 88. As etapas 86, 88 são realizadas entre a etapa 68 e a etapa 72, se no fim da etapa 68, cada um dos primeiros meios de cálculo 22 determina que existe um valor majoritário entre os valores dos dados de saída intermediários D|.
No momento da etapa 86, cada um dos primeiros meios de cálculo 22 verifica se o valor de seu dado de saída intermediário D,é igual ao valor majoritário.
Se no fim da etapa 86, cada um dos primeiros meios de cálculo 22 verificar que o valor de seu dado de saída intermediário D| é igual ao valor majoritário, a etapa 72 é realizada.
Se no fim da etapa 86, pelo menos um dos primeiros meios de cálculo 22 verifica que o valor de seu dado de sua saída intermediário D| não é igual ao valor majoritário, os meios de apagamento do módulo de tratamento correspondente apagam o valor atual da variável de codificação Vc nos primeiros meios de memorização 20 no curso da etapa 88. O versado na técnica compreenderá que, no momento da etapa 76, os primeiros meios de cálculo 22 de cada módulo de tratamento 12 transmitem o dado de saída intermediário D, correspondente e o código de segurança intermediário CSi correspondente, aos segundos meios de cálculo 44 do membro de cálculo 14.
No momento da etapa 78 a seguir, os segundos meios de cálculo 44 calculam o valor atual do código de segurança Cs a partir do valor atual de cada código de segurança intermediário CSi transmitido no momento da etapa 76.
No momento da etapa 80 a seguir, os segundos meios de cálculo 44 selecionam um valor entre os valores dos dados de saída intermediário D, transmitidos no momento da etapa 76. O valor atual do dado de saída Ds é, portanto, tido como igual ao valor selecionado.
No curso da etapa 82 a seguir, os segundos meios de cálculo 44 transmitem o dado de saída Ds e o código de segurança Cs aos meios de emissão 18. Os meios de emissão 18 transmitem, portanto, o dado de saída Ds e o código de segurança Cs para o dispositivo de recepção 8.
No curso da etapa 83 a seguir, o dispositivo de recepção 8 recebe o dado de saída Ds e o código de segurança Cs- No curso da etapa 84 a seguir, o dispositivo de recepção 8 verifica, por implantação do algoritmo de controle, a coerência entre o dado de saída Ds e o código de segurança Cs.
De acordo com outra variante de realização particular, não representada, a calculadora comporta três módulos 12A, 12B, 12C de tratamento de dados. A condição de “voto majoritário” é, portanto, satisfeita quando pelo menos dois dos três módulos produzem os dados de saídas coerentes a partir do mesmo dado de entrada.
Uma calculadora assim constituída comporta, portanto, três pares (12A; 12B), (12B; 12C) e (12C; 12A) de módulos de tratamento, em que cada módulo 12A, 12B, 12C pertence a dois pares.
Em cada módulo de tratamento 12A, 12B, 12C, o processo de geração do código de segurança intermediário é, portanto, duplicado. Em particular, dois códigos de segurança intermediários CSi.Ab, CSi-ac, CSi-ba, CSi-bc. CSi-ca, CSi-cb são gerados através de cada módulo 12A, 12B, 12C. Mais precisamente, cada módulo 12A, 12B, 12C gera um código para cada par (12A; 12B), (12B; 12C), (12C; 12A) ao qual o mesmo pertence.
Os primeiros meios de memorização 20 de cada módulo 12A, 12B, 12C são próprios para armazenar duas variáveis de codificação Vc1 e Vc2, relativas ao módulo.
Cada um dos primeiros meios de cálculo 22 recebe o dado de entrada De e fornece na entrada do membro 14 um dado intermediário D( e dois códigos de segurança intermediários CSi: o módulo 12A calcula dois códigos Csi-ab e CSi-ac; o módulo 12B calcula dois códigos CSi-ba e CSi-bc; o módulo 12C calcula dois códigos CSi-ca e CSi-cb· O membro 14 seleciona um par de módulos entre os três pares possíveis (12A; 12B), (12B; 12C), (12C; 12A), na base de um voto majoritário dos dados D| recebidos. O membro 14 calcula, portanto, o código de segurança Cs a partir dos códigos de segurança intermediários associados ao par selecionado. Assim, se o par (12A; 12B) foi selecionado, portanto, o código de segurança Cs é calculado a partir dos códigos intermediários.
Csi-ab e Csi-ba· Entende-se assim que o método de confiabilidade de dados de acordo com a invenção permite se destacar da utilização de meios materiais dedicados para garantir a função de voto majoritário e de passivação da calculadora.
Claims (12)
1. Método de confiabilidade de dados em uma calculadora (6), em que a calculadora (6) é própria para fornecer um dado de saída (Ds) a partir de um dado de entrada (De), e que comporta pelo menos dois módulos (12A, 12B) de tratamento de dados, e um membro de cálculo (14) ligado a cada módulo de tratamento (12A, 12B) em que o método que compreende uma etapa (64) de cálculo, através de cada módulo de tratamento (12A, 12B), de um dado intermediário (D|A, D|B) a partir do dado de entrada (De), em que o dito cálculo que consiste na aplicação de uma função de cálculo (σ) no dado de entrada (De), sendo que a função de cálculo (σ) é idêntica para todos os módulos de tratamento (12A, 12B), sendo que o método é caracterizado pelo fato de que compreende as etapas a seguir: - calcular (74), através de cada módulo de tratamento (12A, 12B), um código de segurança intermediário (CSia, CSib) a partir do dado intermediário (D|A, D|B) correspondente, - transmitir (76) ao membro de cálculo (14), através de cada módulo de tratamento (12A, 12B), o código de segurança intermediário (CSia, Csib) e o dado intermediário (D|A, D]B), - calcular (78), através do membro de cálculo (14), um código de segurança (Cs) a partir dos códigos de segurança intermediários (CSia, Csib). - selecionar (80), através do membro de cálculo (14), um dado intermediário entre os dados intermediários (D,A, D,e) recebidos, em que o dado de saída (Ds) da calculadora (6) compreende o dado intermediário selecionado, e - transmitir (82) para o destino de um dispositivo de recepção (8), através do membro de cálculo (14), o código de segurança (Cs) e o dado de saída (Ds).
2. Método, de acordo com a reivindicação 1, caracterizado pelo fato de que cada módulo de tratamento (12A, 12B) comporta primeiros meios de memorização (20A, 20B) de pelo menos uma variável de codificação (VCA, VCB) e de uma função de codificação (Fc), sendo que a função de codificação (Fc) é idêntica para todos os módulos de tratamento (12A, 12B), e que no momento da etapa (74) de cálculo de um código de segurança intermediário (Csia, CSib) a partir do dado intermediário (D|A, D|B) correspondente, o dito cálculo consiste em aplicar, por cada módulo de tratamento (12A, 12B), a função de codificação (Fc) pelo menos no dado intermediário (D]A, D|B) e na variável de codificação (VCA. Vcb)·
3. Método, de acordo com a reivindicação 1 ou 2, caracterizado pelo fato de que o membro de cálculo (14) comporta segundos meios de memorização (42) de pelo menos uma constante de decodificação (KD) e uma função de consolidação (Fconso), e que no momento da etapa (78) de cálculo de um código de segurança (Cs) a partir dos códigos de segurança intermediários (CS|A, CSib), o dito cálculo consiste em aplicar, através do membro de cálculo (14), a função de consolidação (FCOnso) em cada código de segurança intermediário (CSia, CSib) recebido e na constante de decodificação (KD).
4. Método, de acordo com a reivindicação 2 ou 3, caracterizado pelo fato de que comporta adicionalmente, entre a etapa (64) de cálculo de um dado intermediário e a etapa (74) de cálculo de um código de segurança intermediário, uma etapa (66) de transmissão, por cada módulo de tratamento (12A, 12B), do valor de seu dado intermediário (DtA, D|B) para outros módulos de tratamento (12A, 12B) e uma etapa (68) de teste, por cada módulo de tratamento (12A, 12B), da existência de um valor majoritário entre o conjunto de valores dos dados intermediários (D!A, D|B), sendo que o valor majoritário é o valor mais frequente entre os valores de dados intermediários (D[A, D!B), caso esse valor exista.
5. Método, de acordo com a reivindicação 4, caracterizado pelo fato de que, se o teste de existência de um valor majoritário for negativo no momento da etapa (68) de teste correspondente, o método comporta uma etapa (70) de supressão por um dos módulos de tratamento (12A, 12B) de sua variável de codificação (VCA, VCb)-
6. Método, de acordo com qualquer uma das reivindicações 2 a 5, caracterizado pelo fato de que comporta adicionalmente, antes da etapa (74) de cálculo de um código de segurança intermediário, uma etapa (72) de reinicialização, por cada módulo de tratamento (12A, 12B), de sua variável de codificação (VCA, VCb), sendo que a dita etapa (72) de reinicialização é realizada de maneira sincronizada entre todos os módulos de tratamento (12A, 12B).
7. Método, de acordo com qualquer uma das reivindicações 1 a 6, caracterizado pelo fato de que o dado de saída (Ds) é o dado intermediário selecionado através do membro de cálculo (14) no momento da etapa (80) de seleção.
8. Método, de acordo com qualquer uma das reivindicações 1 a 7, caracterizado pelo fato de que comporta adicionalmente uma etapa (83) de recepção, pelo dispositivo de recepção (8), do código de segurança (Cs) e do dado de saída (Ds) e uma etapa (84) de verificação, pelo dispositivo de recepção (8), da coerência entre o código de segurança (Cs) e o dado de saída (Ds).
9. Método, de acordo com qualquer uma das reivindicações 1 a 8, caracterizado pelo fato de que a calculadora comporta três módulos de tratamento de dados, sendo que os três módulos de tratamento são divididos em três pares de módulos, em que cada módulo pertence a dois pares distintos, em que cada módulo de tratamento calcula dois códigos de segurança intermediários a partir do dado intermediário correspondente, sendo que cada código de segurança intermediário é associado a um dos dois pares ao qual pertence o módulo, em que cada módulo de tratamento transmite ao membro de cálculo (14) o dado intermediário e os dois códigos de segurança intermediários associados, em que o membro de cálculo (14) calcula o código de segurança (Cs) a partir de um primeiro código de segurança intermediário transmitido por um dos módulos de tratamento e associado a um primeiro par de módulos, e de um segundo código de segurança intermediário transmitido por outro módulo, sendo que o dito segundo código de segurança intermediário é associado ao primeiro par de módulos, e em que o dado intermediário selecionado através do membro de cálculo (14) é um dos dados intermediários associados aos módulos do primeiro par de módulos.
10. Calculadora (6) própria para fornecer um dado de saída (Ds) a partir de um dado de entrada (De), que comporta: - pelo menos dois módulos (12A, 12B) de tratamento de dados, em que cada módulo de tratamento (12A, 12B) comporta primeiros meios (22A, 22B) de cálculo de um dado intermediário (D)A, Dib) a partir do dado de entrada (De), sendo que os ditos primeiros meios de cálculo são próprios para aplicar uma função de cálculo (σ) ao dado de entrada (De), sendo que a função de cálculo (σ) é idêntica para todos os módulos de tratamento (12A, 12B), - um membro de cálculo (14) ligado a cada módulo de tratamento (12A, 12B), caracterizado pelo fato de que os primeiros meios (22A, 22B) de cálculo são adicionalmente próprios para calcular um código de segurança intermediário (CS|A, CSib) a partir do dado intermediário (D,A, D,B) correspondente, sendo que cada módulo de tratamento (12A, 12B) é próprio para transmitir ao membro de cálculo (14) o código de segurança intermediário (CSia, Csib) e o dado intermediário (D|A, D®) correspondente, e em que o membro de cálculo (14) comporta segundos meios (44) de cálculo de um código de segurança (Cs) a partir dos códigos de segurança intermediários (CSia, CSib), sendo que o membro de cálculo (14) é próprio para selecionar um dado intermediário entre os dados intermediários (D)A, D,B) recebidos e para transmitir o código de segurança (Cs) e o dado de saída (Ds) para um dispositivo de recepção (8), em que o dado de saída (Ds) compreende o dado intermediário selecionado.
11. Conjunto de comunicação (2) que comporta uma calculadora (6) e um dispositivo (8) de recepção de dados, sendo que a calculadora (6) é própria para fornecer um código de segurança (Cs) e um dado (Ds), em que o dispositivo de recepção (8) comporta meios de memorização de um algoritmo de controle, sendo que o dispositivo de recepção (8) é próprio para receber o código de segurança (Cs) e o dado de saída (Ds), e para verificar, através da implantação do algoritmo de controle, a coerência entre o código de segurança (Cs) e o dado de saída (Ds). caracterizado pelo fato de que a calculadora (6) é conforme definida na reivindicação 10.
12. Sistema de gestão ferroviária (1) caracterizado pelo fato de que compreende pelo menos um conjunto (2) conforme definido na reivindicação 11.
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR1255728 | 2012-06-19 | ||
FR1255728A FR2992083B1 (fr) | 2012-06-19 | 2012-06-19 | Calculateur, ensemble de communication comportant un tel calculateur, systeme de gestion ferroviaire comportant un tel ensemble, et procede de fiabilisation de donnees dans un calculateur |
Publications (3)
Publication Number | Publication Date |
---|---|
BR102013015403A2 true BR102013015403A2 (pt) | 2015-08-11 |
BR102013015403A8 BR102013015403A8 (pt) | 2016-05-31 |
BR102013015403B1 BR102013015403B1 (pt) | 2021-07-20 |
Family
ID=47294924
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BR102013015403-2A BR102013015403B1 (pt) | 2012-06-19 | 2013-06-18 | Processo de confiabilidade de dados em um computador, computador próprio para fornecer um dado de saída, conjunto de comunicação que comporta tal computador, e sistema de gestão ferroviária que compreende tal conjunto |
Country Status (8)
Country | Link |
---|---|
US (1) | US9087217B2 (pt) |
EP (1) | EP2677454B1 (pt) |
KR (1) | KR102147750B1 (pt) |
CN (1) | CN103577760B (pt) |
BR (1) | BR102013015403B1 (pt) |
CA (1) | CA2819517C (pt) |
ES (1) | ES2585111T3 (pt) |
FR (1) | FR2992083B1 (pt) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9233698B2 (en) * | 2012-09-10 | 2016-01-12 | Siemens Industry, Inc. | Railway safety critical systems with task redundancy and asymmetric communications capability |
US8714494B2 (en) * | 2012-09-10 | 2014-05-06 | Siemens Industry, Inc. | Railway train critical systems having control system redundancy and asymmetric communications capability |
CN105184171B (zh) * | 2015-09-22 | 2018-06-22 | 湖南中车时代通信信号有限公司 | 安全计算机平台文件系统的组件、运行方法及信息处理装置 |
CN109842603A (zh) * | 2017-11-29 | 2019-06-04 | 北京通号国铁城市轨道技术有限公司 | 一种时间同步方法及装置 |
CN111142367B (zh) * | 2018-11-02 | 2022-01-28 | 株洲中车时代电气股份有限公司 | 一种针对铁路安全应用的控制系统 |
CN112286715A (zh) * | 2020-09-23 | 2021-01-29 | 卡斯柯信号有限公司 | 基于编码技术的安全输出方法及装置 |
Family Cites Families (41)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE2017853C3 (de) | 1970-04-14 | 1975-12-11 | Standard Elektrik Lorenz Ag, 7000 Stuttgart | Steuerverfahren zur Sicherung der Informationsverarbeitung und -Übertragung |
US4326291A (en) | 1979-04-11 | 1982-04-20 | Sperry Rand Corporation | Error detection system |
DE3040080C1 (de) | 1980-10-24 | 1987-11-12 | Standard Elektrik Lorenz Ag, 7000 Stuttgart | Einrichtung zur signaltechnisch sicheren Datenuebertragung zwischen einer Trasse und auf dieser gefuehrten Fahrzeugen |
US4843608A (en) | 1987-04-16 | 1989-06-27 | Tandem Computers Incorporated | Cross-coupled checking circuit |
DE3924266A1 (de) | 1989-07-22 | 1991-01-31 | Standard Elektrik Lorenz Ag | Verfahren zum betrieb einer signaltechnisch sicheren schnittstelle |
FR2704329B1 (fr) * | 1993-04-21 | 1995-07-13 | Csee Transport | Système de sécurité à microprocesseur, applicable notamment au domaine des transports ferroviaires. |
DE19532639C2 (de) | 1995-08-23 | 2000-11-30 | Siemens Ag | Einrichtung zur einkanaligen Übertragung von aus zwei Datenquellen stammenden Daten |
DE19532640C2 (de) | 1995-08-23 | 2000-11-30 | Siemens Ag | Einrichtung zur einkanaligen Übertragung von aus zwei Datenquellen stammenden Daten |
US5757915A (en) * | 1995-08-25 | 1998-05-26 | Intel Corporation | Parameterized hash functions for access control |
DE19833867C5 (de) | 1998-07-28 | 2006-10-12 | Alcatel | Verfahren zur sicheren einkanaligen Übertragung von Daten zwischen den Rechnerknoten eines Rechnerverbundes sowie Rechnerverbund und Rechnerknoten |
DE10011887B4 (de) | 2000-03-07 | 2004-09-02 | Siemens Ag | Verfahren zur signaltechnisch sicheren Übermittlung von Daten zwischen signaltechnisch sicheren Rechnern sowie Einrichtung hierzu |
DE10040866A1 (de) | 2000-08-21 | 2002-03-07 | Alcatel Sa | Rechnersystem |
GB2368233B (en) * | 2000-08-31 | 2002-10-16 | F Secure Oyj | Maintaining virus detection software |
DE10053023C1 (de) | 2000-10-13 | 2002-09-05 | Siemens Ag | Verfahren zum Steuern eines sicherheitskritischen Bahnbetriebsprozesses und Einrichtung zur Durchführung dieses Verfahrens |
US6910128B1 (en) * | 2000-11-21 | 2005-06-21 | International Business Machines Corporation | Method and computer program product for processing signed applets |
DE10065907A1 (de) | 2000-11-29 | 2002-09-26 | Heinz Gall | Verfahren zum gesicherten Datentransport |
CA2450601C (en) * | 2001-06-12 | 2012-10-16 | Research In Motion Limited | System and method for compressing secure e-mail for exchange with a mobile data communication device |
US6948067B2 (en) * | 2002-07-24 | 2005-09-20 | Qualcomm, Inc. | Efficient encryption and authentication for data processing systems |
US7707621B2 (en) * | 2002-12-02 | 2010-04-27 | Silverbrook Research Pty Ltd | Creation and usage of mutually exclusive messages |
GB0304663D0 (en) * | 2003-02-28 | 2003-04-02 | Ncipher Corp Ltd | A method and system of securely enforcing a computer policy |
US7730518B2 (en) * | 2003-07-31 | 2010-06-01 | Emc Corporation | Method and apparatus for graph-based partition of cryptographic functionality |
WO2005038635A2 (en) * | 2003-10-17 | 2005-04-28 | International Business Machines Corporation | Method and system for user attestation-signatures with attributes |
DE102004039932A1 (de) | 2004-08-17 | 2006-03-09 | Phoenix Contact Gmbh & Co. Kg | Verfahren und Vorrichtung zur Busankopplung sicherheitsrelevanter Prozesse |
US20070192824A1 (en) | 2006-02-14 | 2007-08-16 | Microsoft Corporation | Computer hosting multiple secure execution environments |
US8020001B2 (en) * | 2006-02-23 | 2011-09-13 | Qualcomm Incorporated | Trusted code groups |
WO2008009112A1 (en) * | 2006-07-18 | 2008-01-24 | Certicom Corp. | System and method for authenticating a gaming device |
US8156082B2 (en) * | 2006-10-06 | 2012-04-10 | Sybase, Inc. | System and methods for temporary data management in shared disk cluster |
FR2912526B1 (fr) * | 2007-02-13 | 2009-04-17 | Thales Sa | Procede de maintien du synchronisme d'execution entre plusieurs processeurs asynchrones fonctionnant en parallele de maniere redondante. |
US7930554B2 (en) * | 2007-05-31 | 2011-04-19 | Vasco Data Security,Inc. | Remote authentication and transaction signatures |
DE102007032805A1 (de) | 2007-07-10 | 2009-01-15 | Siemens Ag | Verfahren und Systemarchitektur zur sicheren einkanaligen Kommunikation zum Steuern eines sicherheitskritischen Bahnbetriebsprozesses |
US8295486B2 (en) * | 2007-09-28 | 2012-10-23 | Research In Motion Limited | Systems, devices, and methods for outputting alerts to indicate the use of a weak hash function |
US8566929B2 (en) * | 2008-01-14 | 2013-10-22 | Telefonaktiebolaget Lm Ericsson (Publ) | Integrity check failure detection and recovery in radio communications system |
KR101639587B1 (ko) * | 2008-03-05 | 2016-07-14 | 이르데토 비.브이. | 암호 시스템 |
US8150039B2 (en) * | 2008-04-15 | 2012-04-03 | Apple Inc. | Single security model in booting a computing device |
JP5236352B2 (ja) * | 2008-05-15 | 2013-07-17 | 株式会社日立製作所 | アプリケーション配信制御システム、アプリケーション配信制御方法、情報処理装置、およびクライアント端末 |
WO2010003713A1 (en) * | 2008-06-16 | 2010-01-14 | Telefonaktiebolaget Lm Ericsson (Publ) | Sending media data via an intermediate node |
CN101739298B (zh) * | 2008-11-27 | 2013-07-31 | 国际商业机器公司 | 共享缓存管理方法和系统 |
US8713688B2 (en) * | 2010-03-24 | 2014-04-29 | Microsoft Corporation | Automated security analysis for federated relationship |
TW201201041A (en) * | 2010-06-21 | 2012-01-01 | Zhe-Yang Zhou | Data security method and system |
US8605905B2 (en) * | 2010-08-30 | 2013-12-10 | Futurewei Technologies, Inc. | System and method for securing wireless transmissions |
US8972746B2 (en) * | 2010-12-17 | 2015-03-03 | Intel Corporation | Technique for supporting multiple secure enclaves |
-
2012
- 2012-06-19 FR FR1255728A patent/FR2992083B1/fr active Active
-
2013
- 2013-06-18 BR BR102013015403-2A patent/BR102013015403B1/pt active IP Right Grant
- 2013-06-18 CA CA2819517A patent/CA2819517C/fr active Active
- 2013-06-19 ES ES13172857.8T patent/ES2585111T3/es active Active
- 2013-06-19 US US13/921,766 patent/US9087217B2/en active Active
- 2013-06-19 CN CN201310244081.5A patent/CN103577760B/zh active Active
- 2013-06-19 EP EP13172857.8A patent/EP2677454B1/fr active Active
- 2013-06-19 KR KR1020130070343A patent/KR102147750B1/ko active IP Right Grant
Also Published As
Publication number | Publication date |
---|---|
BR102013015403B1 (pt) | 2021-07-20 |
ES2585111T3 (es) | 2016-10-03 |
FR2992083B1 (fr) | 2014-07-04 |
CA2819517C (fr) | 2021-04-27 |
CN103577760B (zh) | 2017-12-26 |
EP2677454B1 (fr) | 2016-05-18 |
US20130339755A1 (en) | 2013-12-19 |
KR102147750B1 (ko) | 2020-08-25 |
KR20130142960A (ko) | 2013-12-30 |
EP2677454A1 (fr) | 2013-12-25 |
CN103577760A (zh) | 2014-02-12 |
CA2819517A1 (fr) | 2013-12-19 |
FR2992083A1 (fr) | 2013-12-20 |
US9087217B2 (en) | 2015-07-21 |
BR102013015403A8 (pt) | 2016-05-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BR102013015403A2 (pt) | Calculadora, conjunto de comunicação que comporta tal calculadora, sistema de gestão ferroviária que comporta tal conjunto, e método de confiabilidade de dados em uma calculadora | |
CN105453439B (zh) | 用于乘积码的组合纠错和擦除解码的系统和方法 | |
CN103106124B (zh) | 一种基于纠删码集群存储系统的交叉重构方法 | |
US8549389B2 (en) | Systems and methods for 1553 bus operation self checking | |
CN106575516A (zh) | 使用来自多个存储单元和奇偶校验存储单元的可靠性信息为一个失效存储单元恢复数据 | |
US9423972B2 (en) | Error recovery in a data processing system which implements partial writes | |
CN108573007A (zh) | 检测数据一致性的方法、装置、电子设备及存储介质 | |
CN103200130B (zh) | 一种leu中报文的安全存储和选择的方法及装置 | |
CN103208313B (zh) | 一种检测方法及系统 | |
US9665448B2 (en) | Semiconductor integrated circuit | |
CN107395214B (zh) | 一种基于闪存页错误特性降低ldpc译码延迟的方法 | |
BR102013016687A2 (pt) | Trem e método para a determinação segura da composição de tal trem | |
CN104317716B (zh) | 分布式节点间的数据传输方法及分布式节点设备 | |
KR20140033086A (ko) | 키 값 스토리지에 또는 그로부터 데이터를 저장하고 읽기 위한 방법 및 시스템 | |
CN106168918A (zh) | 扩展纠错编码数据存储 | |
US9323610B2 (en) | Non-blocking commands | |
US8201067B2 (en) | Processor error checking for instruction data | |
CN1893336B (zh) | 接收装置以及通信系统 | |
CN107577562A (zh) | 一种数据交互的方法、设备及计算机可读存储介质 | |
CN102684841A (zh) | 一种编码计算单元及解码数据校验方法 | |
CN110275802A (zh) | 一种服务切换方法、装置及电子设备 | |
US9916195B2 (en) | Performing a repair operation in arrays | |
CN203164958U (zh) | 一种数据容灾备份装置 | |
CN112100000B (zh) | 基于安全苛求系统的数据恢复方法及装置 | |
CN103326820B (zh) | 指令码在线装订方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
B03A | Publication of a patent application or of a certificate of addition of invention [chapter 3.1 patent gazette] | ||
B25A | Requested transfer of rights approved |
Owner name: ALSTOM TRANSPORT TECHNOLOGIES (FR) |
|
B25G | Requested change of headquarter approved |
Owner name: ALSTOM TRANSPORT TECHNOLOGIES (FR) |
|
B06F | Objections, documents and/or translations needed after an examination request according [chapter 6.6 patent gazette] | ||
B06U | Preliminary requirement: requests with searches performed by other patent offices: procedure suspended [chapter 6.21 patent gazette] | ||
B03H | Publication of an application: rectification [chapter 3.8 patent gazette] |
Free format text: REFERENTE A RPI 2327 DE 11/08/2015, QUANTO AO ITEM 30. |
|
B09A | Decision: intention to grant [chapter 9.1 patent gazette] | ||
B09X | Republication of the decision to grant [chapter 9.1.3 patent gazette] | ||
B16A | Patent or certificate of addition of invention granted [chapter 16.1 patent gazette] |
Free format text: PRAZO DE VALIDADE: 20 (VINTE) ANOS CONTADOS A PARTIR DE 18/06/2013, OBSERVADAS AS CONDICOES LEGAIS. |