{"created":"2025-01-19T01:41:21.887556+00:00","updated":"2025-01-19T08:37:30.523276+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00238249","sets":["6164:6165:7651:11699"]},"path":["11699"],"owner":"44499","recid":"238249","title":["制御フロー仕様から生成したペトリネットに基づくハードウェア誤動作検出手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-08-21"},"_buckets":{"deposit":"3257bd3a-60d7-49a5-bba0-f7fc581dde99"},"_deposit":{"id":"238249","pid":{"type":"depid","value":"238249","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"制御フロー仕様から生成したペトリネットに基づくハードウェア誤動作検出手法","author_link":["652343","652346","652345","652344"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"制御フロー仕様から生成したペトリネットに基づくハードウェア誤動作検出手法"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"信頼性","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2024-08-21","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"京都大学大学院情報学研究科"},{"subitem_text_value":"日立製作所"},{"subitem_text_value":"京都大学大学院情報学研究科"},{"subitem_text_value":"京都大学大学院情報学研究科"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/238249/files/IPSJ-DAS2024025.pdf","label":"IPSJ-DAS2024025.pdf"},"date":[{"dateType":"Available","dateValue":"2026-08-21"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-DAS2024025.pdf","filesize":[{"value":"1.5 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"10"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"cf78c871-2185-477f-a060-fa7bf15600ed","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"田中, 知成"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"上薗, 巧"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"末永, 幸平"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"橋本, 昌宜"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ソフトエラーは宇宙放射線が原因で発生する半導体記憶素子のビット反転であり,ハードウェアの誤動作を引き起こす要因となっている.特に制御フローに関連するビットが反転すると,ハードウェアの処理全体に深刻な影響を及ぼす可能性が高いことが知られている.本研究では,制御フローを監視するペトリネットを作成し,それらを用いてハードウェアの誤動作を検出する手法を開発した.LeNet-5 の畳み込み層演算,ガウシアンフィルタ演算,AES 暗号化処理を行う 3 つの回路を対象に制御フローを監視するペトリネットを作成した.それぞれの回路で制御レジスタと制御入力信号を対象に故障注入を行った結果,制御フローの故障およびデータパスの故障を含むハードウェア誤動作を 88% から 99% 検出できることを確認した.またペトリネットのハードウェア実装を行ったところ,数% から 10% 程度の面積オーバーヘッドで最大の誤動作検出率が実現できることがわかった.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"169","bibliographic_titles":[{"bibliographic_title":"DAシンポジウム2024論文集"}],"bibliographicPageStart":"162","bibliographicIssueDates":{"bibliographicIssueDate":"2024-08-21","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2024"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":238249,"links":{}}