Real-time Functional Reactive Program Translator for Embedded Systems 


Vol. 13,  No. 6, pp. 481-488, Dec.  2006
10.3745/KIPSTA.2006.13.6.481


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals