Real-time Functional Reactive Program Translator for Embedded Systems


The KIPS Transactions:PartA, Vol. 13, No. 6, pp. 481-488, Dec. 2006
10.3745/KIPSTA.2006.13.6.481,   PDF Download:

Abstract

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
D. J. Lee and G. Woo, "Real-time Functional Reactive Program Translator for Embedded Systems," The KIPS Transactions:PartA, vol. 13, no. 6, pp. 481-488, 2006. DOI: 10.3745/KIPSTA.2006.13.6.481.

[ACM Style]
Dong Ju Lee and Gyun Woo. 2006. Real-time Functional Reactive Program Translator for Embedded Systems. The KIPS Transactions:PartA, 13, 6, (2006), 481-488. DOI: 10.3745/KIPSTA.2006.13.6.481.