Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-...
summary
Extends Emfrp into EV mfrp that adds timing-typed discrete nodes and operators like at_last, at_now, merge and partialization so periodic (e.g. 500→1000 ms) and aperiodic (interrupt-driven) tasks are declared in types rather than ad hoc clocks. A prototype compiler emits C++ runtime plus IO skeletons, uses a single periodic timer and FreeRTOS queue for interrupt dispatch, and runs on STM32 boards. Evaluation reports larger binary (FreeRTOS cost) but lower runtime variance and measurable power savings via intermittent execution (wfi).
AI-written summary · about
chapters (12)
- 0:00Periodic and aperiodic tasks in FRP
- 1:52Research background and motivation
- 6:37EV mfrp proposal and mechanisms
- 9:35EV mfrp features and operators
- 15:27EV mfrp semantics and type system
- 16:55Prototype compiler implementation
- 18:01Memory management in EV mfrp
- 19:03Periodic tasks in ltime system
- 21:33Evaluation setup and methodology
- 24:53Related work in event-driven FRP
- 26:46Conclusion and future work
- 27:53Q&A
related talks
29mTowards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
29mWhat is Functional Reactive Programming?
29mModal FRP for all: Functional reactive programming without space leaks in Haskel...
30mAsynchronous Modal FRP
31mThe Beauty and Elegance of Functional Reactive Animation
01h 32mEmbedded Asynchronous Abstraction C++ - Implementing Senders & Receivers Without an OS
45mFunctional Reactive Programming in Elm
21mFLOREnce: A Hybrid Logic-Functional Reactive Programming Language