Triple Modular Redundancy
In informatica, il triple modular redundancy (TMR) è un particolare tipo di N-modular redundancy, in cui tre sistemi eseguono un processo, il cui risultato viene sottoposto ad un sistema di voting per produrre un unico output. Se uno dei tre sistemi fallisce, gli altri due sistemi possono mascherare e correggere il fault. Un fallimento del voter comporta il fallimento dell'intero sistema. Per tale motivo in un buon sistema TMR il voter deve essere molto più affidabile degli altri componenti del TMR. In alternativa, se si adopera un ulteriore TMR a valle di quello considerato, si possono utilizzare tre voter, l'output di ognuno dei quali costituirà l'input di ognuna delle copie del TMR successivo.
Il TMR può essere applicato in innumerevoli forme di ridondanza, come ad esempio nel caso del software con l'N-version programming.
Alcune memorie ECC utilizzano hardware TMR (in alternativa ai più comuni codici di Hamming), poiché un TMR hardware risulta essere più veloce della correzione degli errori basata su codici di Hamming fatta in hardware.
I sistemi satellitari utilizzano spesso il TMR[1][2][3][4], sebbene le RAM satellitari utilizzino in genere la correzione degli errori basata su codici di Hamming.[5]
Alcuni sistemi di comunicazione impiegano l'N-modular redundancy come una semplice forma di Forward Error Correction. Ad esempio, sistemi di comunicazione basati su 5-modular redundancy (come un FlexRay) utilizza una votazione di maggioranza su 5 elementi, per cui se 2 dei 5 risultati sono errati, gli altri 3 risultati sono in grado di correggere e mascherare il fault.
Realizzazione di un voter[modifica | modifica wikitesto]
Nel caso in cui il sistema in esame da ridondare sia un sistema digitale in cui ingresso ed uscita sono costituiti da un unico bit, si può pensare di utilizzare come voter un full-adder, che prenda in ingresso come operandi e riporto entrante le uscite dei tre sistemi costituenti il TMR. La decisione di maggioranza sarà costituita dal bit di riporto uscente (l'uscita relativa alla somma può essere trascurata), in quanto il segnale di riporto di un full-adder è alto quando almeno due dei tre ingressi sono alti ed è basso quando almeno due dei tre ingressi sono bassi.
Note[modifica | modifica wikitesto]
- ^ Sspc Mpc Archiviato il 21 gennaio 2008 in Internet Archive.
- ^ Actel engineers use triple-module redundancy in new rad-hard FPGA - Military & Aerospace Electronics, su mae.pennnet.com. URL consultato il 2 ottobre 2008 (archiviato dall'url originale il 4 dicembre 2005).
- ^ SEU Hardening of Field Programmable Gate Arrays (FPGAs) For Space Applications and Device Characterization Archiviato il 25 novembre 2011 in Internet Archive.
- ^ FPGAs in Space Archiviato il 12 ottobre 2008 in Internet Archive.
- ^ Commercial Microelectronics Technologies for Applications in the Satellite Radiation Environment, su radhome.gsfc.nasa.gov. URL consultato il 2 ottobre 2008 (archiviato dall'url originale il 22 aprile 2019).
