FPGAによるソフトウェア解析環境「Iana」の提案

• Item type: SIG Technical Reports(1)
• 公開日: 2021-05-06
• タイトル: FPGAによるソフトウェア解析環境「Iana」の提案
• タイトル / 言語: en
• タイトル: FPGA-based Software Analyzer: a Design Proposal
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: CSEC
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 国立研究開発法人情報通信研究機構
• 著者所属: 国立研究開発法人情報通信研究機構
• 著者所属: 国立研究開発法人情報通信研究機構／大阪大学大学院工学研究科
• 著者所属: 国立研究開発法人情報通信研究機構
• 著者所属: 国立研究開発法人情報通信研究機構
• 著者所属: 国立研究開発法人情報通信研究機構
• 著者所属(英): en
• 著者所属(英): National Institute of Information and Communications Technology
• 著者所属(英): en
• 著者所属(英): National Institute of Information and Communications Technology
• 著者所属(英): en
• 著者所属(英): National Institute of Information and Communications Technology / Graduate School of Engineering, Osaka University
• 著者所属(英): en
• 著者所属(英): National Institute of Information and Communications Technology
• 著者所属(英): en
• 著者所属(英): National Institute of Information and Communications Technology
• 著者所属(英): en
• 著者所属(英): National Institute of Information and Communications Technology
• 著者名: 金谷, 延幸; 津田, 侑; 高野, 祐輝; 藤原, 吉唯; 伊沢, 亮一; 井上, 大介
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 組み込み機器開発では，実機やソフトウェアエミュレーションなど，テストやデバッグなどの内容に応じ複数の実装形態を使い分ける．各実装形態には一長一短があり，実機では解析手段が限られるため不具合発生時の状態が把握できない場合があり，エミュレーションでは詳細に追跡したくてもその不具合が再現せず追跡できない場合がある．そこで我々は，複数の実現環境における CPU の任意時点における状態を再現し，相互にマイグレーション可能なソフトウェア解析環境 Iana（アイアナ）を提案する．Ianaの特徴は CPU やメモリ，I/O の状態をすべて記録し，任意時点の状態と挙動を再現・変更可能な解析専用 CPU にあり，本稿では CPU を FPGA にて実装した．さらに，任意時点での実行状態を QEMU や評価ボードに書き戻し，デバッギング機能とともに解析を再開することができる．Iana を用いることで，解析対象における重要なイベントの絞り込みを行い，またその前の状態に遡ることが可能であり，組み込み機器や IoT 機器などのファームウェア解析にて適切な手段の選択が可能となる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Embedded-software developers choose real embedded devices or software emulation as a debugging platform for their developing programs, depending on their purpose of debugging at the time. This is because those platforms have both advantages and drawbacks (e.g., real devices basically do not possess good debugging functionality and a software emulator could cause some semantic gaps between a real device and emulation). To fully leverage advantages of every platform, this paper presents Iana, a system featuring a CPU implemented on FPGA for migrating execution-state of software from a debugging platform of FPGA to another (QEMU or a real embedded device) and vise versa. The execution-state includes CPU registers, memory, and I/O. As a usage example of Iana, developers debug their programs on a real device until a bug is found, and then they continue the debugging on FPGA with better debugging functionality after the migration. Namely, Iana enables developers to select any execution-state in migration (e.g., the execution-state after 500 instructions executed from the beginning). This is achieved by tracing all executed instructions of software. The experiments in this paper using two software samples confirm that a prototype of Iana correctly migrated execution-states from a RISC-V implemented on FPGA to QEMU and a real RISC-V.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12326962
• 書誌情報: 研究報告インターネットと運用技術（IOT）; 巻 2021-IOT-53, 号 14, p. 1-8, 発行日 2021-05-06
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8787
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会