FRP for Distributed / Embedded Systems

Overview

The goal of this project is to improve the development process of small-scale embedded systems and networked embedded systems. The term small-scale here indicates that the target platform is not powerful enough to run full-fledged operating systems such as Linux. Towards this goal, we designed and implemented a series of functional reactive programming (FRP) languages. Although past studies show that FRP is beneficial for developing embedded systems, not much work have been done on such resource-constrained targets. We designed our languages so that the size of the code generated by their compilers is small enough to fit into several microcontrollers (e.g., ARM Cortex-M series, AVR, etc.) and is guaranteed to be fixed and predictable.

Grants

• Development Support of Real-Time CPS using FRP Languages with First-Class Time, Takuo Watanabe, JSPS KAKENHI 24K14892, 2024/4-2027/3.

• Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor Model, Takuo Watanabe, JSPS KAKENHI 21K11822, 2021/4-2024/3.

• Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming, Takuo Watanabe, JSPS KAKENHI 18K11236, 2018/4-2021/3.

Software

• Emfrp-REPL
• XFRP-G
• Distributed XFRP
• Hae
• Emfrp
  • sample applications
• SFRP
• CFRP

Publications

• S. Moriguchi, S. Takimoto, M. Shirai & T. Watanabe, Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists, WCTP 2024.

• G. Suzuki, A. Yokoyama, S. Moriguchi & T. Watanabe, mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices, MPLR 2024.

• M. Shirai, S. Moriguchi & T. Watanabe, Construction of Inverse Computation in Synchronous Dataflow Programming, Computer Software, 2024 (in Japanese).

• A. Yokoyama, S. Moriguchi & T. Watanabe, Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems, ICSCA 2024.

• S. Moriguchi & T. Watanabe, Event by Timing: Periodic and Time-Sequencing Responses, WCTP 2023.

• G. Suzuki, A. Yokoyama, S. Moriguchi & T. Watanabe, Using Low Power Coprocessors in an FRP Language for Embedded Systems, APRIS 2023.

• K. Sogo, Y. Tsuji, S. Moriguchi & T. Watanabe, Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems, REBLS 2023.

• S. Moriguchi & T. Watanabe, Developing Distributed Systems with Multiparty Functional Reactive Programming, WSSE 2023.

• G. Suzuki, T. Watanabe & S. Moriguchi, Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices, MoreVMs 2023.

• A. Yokoyama, S. Moriguchi & T. Watanabe, Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems, REBLS 2022.

• A. Yokoyama, S. Moriguchi & T. Watanabe, A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types, Journal of Information Processing, 2021.

• T. Gotoh, S. Moriguchi & T. Watanabe, A Macroprogramming Language for Wireless Sensor-Actor Networks, Computer Software, 2021 (in Japanese).

• Y. Sakurai, S. Moriguchi & T. Watanabe, Functional Reactive Programming for Embedded Systems with GPGPUs, ICSCA 2021.

• T. Watanabe, Towards a Functional Reactive Programming Model for Developing WSANs, APRIS 2020.

• A. Matsumura & T. Watanabe, An Abstraction Mechanism for Modeling Stateful Behaviors in an FRP Language for Embedded Systems, IPSJ Trans. Programming, 2020 (in Japanese).

• Y. Sakurai & T. Watanabe, Towards a Statically Scheduled Parallel Execution of an FRP Langauge for Embedded Systems, REBLS 2019.

• S. Wang & T. Watanabe, Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems, SNPD 2019.

• K. Shibanai & T. Watanabe, Distributed Functional Reactive Programming on Actor-Based Runtime, AGERE 2018.

• T. Watanabe, A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems, COP 2018.

• T. Watanabe, Reactive Reflection in an FRP Language for Small-Scale Embedded Systems, META 2017.

• T. Watanabe & K. Sawada, Towards Reflection in an FRP Language for Small-Scale Embedded Systems, LASSY 2017.

• T. Watanabe & K. Sawada, Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems, AGERE 2016.

• K. Suzuki, K. Nagayama, K. Sawada & T. Watanabe, CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems, WCTP 2016.

• K. Sawada & T. Watanabe, Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems, CROW 2016.

Other Materials

• Tutorial Poster (in Japanese)