SIGSS2015-05 Talk

Posted on May 11, 2015

小規模組み込みシステムにおけるFRPの応用に向けて

澤田賢祐, 鈴木康平, 渡部卓雄
電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), 信学技報, Vol. 115, No. 20, SS2015-1, pp. 1-5, May 11-12, 2015.

概要

関数リアクティブプログラミング(FRP)は、入力に対する出力を宣言的に記述したモジュールを高階関数等を用いて組み合わせるプログラミング手法である。 過去の研究において、ロボットの制御等の比較的規模の大きなシステムにおけるFRPの有用性がある程度示されてきた。 本研究では、FRPのためのドメイン特化言語を提案し、OSを持たないような小規模なシステムにおいて提案手法が有効であることを例題を通して示す。

Towards Applications of FRP in Small-Scale Embedded Systems

Kensuke Sawada, Kohei Suzuki & Takuo Watanabe
IEICE Technical Report, Vol. 115, No. 20, SS2015-1, pp. 1-5, May, 2015.

Abstract

In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded systems. For this purpose, we designed a simple FRP language and implemented a compiler that generates C++ code that run on a bare-metal processor board. By comparing two implementations of the same application, one in our language and the other in C++, we show that FRP provides declarative, modular and clean manner of describing real-time and reactive behaviors of embedded systems.

論文