| |
|
|
ptides
In this project, we are interested in developing programming models for real-time distributed systems and studying algorithms that can statically check whether a given model is deployable over a network of nodes.
The introduction of network time protocols such as NTP (at a coarse granularity) and IEEE 1588 (at a fine granularity) gives a relatively consistent global notion of time to distributed systems. A key question that arises in the face of such technologies is how they can change the way that real-time distributed systems are developed. In [1], we present a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems), which leverages time synchronization over distributed platforms. PTIDES uses discrete-event (DE) models as programming specifications for distributed real-time systems and extends discrete-event models with the capability of mapping certain events to physical time. We use model time to define execution semantics and add constraints that bind certain model time events to physical time. We limit the relationship of model time to physical time to only those circumstances where this relationship is needed. An execution model that permits out of order processing of events without sacrificing determinacy and without requiring backtracking is described in [1]. The formal foundation is based on the concepts of relevant dependency and relevant order. The current focus of the PTIDES project is as described Here. Resources
References:[1]Y. Zhao, E. A. Lee, and J. Liu, "Programming temporally integrated distributed embedded systems", Technical Report UCB/EECS-2006-82, EECS Department, University of California, Berkeley, May 28 2006. [2]Thomas Huining Feng and Edward A. Lee, "Real-Time Distributed Discrete-Event Execution with Fault Tolerance", In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), St. Louis, MO, USA, April 2008. [3]P. Derler, E. A. Lee, and S. Matic, "Simulation and implementation of the ptides programming model", In Proceedings of IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 09), Vancouver, Canada, October 23-25, 2008. [4]J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler, "Execution strategies for ptides, a programming model for distributed embedded systems", In Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 09), San Francisco, WA, United States, April 13-15, 2009. [5]Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee, "PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice", In Proceedings of LCTES 2009, Dublin, Ireland, June 19-20. Other ReferencesEdward A. Lee, "Is Truly Real-Time Computing Becoming Unachievable?," Talk at the Real-Time and Embedded Technology and Applications Symposium (RTAS), Bellevue, WA, April 3-6, 2007. Yang Zhao, Jie Liu, Edward A. Lee, "A Programming Model for Time-Synchronized Distributed Real-Time Systems," RTAS, pp. 259-268, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), 2007. Internal Version Yang Zhao. "PTIDES: Programming Temporally Integrated Distributed Embedded Systems," Seventh Biennial Ptolemy Miniconference, Berkeley, February 13, 2007. Yang Zhao, Edward A. Lee and Jie Liu, " Application of Programming Temporally Integrated Distributed Embedded Systems", In Proceedings of 2006 IEEE 1588 Conference Gaithersburg, MD, October 2-4, 2006. References to other people's work we find interestingThese references point to work we find interesting.
Mailing lists and discussion forums may be found under the ptides link above. To modify this page, use CVS. |