フォールトトレラントコンピュータにおける誤り検出カバレジに着目した高信頼化アプローチ  [in Japanese] Approaches for Fault-Tolerance Improvement Considering Fault-Detection Coverage  [in Japanese]

本論文ではフォールトトレラントシステムの信頼性を阻害する要因となるシステムの犯す誤りとして,Error of CommissionとError of Omission とがあることを示し,その原因として誤り検出カバレッジの不完全性を挙げた.これらの誤りによりシステムの安全性やアベイラビリティ,信頼度が損なわれたりする。これらの誤りを防ぐために,次の2つのアプローチを提案し,その効果を示した. (a)誤り検出カバレッジの不完全性の許容: SNV方式 (b)誤り検出カバレッジの向上: セルフチェッキング比較器,最適時間ダイバーシティ

This paper pointed out two types of errors which fault-tolerant systems commit; Error of Commission and Error of Omission. These Errors are caused by imperfectness of fault-detection coverage and they degradate safety, availability and dependability of the systems. This paper proposes following approaches to avoid these types of errors. (a) Approach to tolerate imperfectness of fault-detection coverage: SNV (b) Approach to improve fault-detection coverage: Self-Checking Comparator, Optimal Time-Diversity.