至少在飛機上,真正重要的計算機是多餘的。通常,自動駕駛儀計算機的三個相同副本並行運行並比較結果。如果一台計算機與其他兩台計算機不同意,則忽略其輸出。該系統允許某些處理器出現故障,同時保持整個系統的運行。
為什麼?我從未聽說過微處理器突然發生故障。當然,可能會有製造錯誤,但這些錯誤會在工廠被發現。也許程序(及其證明)是錯誤的,但是在處理器之間以相同的方式將是錯誤的。同樣,錯誤的輸入將導致所有三台計算機上的錯誤輸出。這種冗餘可以防止什麼樣的錯誤?微處理器有時是否只是在做數學上的錯誤?為了解決這種故障,您需要一個備用處理器,但是您不需要比較三台計算機的輸出-假定產生的任何輸出都是正確的,因此您很樂意直接使用任何產生輸出的處理器的輸出。
相關:多個自動駕駛儀的目的是什麼?在進行說明之前簡單地說“冗餘”。