WEKO3
アイテム
小規模組込みシステム向けFRP言語のためのマルチモードデバッガ
https://ipsj.ixsq.nii.ac.jp/records/2010543
https://ipsj.ixsq.nii.ac.jp/records/20105436373bd52-e51b-47f7-b0d0-48a27faeefdc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-EMB26072001.pdf (1.1 MB)
2028年7月27日からダウンロード可能です。
|
Copyright (c) 2026 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, EMB:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2026-07-27 | |||||||||||
| タイトル | ||||||||||||
| 言語 | ja | |||||||||||
| タイトル | 小規模組込みシステム向けFRP言語のためのマルチモードデバッガ | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 東京科学大学情報理工学院情報工学系 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京科学大学情報理工学院情報工学系 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京科学大学情報理工学院情報工学系 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Computer Science, Institute of Science Tokyo | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Computer Science, Institute of Science Tokyo | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Computer Science, Institute of Science Tokyo | ||||||||||||
| 著者名 |
大谷,悠豪
× 大谷,悠豪
× 森口,草介
× 渡部,卓雄
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | Emfrpは小規模組込みシステムを対象とした関数型リアクティブプログラミング(FRP)言語である．FRPでは，時間とともに変化する値である時変値を主要な抽象化機構として用いることで，リアクティブな振る舞いを簡潔に記述できる．一方，EmfrpプログラムはCコードへコンパイルされ，C/C++で記述されたプラットフォーム依存の入出力コードと組み合わせて実行される．そのため，開発者はGDBなどの既存デバッガを用いて，これらが混在したC/C++プログラムをデバッグする必要があり，Emfrpソースコードと実行プログラムとの間の抽象度の隔たりが問題となる．我々はこの問題を解決するため，Emfrpベースの組込みアプリケーションを対象としたマルチモードデバッガを提案する．提案デバッガは，Emfrpソースコードの各構成要素とコンパイル後のプログラム中の対応位置を関連付けるソースコードマッピング機構を備える．これにより，Emfrpソースコードレベルでのデバッグと，C/C++レベルでのデバッグを統合的に実現する．マイクロコントローラESP32を用いたケーススタディにより，提案手法がデバッグ効率を向上させることを示す． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA12149313 | |||||||||||
| 書誌情報 |
研究報告組込みシステム（EMB） 巻 2026-EMB-72, 号 1, p. 1-8, 発行日 2026-07-27 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-868X | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
