Au moins dans les avions de ligne, les ordinateurs véritablement critiques sont redondants. En règle générale, trois copies identiques des calculateurs de pilote automatique fonctionnent en parallèle et comparent les résultats; si un ordinateur n'est pas d'accord avec les deux autres, sa sortie est ignorée. Le système permet à certains processeurs d'être défectueux tout en maintenant le fonctionnement de l'ensemble du système.
Mais pourquoi? Je n'ai jamais entendu parler de microprocesseurs échouant soudainement. Bien sûr, il pourrait y avoir des erreurs de fabrication, mais celles-ci auraient été détectées à l'usine. Peut-être que le programme (et sa preuve) est faux, mais ce serait faux de la même manière à travers les processeurs. De même, une mauvaise entrée entraînerait une mauvaise sortie sur les trois ordinateurs. Contre quels types d'erreurs cette redondance protège-t-elle? Les microprocesseurs font-ils parfois des erreurs de calcul?
Si un microprocesseur est surchauffé ou surchargé et tombe en panne spontanément, je m'attendrais à ce qu'il cesse de faire quoi que ce soit et ne produise aucune sortie. Pour faire face à ce type de panne, vous voudriez avoir un processeur de sauvegarde, mais vous n’avez pas besoin de comparer les sorties de trois ordinateurs - toute sortie produite serait considérée comme correcte, vous seriez donc heureux d’utiliser directement le sortie de tout processeur qui produisait une sortie.
En relation: La réponse à À quoi servent les pilotes automatiques multiples? dit simplement «redondance» avant d’expliquer comment cela est réalisé.