Citation
Edward A. Lee, Slobodan Matic, Sanjit A. 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 A. 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 A. 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 A.
                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..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.