ユニットの障害の発生を防ぐための冗長技術と回復方法を備えた高信頼性コンピューティングシステムについて説明している。冗長化手法として二重および多数決モジュール方式を採用し、それぞれのインターバル時間が周期的でランダムである2つのチェックポイントスキームついて考えている。リカバリとチェックポイントのオーバーヘッドを導入して、プロセスが成功するまでの平均実行時間を取得し、最適なチェックポイント時間を導出してそれらを最小化し、さらに二重システムと多数決システムを比較し、どちらのシステムが優れているかを解析的および数値的に議論している。