Triple Modular Redundancy: differenze tra le versioni

Versione delle 01:46, 7 mar 2011

Versione attuale delle 17:24, 22 gen 2024

(9 versioni intermedie di 7 utenti non mostrate)

Riga 1:

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ù [[affidabilità|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 (ingegneria)|ridondanza]], come ad esempio nel caso del software con l'[[N-version programming]].

Alcune [[Error-correcting code|memorie ECC]] utilizzano hardware TMR (in alternativa ai più comuni [[Codice di Hamming|codici di Hamming]]), poiché un TMR hardware risulta essere più veloce della correzione degli errori basata su [[Codice di Hamming|codici di Hamming]] fatta in hardware.<ref>http://www.apmcsta.org/File/doc/Conferences/6th%20meeting/Chen%20Zhenyu.doc</ref>

I sistemi satellitari utilizzano spesso il TMR<ref>[http://www.omnisys.se/projects/smart/power-control/sspc_mpc.htm Sspc Mpc] {{webarchive|url=https://web.archive.org/web/20080121211832/http://www.omnisys.se/projects/smart/power-control/sspc_mpc.htm |data=21 gennaio 2008 }}</ref><ref>[{{Cita web |url=http://mae.pennnet.com/Articles/Article_Display.cfm?Section=OnlineArticles&SubSection=Display&PUBLICATION_ID=32&ARTICLE_ID=111934 |titolo=Actel engineers use triple-module redundancy in new rad-hard FPGA - Military & Aerospace Electronics] |accesso=2 ottobre 2008 |dataarchivio=4 dicembre 2005 |urlarchivio=https://web.archive.org/web/20051204164951/http://mae.pennnet.com/Articles/Article_Display.cfm?Section=OnlineArticles&SubSection=Display&PUBLICATION_ID=32&ARTICLE_ID=111934 |urlmorto=sì }}</ref><ref>[http://klabs.org/richcontent/Papers/Synopses/nsrec94.htm SEU Hardening of Field Programmable Gate Arrays (FPGAs) For Space Applications and Device Characterization] {{webarchive|url=https://web.archive.org/web/20111125185602/http://klabs.org/richcontent/Papers/Synopses/nsrec94.htm |data=25 novembre 2011 }}</ref><ref>[http://www.fpgajournal.com/articles/20040803_space.htm FPGAs in Space] {{webarchive|url=https://web.archive.org/web/20081012150955/http://www.fpgajournal.com/articles/20040803_space.htm |data=12 ottobre 2008 }}</ref>, sebbene le RAM satellitari utilizzino in genere la correzione degli errori basata su [[Codice di Hamming|codici di Hamming]].<ref>[{{Cita web |url=http://radhome.gsfc.nasa.gov/radhome/papers/aspen.htm |titolo=Commercial Microelectronics Technologies for Applications in the Satellite Radiation Environment] |accesso=2 ottobre 2008 |dataarchivio=22 aprile 2019 |urlarchivio=https://web.archive.org/web/20190422044658/https://radhome.gsfc.nasa.gov/radhome/papers/aspen.htm |urlmorto=sì }}</ref>

Alcuni sistemi di comunicazione impiegano l'N-modular redundancy come una semplice forma di [[Forward Error Correction|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 ==

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==

<references/>

== Voci correlate ==

Riga 17 ⟶ 19:

* [[Dual modular redundant]]

* [[Codici a ripetizione]]

==Note==

<references/>

{{Portale|Sicurezza informatica}}

[[Categoria:Tecniche di difesa informatica]]

[[en:Triple modular redundancy]]

[[pt:Redundância modular tripla]]