Richard Kieburtz. Real-time reactive programming for embedded controllers. Available from author's home page, March 2001.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Lee [58] gives an overview of how many ongoing efforts fit into the greater picture of transferring software engineering techniques to the area of embedded and real time systems. Finally, we have not discussed traditional real time techniques like prioritybased and rate monotonic scheduling [55]. We expect that these approaches can fit within the traditional frameworks for concurrency [64, 84, 40, 41, 65] and that the same approaches discussed above for the encapsulation of concurrency apply. Acknowledgments We would like to thank Francoise Bellegarde, Adriana Compagnoni, Bill ....

Richard Kieburtz. Real-time reactive programming for embedded controllers. Available from author's home page, March 2001.

....of synchronous processes. In this paper, we have chosen to focus on the issue of bounded resources in the presence of recursion. Ultimately, however, we are interested in more sophisticated models for real time systems, where resources are allocated according to their priority (see Kieburtz [20] for a nice account from the Haskell point of view) Signal, Lustre, and synchronous Kahn networks [4] account for this via a clock calculus. While this technique may apply directly to RT FRP, this still remains to be established. There are many connections between the semantics here and the ....

Richard Kieburtz. Real-time reactive programming for embedded controllers. Available from author's home page, March 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC