認証整合性符号によるフォールトマスク三重冗長系の一提案

摘要

ある機能モジュールの出力データと、他の機能モジュールの出力データが一致することは、後者の機能モジュールから生成した整合性チェック用の符号が前者の出力データと整合すれば、両者が一致すると証明されたことになる．三重冗長系の場合、2つの機能モジュールの一致を示すことができれば、過半数の一致で正しいということができる．この一致のチェックを下流の外部システムで実施することを提案する．注意すべき点は、いかなる故障モードにおいても、ある機能モジュールの出力データを、その機能モジュールが生成した符号でチェックすることがないようにすること、1つのエラーで2つの機能モジュールが否定されないようにすること、外部システムに特別で複雑な処理を要求しないこと、通信コスト、計算コストが妥当な範囲であること、などである．