Japanese
Home
Search
Horizontal Search
Publication Search
( Advanced Search )
Patent Search
( Advanced Search )
Research Highlight Search
( Advanced Search )
Researcher Search
Search by Organization
Support
FAQ
T2R2 User Registration
Doctoral thesis registration
Support/Contact
About T2R2
What's T2R2?
Operation Guidance
Leaflets
About file disclosure
Related Links
Tokyo Tech
STAR Search
NII IR Program
Home
>
Help
Publication Information
Title
Japanese:
ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語
English:
Author
Japanese:
瀧本哲史
,
森口草介
,
渡部卓雄
.
English:
Satoshi Takimoto
,
Sosuke Moriguchi
,
Takuo Watanabe
.
Language
Japanese
Journal/Book name
Japanese:
English:
Volume, Number, Page
Published date
Mar. 5, 2024
Publisher
Japanese:
English:
Conference name
Japanese:
日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
English:
Conference site
Japanese:
新潟県新潟市
English:
Abstract
関数リアクティブプログラミング(FRP)は、時間変化する値を合成して処理を記述するプログラミングパラダイムである。FRPは組込みシステムの記述に有用であることが知られており、組込みシステム向けFRP言語がこれまで開発されてきた。しかし、従来のFRP言語では、機器の電源モードの切替といったハードウェア制御を直接的に表現できず、そういった処理の記述の際にバグを埋め込みやすくなってしまう問題があった。そこで、ハードウェアのモードを明示的に記述する組込みシステム向けFRP言語を提案する。その記述に基づき、ハードウェアの不正な利用の静的な防止や適切なタイミングでハードウェア制御を行うランタイムの自動生成を行う。
©2007
Tokyo Institute of Technology All rights reserved.