*banner
 

Distributed Real-Time Software for Cyber-Physical Systems
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou

Citation
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou. "Distributed Real-Time Software for Cyber-Physical Systems". Proceedings of the IEEE (special issue on CPS), 100(1):45-59, January 2012.

Abstract
Real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. This paper addresses this problem by presenting a programming model called PTIDES that serves as a coordination language for model-based design of distributed real-time embedded systems. Specifically, the paper describes the principles of PTIDES, which leverages network time synchronization to provide a determinate distributed real-time semantics. We show how PTIDES can function as a coordination language, orchestrating components that may be designed and specified using different formalisms. We show the use of this environment in the design of interesting and practical cyber-physical systems, such as a power plant control system.

Electronic downloads

  • DistributedRealTime.pdf · application/pdf · 5216 kbytes. (Following section 8.1.9 (pg. 56) of the IEEE PSPB Operations Manual we make the following statement: "This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.")
  • http://dx.doi.org/10.1109/JPROC.2011.2161237
Citation formats  
  • HTML
    John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia,
    Jia Zou. <a
    href="http://chess.eecs.berkeley.edu/pubs/850.html"
    >Distributed Real-Time Software for Cyber-Physical
    Systems</a>, <i>Proceedings of the IEEE (special
    issue on CPS)</i>, 100(1):45-59, January 2012.
  • Plain text
    John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia,
    Jia Zou. "Distributed Real-Time Software for
    Cyber-Physical Systems". <i>Proceedings of the
    IEEE (special issue on CPS)</i>, 100(1):45-59, January
    2012.
  • BibTeX
    @article{EidsonLeeMaticSeshiaZou12_DistributedRealTimeSoftwareForCyberPhysicalSystems,
        author = {John Eidson and Edward A. Lee and Slobodan Matic
                  and Sanjit Seshia and Jia Zou},
        title = {Distributed Real-Time Software for Cyber-Physical
                  Systems},
        journal = {Proceedings of the IEEE (special issue on CPS)},
        volume = {100},
        number = {1},
        pages = {45 - 59},
        month = {January},
        year = {2012},
        abstract = {Real-time embedded software today is commonly
                  built using programming abstractions with little
                  or no temporal semantics. This paper addresses
                  this problem by presenting a programming model
                  called PTIDES that serves as a coordination
                  language for model-based design of distributed
                  real-time embedded systems. Specifically, the
                  paper describes the principles of PTIDES, which
                  leverages network time synchronization to provide
                  a determinate distributed real-time semantics. We
                  show how PTIDES can function as a coordination
                  language, orchestrating components that may be
                  designed and specified using different formalisms.
                  We show the use of this environment in the design
                  of interesting and practical cyber-physical
                  systems, such as a power plant control system.},
        URL = {http://chess.eecs.berkeley.edu/pubs/850.html}
    }
    

Posted by Edward A. Lee on 17 Jul 2011.
Groups: ptides
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