Home >

news Help

Publication Information


Title
Japanese:組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構 
English: 
Author
Japanese: 十河健人, 森口草介, 渡部卓雄.  
English: Kento Sogo, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese:日本ソフトウェア科学会第41回大会講演論文集 
English: 
Volume, Number, Page        
Published date Sept. 10, 2024 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第41回大会 
English: 
Conference site
Japanese:大阪府茨木市 
English: 
Official URL https://jssst.or.jp/files/user/taikai/2024/proceedings.html
 
Abstract 関数リアクティブプログラミング（FRP）は，時間と共に変化する値である時変値を宣言的に組み合わせることによってリアクティブシステムを記述するプログラミングパラダイムである． 組込みシステム向けFRP言語であるEvEmfrpは，時変値に対しその更新タイミングを型情報として持たせることで周期的・非周期的なタスク処理を記述することができる． しかし，それぞれの時変値の更新がいつ完了するかといった実時間性に関する保証がなく，リアルタイムシステム向けの言語としては十分ではない． 本研究では，EvEmfrpをもとに，リアルタイムシステムを記述するための構文を備えたFRP言語を提案する． 本言語では，明示的にタスクとそのデッドラインを記述することができ，各タスクでどの時変値が更新されるかを時変値が持つタイミングから静的に決定することができる． また，本言語におけるタスク処理に適したスケジューリング機構を提案する．

©2007 Institute of Science Tokyo All rights reserved.