Home >

news Help

Publication Information


Title
Japanese:関数リアクティブプログラミングにおける時変値の初期化手法の提案 
English: 
Author
Japanese: 白鳥佑弥, 森口草介, 渡部卓雄.  
English: Yuya Shiratori, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Sept. 1, 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第38回大会 
English: 
Conference site
Japanese: 
English: 
Official URL https://jssst2021.wordpress.com/
 
Abstract 関数リアクティブプログラミング（FRP）は，時間とともに変化する値を時変値として抽象化することで，組込みシステム等のリアクティブシステムを時変値の更新計算として記述するプログラミングパラダイムである．更新計算に時変値の過去の値を用いることで，変化量や累積値などのシステムの状態に依存した動作を表現できるようになるが，システム起動時には過去の値は存在しないため，あらかじめ初期値を設定する必要がある．センサの計測値や現在時刻等，実行時に決定される値について不適切な初期値を用いた場合，システム起動直後の挙動が不安定になることがある．アプリケーションごとに適当な値を想定して初期値とするといったアドホックな方法は，プログラムのモジュール化を阻害する．本研究では組込みシステム向けFRP言語の時変値について，適切な初期値を自動的に決定する初期化手法について提案する．

©2007 Tokyo Institute of Technology All rights reserved.