ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語

瀧本哲史; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語
英文:

著者

和文:	瀧本哲史, 森口草介, 渡部卓雄.
英文:	Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2024年3月5日

出版者

和文:
英文:

会議名称

和文:	日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
英文:

開催地

和文:	新潟県新潟市
英文:

アブストラクト

関数リアクティブプログラミング(FRP)は、時間変化する値を合成して処理を記述するプログラミングパラダイムである。FRPは組込みシステムの記述に有用であることが知られており、組込みシステム向けFRP言語がこれまで開発されてきた。しかし、従来のFRP言語では、機器の電源モードの切替といったハードウェア制御を直接的に表現できず、そういった処理の記述の際にバグを埋め込みやすくなってしまう問題があった。そこで、ハードウェアのモードを明示的に記述する組込みシステム向けFRP言語を提案する。その記述に基づき、ハードウェアの不正な利用の静的な防止や適切なタイミングでハードウェア制御を行うランタイムの自動生成を行う。

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報