English
Home
各種検索
研究業績検索
論文・著書検索
( 詳細検索 )
特許検索
( 詳細検索 )
研究ハイライト検索
( 詳細検索 )
研究者検索
組織・担当から絞り込む
サポート
よくあるご質問(FAQ)
T2R2登録申請
学位論文登録について
組織単位データ出力について
(学内限定)
サポート・問合せ
T2R2について
T2R2とは?
運用指針
リーフレット
本文ファイルの公開について
関連リンク
東京工業大学
東京工業大学STARサーチ
国立情報学研究所(学術機関リポジトリ構築連携支援事業)
Home
>
ヘルプ
論文・著書情報
タイトル
和文:
組込みシステム向け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
Tokyo Institute of Technology All rights reserved.