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

Software

Publications

Other Materials