タイトル：演算規則を用いたフォールトセキュアデータパスの合成について
著者: 塩道寛貴, 吉川祐樹, 市原英行, 井上智生
雑誌名：信学技報
Number: 482
ページ: 51-56
発行月: 2
発行年: 2008
タイプ: techreport
アブストラクト: 平行誤り検出によるフォールトセキュアデータパスの合成法について考察する．文献 [2] で示された低エイリアス確率の条件を満たしながら二重化されたモジュール間での演算の共有可能性 (両立性) を定義し，モジュール間の演算の共有を指向したフォースディレクテッドスケジューリングアルゴリズムを提案する．さらに，可換則，結合則などの加算，乗算の演算規則を利用したデータフローグラフの再構築を適用する．適用例により，本手法が，低エイリアス確率条件を満たしながらより少ないリソース (演算器数) でデータパスを合成できることを示す．
