Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
This paper presents mechanisms for describing real-time tasks in functional reactive programming (FRP) languages for small-scale embedded systems. We have designed and implemented Emfrp, an FRP language for resource-constrained systems, and demonstrated its usefulness with several applications. However, the language requires using external clocks as time-varying values when describing time-dependent behaviors. In this work, we extend the types of time-varying values that express their update timings to describe periodic and aperiodic tasks. The extensions enable concise and precise descriptions of various timed behaviors. We evaluate prototype implementations of the extended languages concerning program size, execution time, and power consumption.
this URL might only work when visiting from a https://www.psg.c.titech.ac.jp/acmauthorizer.html URL.
Mon 23 OctDisplayed time zone: Lisbon change
11:00 - 12:30 | |||
11:00 45mTalk | Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems REBLS Kento Sogo Tokyo Institute of Technology, Yuta Tsuji Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology Link to publication DOI Authorizer link | ||
11:45 45mTalk | Thorium: Verifiable, Dynamic, Reactive Software REBLS Kevin Baldor The University of Texas at San Antonio, Jianwei Niu University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio |