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
Science Tokyo
STAR Search
NII IR Program
Home
>
Help
Publication Information
Title
Japanese:
小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価
English:
Author
Japanese:
十河健人
,
辻裕太
,
森口草介
,
渡部卓雄
.
English:
Kento Sogo
,
Yuta Tsuji
,
Sosuke Moriguchi
,
Takuo Watanabe
.
Language
Japanese
Journal/Book name
Japanese:
情報処理学会研究報告
English:
Volume, Number, Page
Vol. 2023-EMB-63 No. 2
Published date
July 14, 2023
Publisher
Japanese:
情報処理学会
English:
Conference name
Japanese:
情報処理学会第63回組込みシステム研究会(SIGEMB63)
English:
Conference site
Japanese:
京都府京都市
English:
Official URL
http://id.nii.ac.jp/1001/00226712/
Abstract
関数リアクティブプログラミング(FRP)はGUIや組込みシステムなどのリアクティブシステムを記述するためのプログラミングパラダイムであり,時間と共に変化する値の抽象化である時変値を宣言的に組み合わせることによってプログラムを記述する. Emfrpは小規模組込みシステム向けFRP言語であるが,特定のタイミングで更新処理を行うといった離散的な振る舞いを持つ時変値の記述やそのような時変値を持つプログラムの実行効率に課題がある. PbEmfrpは,これらの課題の解決のためEmfrpに対して周期的タスクに関する拡張を行った言語である.PbEmfrpでは,各時変値の更新が周期的なタイミングで行われることを仮定し,タイミングを表現する型を導入することで周期的タスクのより簡潔な記述が可能となった. 本研究では,PbEmfrpに対して非周期的なイベントも扱えるよう拡張したEvEmfrpを提案する. 拡張された構文や型システムの定義,周期的タスクと非周期的なイベントを同時に扱うためのより適切なランタイムの生成手法を説明し,実装した処理系を用いた評価実験によりEvEmfrpの有用性を示す.
©2007
Institute of Science Tokyo All rights reserved.