電源ノイズ起因タイミング故障のデバッグにおけるC言語ベース故障検出手法の有効性評価

• Item type: Symposium(1)
• 公開日: 2015-08-19
• タイトル: 電源ノイズ起因タイミング故障のデバッグにおけるC言語ベース故障検出手法の有効性評価
• タイトル / 言語: en
• タイトル: Performance Evaluation of Software-based Error Detection Mechanisms for Localizing Electrical Timing Failures under Dynamic Supply Noise
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 検証・テスト
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 大阪大学大学院情報科学研究科情報システム構成学講座
• 著者所属: 大阪大学大学院情報科学研究科情報システム構成学講座
• 著者所属: 大阪大学大学院情報科学研究科情報システム構成学講座
• 著者所属(英): en
• 著者所属(英): Dept. Information Systems Engineering, Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Dept. Information Systems Engineering, Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Dept. Information Systems Engineering, Graduate School of Information Science and Technology, Osaka University
• 著者名: 増田, 豊; 橋本, 昌宜; 尾上, 孝雄
• 著者名(英): Masuda, Yutaka; Hashimoto, Masanori; Onoye, Takao
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: チップの動作検証時に発生した故障のデバッグを目的としたソフトウェアベース故障検出手法が提案されており， C 言語実装可能な一手法として EDM (Error Detection Mechanisms) 変換がある． EDM の電気的故障への有効性を評価するため，我々は二つのシナリオを考えた．(1) オリジナルプログラム実行時に発生した電気的故障をデバッグしたい， (2) プロセッサに潜在する電気的故障を出来るだけ知りたい．本研究では EDM を電気的故障高速検出用に変形し，両シナリオにおいて電源ノイズ起因タイミング故障に有効か実験的に評価した．評価により，EDM を用いてオリジナルプログラム実行時の故障をデバッグすることは困難であるが，潜在的な電気的故障の発見には有用であるという結果を得た．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: For facilitating error localization, software-based error detection techniques have been proposed and EDM (error detection mechanisms) transformation is one of these techniques. To discuss the effectiveness of EDM for electrical bug localization, two scenarios are considered; (1) localizing an electrical bug occurred in the original program, and (2) localizing as many potential bugs as possible. We experimentally evaluated the error detection performance in these two scenarios under dynamic power supply noise. Experimental results show that the EDM transformation customized for quick error detection cannot locate electrical bugs in the original program in the first scenario, but it is useful for finding potential bugs in the second scenario.
• 書誌情報: DAシンポジウム2015論文集; 巻 2015, p. 193-198, 発行日 2015-08-19
• 出版者 / 言語: ja
• 出版者: 情報処理学会