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
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
Publications
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)