[論文レビュー] Evaluating the Efficiency of Software-only Techniques to Detect SEU and SET in Microprocessors

José Rodrigo Azambuja, Fernando Sousa+2 more|arXiv (Cornell University)|Sep 28, 2023

Radiation Effects in Electronics被引用数 12

ひとこと要約

この論文は、SEUとSETに対してMIPSベースのマイクロプロセッサをソフトウェアのみの規則で堅牢化する評価を行い、検出のための多くの制御フロー技法が非効率であることを示しています。

ABSTRACT

This paper presents a detailed evaluation of the efficiency of software-only techniques to mitigate SEU and SET in microprocessors. A set of well-known rules is presented and implemented automatically to transform an unprotected program into a hardened one. SEU and SET are injected in all sensitive areas of a MIPS-based microprocessor architecture. The efficiency of each rule and a combination of them are tested. Experimental results show the inefficiency of the control-flow techniques in detecting the majority of SEU and SET faults. Three effects of the non-detected faults are explained. The conclusions can lead designers in developing more efficient techniques to detect these types of faults.

研究の動機と目的

• マイクロプロセッサにおけるSEUとSETに対するソフトウェアベースの緩和技術の必要性を喚起する。
• 保護されていないプログラムを自動的に堅牢版へ変換できる一連のよく知られたルールを提示する。
• MIPSベースのアーキテクチャにおいて故障注入を通じて各ルールおよびルールの組み合わせの効率を評価する。
• ハードウェア設計者にとって非検出故障の意味を説明し、改善技術を促す。

提案手法

• 保護されていないコードを自動的に堅牢なコードへ変換する一連のよく知られたソフトウェアベースのルールを実装する。
• MIPSベースのマイクロプロセッサのすべての敏感領域にSEUとSET故障を注入し検出効果を評価する。
• 各ルールを個別および組み合わせでの効率を評価する。
• 非検出の理由と結果としての故障影響を分析する。

実験結果

リサーチクエスチョン

• RQ1 個々のソフトウェアのみのルールは、MIPSベースのプロセッサにおけるSEUとSET故障をどれだけ効果的に検出しているか？
• RQ2 ソフトウェアベースのルールの組み合わせは、SEUとSET故障の検出カバレッジを改善するか？
• RQ3 ソフトウェアのみの技術が故障を検出できない場合の主な故障モードは何か？

主な発見

• 制御フローに基づく技法はSEUおよびSET故障のごく一部しか検出せず、非効率的であることを示している。
• 複数の非検出故障は結果で説明される3つの異なる影響を示す。
• 結果は、設計者が制御フロー規則以外のより効果的または補完的な技術を追求すべきことを示唆している。