Home >

news ヘルプ

論文・著書情報


タイトル
和文:組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御 
英文:Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems 
著者
和文: 瀧本哲史, 森口草介, 渡部卓雄.  
英文: Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe.  
言語 Japanese 
掲載誌/書名
和文:コンピューターソフトウェア (採択済) 
英文:Computer Software (accepted) 
巻, 号, ページ Vol. 42       
出版年月 2025年1月25日 
出版者
和文:日本ソフトウェア科学会 
英文:JSSST 
会議名称
和文: 
英文: 
開催地
和文: 
英文: 
アブストラクト 小規模組込みシステム向けFRP言語XStorm では，状態遷移モデルに基づいて時変値間の関係を動的に変更でき，状態依存動作を簡潔に記述できる． しかし，例えば消費電力削減のため，状態に応じて使用する周辺装置を切替えるといった際に，C言語で書かれた周辺装置のドライバコード内で切替え処理を書く必要があった． その結果，XStormプログラムとドライバコードの間のロジックの不整合が検出できない． 本研究では，XStormの状態遷移モデルを発展させ，状態ごとに周辺装置の電源等の状態(モード)を宣言できるようにすることで，FRP言語内での周辺装置のモードの切替えも含めたロジックの記述を可能にした． これにより前述の問題を解決したほか，ランタイムによるモードの自動管理を行えるようになった．

©2007 Institute of Science Tokyo All rights reserved.