stringtranslate.com

Triple redundancia modular

Redundancia modular triple. Se utilizan tres circuitos lógicos idénticos (puertas lógicas) para calcular la función booleana especificada. El conjunto de datos en la entrada del primer circuito es idéntico al de la entrada de la segunda y la tercera puertas.

En informática , la redundancia modular triple , a veces llamada redundancia de triple modo , [1] ( TMR ) es una forma tolerante a fallos de redundancia N-modular, en la que tres sistemas realizan un proceso y ese resultado es procesado por un sistema de votación por mayoría para producir una única salida. Si alguno de los tres sistemas falla, los otros dos sistemas pueden corregir y enmascarar el fallo.

El concepto TMR se puede aplicar a muchas formas de redundancia , como la redundancia de software en forma de programación de N versiones , y se encuentra comúnmente en sistemas informáticos tolerantes a fallos .

Los sistemas de satélites espaciales a menudo utilizan TMR, [2] [3] aunque la RAM del satélite normalmente utiliza la corrección de errores de Hamming . [4]

Algunas memorias ECC utilizan hardware de redundancia modular triple (en lugar del código Hamming más común ), porque el hardware de redundancia modular triple es más rápido que el hardware de corrección de errores Hamming. [5] Algunos sistemas de comunicación, denominados código de repetición , utilizan redundancia N-modular como una forma simple de corrección de errores hacia adelante . Por ejemplo, los sistemas de comunicación de redundancia 5-modular (como FlexRay ) utilizan la mayoría de 5 muestras: si 2 de los 5 resultados son erróneos, los otros 3 resultados pueden corregir y enmascarar la falla.

La redundancia modular es un concepto básico, que se remonta a la antigüedad, mientras que el primer uso de TMR en un ordenador fue el ordenador checoslovaco SAPO , en la década de 1950.

Caso general

El caso general de TMR se denomina redundancia N-modular , en la que se utiliza cualquier número positivo de réplicas de la misma acción. Normalmente, se considera que el número es al menos tres, de modo que se pueda realizar la corrección de errores por mayoría de votos; también se considera que es impar, de modo que no se produzcan empates. [6]

Puerta lógica mayoritaria

Puerta mayoritaria de 3 entradas

Puerta mayoritaria de 3 entradas que utiliza 4 puertas NAND

La salida de la puerta mayoritaria de 3 entradas es 1 si dos o más de las entradas de la puerta mayoritaria son 1; la salida es 0 si dos o más de las entradas de la puerta mayoritaria son 0. Por lo tanto, la puerta mayoritaria es la salida de acarreo de un sumador completo , es decir, la puerta mayoritaria es una máquina de votación . [7]

La puerta de mayoría de 3 entradas se puede representar mediante la siguiente ecuación booleana y tabla de verdad :

En TMR, se utilizan tres circuitos lógicos idénticos (puertas lógicas) para calcular el mismo conjunto de funciones booleanas especificadas. Si no hay fallas en el circuito, las salidas de los tres circuitos son idénticas. Sin embargo, debido a fallas en el circuito, las salidas de los tres circuitos pueden ser diferentes.

Operación TMR

Suponiendo que la función booleana calculada por las tres puertas lógicas idénticas tiene valor 1, entonces: (a) si ningún circuito ha fallado, los tres circuitos producen una salida de valor 1, y la salida de la puerta mayoritaria tiene valor 1. (b) si un circuito falla y produce una salida de 0, mientras que los otros dos funcionan correctamente y producen una salida de 1, la salida de la puerta mayoritaria es 1, es decir, todavía tiene el valor correcto. Y de manera similar para el caso en que la función booleana calculada por los tres circuitos idénticos tiene valor 0. Por lo tanto, se garantiza que la salida de la puerta mayoritaria sea correcta siempre que no haya fallado más de uno de los tres circuitos lógicos idénticos. [7]

Para un sistema TMR con un solo votante de confiabilidad (probabilidad de funcionamiento) R v y tres componentes de confiabilidad R m , se puede demostrar que la probabilidad de que sea correcto es R TMR = R v (3 R m 2 – 2 R m 3 ) . [6]

Los sistemas TMR deberían utilizar depuración de datos (reescribir flip-flops periódicamente) para evitar la acumulación de errores. [8]

Votante

Triple redundancia modular con un votante (arriba) y tres votantes (abajo)

La propia puerta de la mayoría podría fallar, pero se puede protegerse de ello aplicando una redundancia triple a los propios votantes. [9]

En algunos sistemas TMR, como la computadora digital del vehículo de lanzamiento Saturno y los sistemas de redundancia modular triple funcional (FTMR) , los votantes también se triplican. Se utilizan tres votantes, uno para cada copia de la siguiente etapa de la lógica TMR. En tales sistemas no hay un único punto de fallo . [10] [11]

Aunque el uso de un solo votante implica un único punto de fallo (un votante fallido provocará la caída de todo el sistema), la mayoría de los sistemas TMR no utilizan votantes triplicados. Esto se debe a que las puertas de mayoría son mucho menos complejas que los sistemas contra los que protegen, por lo que son mucho más fiables . [7] Al utilizar los cálculos de fiabilidad, es posible encontrar la fiabilidad mínima del votante para que el TMR sea una victoria. [6]

