WCTP2017 Talk

Posted on September 12, 2017

An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems

Takuo Watanabe
Workshop on Computation: Theory and Practice (WCTP 2017), Osaka, Sep. 12-13, 2017.

Abstract

Functional reactive programming (FRP) is a programming paradigm for reactive systems based on declarative abstractions to express time-varying values. Previous works showed that FRP is beneficial to embedded systems. In this paper, we propose a new execution mechanism for an FRP language designed for resource constrained embedded systems. The mechanism is based on the Actor model, a concurrent computation model in which computation is achieved by actors communicating via asynchronous messages. We adopt actors for the run-time representation of time-varying values and event streams. With this representation, we can naturally integrate asynchronous execution mechanism in the runtime of the language.

Publication

Takuo Watanabe, An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems, In Theory and Practice of Computation, Proceedings of Workshop on Computation: Theory and Practice (WCTP2017), World Scientific, pp. 59-71, DOI:10.1142/9789813279674_0005, Dec., 2018.