Home >

news 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.