PTIDES: A Programming Model for Distributed Real-Time Embedded Systems
Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren Patel, Yang Zheo, Jia Zou · 2008
We describe a programming model called PTIDES (Pro-gramming Temporally Integrated Distributed Embedded Sys-tems), that extends the discrete-event model of computation with a carefully chosen relationship between real time and model time. PTIDES provides a framework for exploring a family of execution strategies for distributed embedded systems. Our objective in this paper is to present an ex-ecution strategy that 1) allows independent events to be processed out of time stamp order, 2) uses clock synchro-nization as a replacement for null message communication across distributed platforms, 3) defines a notion of when events are safe to process and 4) presents an implementa-tion of a PTIDES model. This work puts forward an exe-cution strategy that is aggressive in concurrent execution of events. 1.