WEKO3
-
RootNode
アイテム
小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価
https://ipsj.ixsq.nii.ac.jp/records/226821
https://ipsj.ixsq.nii.ac.jp/records/226821848ce07e-58b7-4252-b2f0-25cb4a964e74
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]()
2025年7月7日からダウンロード可能です。
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
|
非会員:¥660, IPSJ:学会員:¥330, EMB:会員:¥0, DLIB:会員:¥0 |
Item type | SIG Technical Reports(1) | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2023-07-07 | |||||||||||||
タイトル | ||||||||||||||
タイトル | 小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価 | |||||||||||||
言語 | ||||||||||||||
言語 | jpn | |||||||||||||
キーワード | ||||||||||||||
主題Scheme | Other | |||||||||||||
主題 | プロセッサ・プログラミング言語 | |||||||||||||
資源タイプ | ||||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||||
資源タイプ | technical report | |||||||||||||
著者所属 | ||||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||||
著者所属 | ||||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||||
著者所属 | ||||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||||
著者所属 | ||||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||||
著者所属(英) | ||||||||||||||
en | ||||||||||||||
Department of Computer Science, Tokyo Institute of Technology | ||||||||||||||
著者所属(英) | ||||||||||||||
en | ||||||||||||||
Department of Computer Science, Tokyo Institute of Technology | ||||||||||||||
著者所属(英) | ||||||||||||||
en | ||||||||||||||
Department of Computer Science, Tokyo Institute of Technology | ||||||||||||||
著者所属(英) | ||||||||||||||
en | ||||||||||||||
Department of Computer Science, Tokyo Institute of Technology | ||||||||||||||
著者名 |
十河, 健人
× 十河, 健人
× 辻, 裕太
× 森口, 草介
× 渡部, 卓雄
|
|||||||||||||
論文抄録 | ||||||||||||||
内容記述タイプ | Other | |||||||||||||
内容記述 | 関数リアクティブプログラミング (FRP) は GUI や組込みシステムなどのリアクティブシステムを記述するためのプログラミングパラダイムであり,時間と共に変化する値の抽象化である時変値を宣言的に組み合わせることによってプログラムを記述する.Emfrp は小規模組込みシステム向け FRP 言語であるが,特定のタイミングで更新処理を行うといった離散的な振る舞いを持つ時変値の記述やそのような時変値を持つプログラムの実行効率に課題がある.PbEmfrp は,これらの課題の解決のため Emfrp に対して周期的タスクに関する拡張を行った言語である.PbEmfrp では,各時変値の更新が周期的なタイミングで行われることを仮定し,タイミングを表現する型を導入することで周期的タスクのより簡潔な記述が可能となった.本研究では,PbEmfrp に対して非周期的なイベントも扱えるよう拡張した EvEmfrp を提案する.拡張された構文や型システムの定義,周期的タスクと非周期的なイベントを同時に扱うためのより適切なランタイムの生成手法を説明し,実装した処理系を用いた評価実験により EvEmfrp の有用性を示す. | |||||||||||||
書誌レコードID | ||||||||||||||
収録物識別子タイプ | NCID | |||||||||||||
収録物識別子 | AA12149313 | |||||||||||||
書誌情報 |
研究報告組込みシステム(EMB) 巻 2023-EMB-63, 号 2, p. 1-8, 発行日 2023-07-07 |
|||||||||||||
ISSN | ||||||||||||||
収録物識別子タイプ | ISSN | |||||||||||||
収録物識別子 | 2188-868X | |||||||||||||
Notice | ||||||||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||||
出版者 | ||||||||||||||
言語 | ja | |||||||||||||
出版者 | 情報処理学会 |