|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
San Francisco, CA
April 13-April 16
ISBN: 978-0-7695-3636-1
| ASCII Text | x | ||
| Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler, "Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems," 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 77-86, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/RTAS.2009.39, author = {Jia Zou and Slobodan Matic and Edward A. Lee and Thomas Huining Feng and Patricia Derler}, title = {Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems}, journal ={2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)}, volume = {0}, year = {2009}, issn = {1080-1812}, pages = {77-86}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2009.39}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) TI - Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems SN - 1080-1812 SP77 EP86 A1 - Jia Zou, A1 - Slobodan Matic, A1 - Edward A. Lee, A1 - Thomas Huining Feng, A1 - Patricia Derler, PY - 2009 VL - 0 JA - 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTAS.2009.39
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory automation, for example) is given as a discrete-event (DE) model of a distributed real-time system that includes sensors and actuators. The time stamps of DE events are bound to physical time at the sensors and actuators, turning the DE model into an executable specification of the system with explicit real-time constraints. This paper first defines a general execution strategy that conforms to the DE semantics, and then specializes this strategy to give practical, implementable and distributed policies. Our policies leverage network time synchronization to eliminate the need for null messages, allow independent events to be processed out of time stamp order, thus increasing concurrency and making more models feasible (w.r.t. real-time constraints), and improve fault isolation in distributed systems. The policies are given in terms of a safe to process predicate on events that depends on the time stamp of the events and the local notion of physical time. In a simple case we show how to statically check whether program execution satisfies timing constraints.
Citation:
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler, "Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems," rtas, pp.77-86, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Usage of this product signifies your acceptance of the Terms of Use.
