Citation
Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou. "The Case for Timing-Centric Distributed Software". IEEE International Conference on Distributed Computing Systems Workshops: Workshop on Cyber-Physical Systems, IEEE, 22, June, 2009.

Abstract
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 discrete event 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.

Electronic downloads

• LeeMaticSeshiaZou_Ptides.pdf · application/pdf · 537 kbytes
• http://dx.doi.org/10.1109/ICDCSW.2009.108. (Published version)

• HTML

  Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou. <a
  href="http://chess.eecs.berkeley.edu/pubs/607.html"
  >The Case for Timing-Centric Distributed
  Software</a>, IEEE International Conference on
  Distributed Computing Systems Workshops: Workshop on
  Cyber-Physical Systems, IEEE, 22, June, 2009.

• Plain text

  Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou.
  "The Case for Timing-Centric Distributed
  Software". IEEE International Conference on Distributed
  Computing Systems Workshops: Workshop on Cyber-Physical
  Systems, IEEE, 22, June, 2009.

• BibTeX

  @inproceedings{LeeMaticSeshiaZou09_CaseForTimingCentricDistributedSoftware,
      author = {Edward A. Lee and Slobodan Matic and Sanjit Seshia
                and Jia Zou},
      title = {The Case for Timing-Centric Distributed Software},
      booktitle = {IEEE International Conference on Distributed
                Computing Systems Workshops: Workshop on
                Cyber-Physical Systems},
      organization = {IEEE},
      day = {22},
      month = {June},
      year = {2009},
      abstract = {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
                discrete event 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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/607.html}
  }
  

Posted by Mary Stewart on 22 Jun 2009.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.