Real-time Reactive Programming for Embedded Controllers (2001)
by
Richard B. Kieburtz
| Venue: | Proc. ACM Int. Conf. on Functional Programming |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Kieburtz01real-timereactive,
author = {Richard B. Kieburtz},
title = {Real-time Reactive Programming for Embedded Controllers},
booktitle = {Proc. ACM Int. Conf. on Functional Programming},
year = {2001},
publisher = {ACM}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Software-based controllers for physical devices and processes must provide both algorithmic functionality, which is the usual focus of computer programming, and timely management of events. Combining these essential aspects is the challenge of real-time programming. This paper takes a fresh look at the fundamental issues of this discipline and proposes a synthetic approach that can provide certain guarantees that temporal specications will be met.
