組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構

十河健人; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構
英文:

著者

和文:	十河健人, 森口草介, 渡部卓雄.
英文:	Kento Sogo, Sosuke Moriguchi, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:	日本ソフトウェア科学会第41回大会講演論文集
英文:

巻, 号, ページ

出版年月

2024年9月10日

出版者

和文:
英文:

会議名称

和文:	日本ソフトウェア科学会第41回大会
英文:

開催地

和文:	大阪府茨木市
英文:

公式リンク

https://jssst.or.jp/files/user/taikai/2024/proceedings.html

アブストラクト

関数リアクティブプログラミング（FRP）は，時間と共に変化する値である時変値を宣言的に組み合わせることによってリアクティブシステムを記述するプログラミングパラダイムである．組込みシステム向けFRP言語であるEvEmfrpは，時変値に対しその更新タイミングを型情報として持たせることで周期的・非周期的なタスク処理を記述することができる．しかし，それぞれの時変値の更新がいつ完了するかといった実時間性に関する保証がなく，リアルタイムシステム向けの言語としては十分ではない．本研究では，EvEmfrpをもとに，リアルタイムシステムを記述するための構文を備えたFRP言語を提案する．本言語では，明示的にタスクとそのデッドラインを記述することができ，各タスクでどの時変値が更新されるかを時変値が持つタイミングから静的に決定することができる．また，本言語におけるタスク処理に適したスケジューリング機構を提案する．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報