*banner
 

The Case for Timing-Centric Distributed Software
Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou

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

Citation formats  
  • 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.

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.

©2002-2018 Chess