JSSST2024 Talk

Posted on September 10, 2024

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

十河健人，森口草介，渡部卓雄
日本ソフトウェア科学会第41回大会, Sep. 10 - 12, 2024.

Abstract

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