Cronómetros

Para utilizar la triple redundancia modular, un barco debe tener al menos tres cronómetros ; dos cronómetros proporcionaban redundancia modular dual , permitiendo un respaldo si uno dejaba de funcionar, pero no permitiendo ninguna corrección de error si los dos mostraban una hora diferente, ya que en caso de contradicción entre los dos cronómetros, sería imposible saber cuál estaba equivocado (la detección de error obtenida sería la misma de tener solo un cronómetro y verificarlo periódicamente). Tres cronómetros proporcionaban triple redundancia modular, permitiendo la corrección de error si uno de los tres estaba equivocado, por lo que el piloto tomaría el promedio de los dos con lectura más cercana (votación por precisión promedio).

Hay un viejo adagio en este sentido que dice: “Nunca te hagas a la mar con dos cronómetros; lleva uno o tres”. [12]

Básicamente, esto significa que si dos cronómetros se contradicen, ¿cómo saber cuál es el correcto? En un tiempo, esta observación o regla era costosa, ya que el costo de tres cronómetros suficientemente precisos era mayor que el costo de muchos tipos de buques mercantes más pequeños. [13] Algunos buques llevaban más de tres cronómetros; por ejemplo, el HMS Beagle llevaba 22 cronómetros . [14] Sin embargo, una cantidad tan grande generalmente solo se llevaba en barcos que realizaban trabajos de investigación, como fue el caso del Beagle .

En la era moderna, los barcos en el mar utilizan receptores de navegación GNSS (con soporte GPS , GLONASS y WAAS , etc.), en su mayoría funcionando con soporte WAAS o EGNOS para proporcionar hora (y ubicación) precisas.

En la cultura popular

Véase también

Referencias

  1. ^ "David Ratter. "FPGAs on Mars"" (PDF) . Consultado el 30 de mayo de 2020 .
  2. ^ "Los ingenieros de Actel utilizan redundancia de triple módulo en un nuevo FPGA de alta resistencia a la radiación". Military & Aerospace Electronics . Consultado el 9 de abril de 2017 .
  3. ^ ECSS-Q-HB-60-02A: Manual de técnicas para la mitigación de los efectos de la radiación en ASIC y FPGA
  4. ^ "Tecnologías de microelectrónica comercial para aplicaciones en el entorno de radiación satelital". radhome.gsfc.nasa.gov . Archivado desde el original el 4 de marzo de 2001. Consultado el 30 de mayo de 2020 .
  5. ^ "Uso del StrongArm SA-1110 en el ordenador de a bordo de un nanosatélite". Centro Espacial Tsinghua, Universidad Tsinghua, Pekín. Archivado desde el original el 2011-10-02 . Consultado el 2009-02-16 .
  6. ^ abc Shooman, Martin L. (2002). "Redundancia N-Modular". Fiabilidad de sistemas informáticos y redes: tolerancia a fallos, análisis y diseño . Wiley-Interscience. págs. 145–201. doi :10.1002/047122460X.ch4. ISBN 9780471293422.Notas del curso
  7. ^ abc Dilip V. Sarwate, Notas de clase para ECE 413 – Probabilidad con aplicaciones de ingeniería, Departamento de Ingeniería Eléctrica e Informática (ECE) , Facultad de Ingeniería de UIUC , Universidad de Illinois en Urbana-Champaign
  8. ^ Zabolotny, Wojciech M.; Kudla, Ignacy M.; Pozniak, Krzysztof T.; Bunkowski, Karol; Kierzkowski, Krzysztof; Wrochna, Grzegorz; Krolikowski, enero (16 de septiembre de 2005). "Diseño tolerante a la radiación del sistema RLBCS para detector RPC en el experimento del LHC". En Romaniuk, Ryszard S.; Simrock, Stefan; Lutkovski, Vladimir M. (eds.). Aplicaciones de la fotónica en la industria y la investigación IV . vol. 5948. Varsovia, Polonia. págs.59481E. doi :10.1117/12.622864. S2CID  15987757.{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace )
  9. ^ AW Krings. "Redundancia". 2007
  10. ^ Sandi Habinc (2002). "Redundancia modular triple funcional (FTMR): metodología de diseño VHDL para redundancia en lógica combinatoria y secuencial" (PDF) . Archivado desde el original (PDF) el 5 de junio de 2012.
  11. ^ Lyons, RE; Vanderkulk, W. (abril de 1962). "El uso de redundancia triple modular para mejorar la confiabilidad de las computadoras" (PDF) . IBM Journal of Research and Development . 6 (2): 200–209. doi :10.1147/rd.62.0200.
  12. ^ Brooks, Frederick J. (1995) [1975]. El mes mítico del hombre . Addison-Wesley. pág. 64. ISBN 978-0-201-83595-3.
  13. ^ "Re: Longitude as a Romance". Irbs.com, lista de correo Navigation. 2001-07-12. Archivado desde el original el 2011-05-20 . Consultado el 2009-02-16 .
  14. ^ R. Fitzroy. "Volumen II: Actas de la segunda expedición". pág. 18.

Enlaces externos