Home >

news 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 Tokyo Institute of Technology All rights reserved.