ICSCA2024 Talk
Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems
Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
13th International Conference on Software and Computer Applications (ICSCA 2024), Bali Island, Feb. 1-3, 2024.
Abstract
Emfrp, a functional reactive programming (FRP) language for small-scale embedded systems, is a DSL designed for execution in resource-constrained environments. The execution model of Emfrp provides a reactive behavior of the system through repeated actions such as waiting for inputs from sensors, updating all time-varying values, and outputting them to the actuators. Such polling-based execution consumes unnecessary energy due to frequent update processing. For this reason, the extended language EvEmfrp was proposed to reduce unnecessary update processing and improve energy consumption. EvEmfrp statically determines and schedules the update period of the whole system by annotating the timing of the time-varying value updates and the input interrupts. Since time-varying value updates are performed at periodic timing, the system is put into sleep mode when no update processing is required, thereby saving energy. However, because the timing annotations and the update intervals are set statically, executing a program that updates a specified time-varying value after a fixed time starting from an interrupt signal without unnecessary updates is impossible. This causes frequent wake-up from sleep mode and prevents power saving. We propose a mechanism for extending timing annotations and dynamically changing the update intervals to solve this problem. We also show the usefulness of the proposed mechanism through an example of debouncing for button presses. (awarded Excellent Paper Presentation)
Publication
Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe, Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems, 13th InternationalConference on Software and Computer Application (ICSCA 2024), ACM, 2024 (to appear). DOI: 10.1145/3651781.3651789