loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 29th IEEE International Conference on Distributed Computing Systems Workshops
The Case for Timing-Centric Distributed Software
Montreal, Quebec, Canada
June 22-June 26
ISBN: 978-0-7695-3660-6
ASCII Text
x 
 
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou, "The Case for Timing-Centric Distributed Software," Distributed Computing Systems Workshops, International Conference on, pp. 57-64, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops, 2009.
 
 
BibTex
x
 
@article{ 10.1109/ICDCSW.2009.108,
author = {Edward A. Lee and Slobodan Matic and Sanjit A. Seshia and Jia Zou},
title = {The Case for Timing-Centric Distributed Software},
journal ={Distributed Computing Systems Workshops, International Conference on},
volume = {0},
year = {2009},
issn = {1545-0678},
pages = {57-64},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2009.108},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems Workshops, International Conference on
TI - The Case for Timing-Centric Distributed Software
SN - 1545-0678
SP57
EP64
A1 - Edward A. Lee,
A1 - Slobodan Matic,
A1 - Sanjit A. Seshia,
A1 - Jia Zou,
PY - 2009
VL - 0
JA - Distributed Computing Systems Workshops, International Conference on
ER -
 
This paper makes the case that the time is right to introduce temporal semantics into programming models for cyber-physical systems. Specifically, we argue for a programming model called PTIDES that provides a coordination language rooted in discreteevent semantics, supported by a lightweight runtime framework and tools for verifying concurrent software components. PTIDES leverages recent innovations in network time synchronization to deliver distributed real-time systems with determinate concurrent semantics, decentralized and robust control, and the potential for rigorous schedulability analysis.
Citation:
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou, "The Case for Timing-Centric Distributed Software," icdcsw, pp.57-64, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops, 2009
Usage of this product signifies your acceptance of the Terms of Use.