Citation
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou. "A Time-Centric Model for Cyber-Physical Applications". Proceedings of 3rd International Workshop on Model Based Architecting and Construction of Embedded System (ACESMB 2010), 21-35, October, 2010.

Abstract
The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The paper discusses the use of an extension to the Ptolemy II framework as a coordination language for the design of distributed real-time embedded systems. Specifically, the paper shows how to use modal models in the context of the PTIDES extension of Ptolemy II to provide a firm basis for the design of an important class of problems.We show the use of this environment in the design of interesting practical real-time systems.

Electronic downloads

• ACES_PTIDES.pdf · application/pdf · 484 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://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-135.html. (Technical report version)
• http://chess.eecs.berkeley.edu/pubs/707.html. (Conference Presentation)

• HTML

  John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia,
  Jia Zou. <a
  href="http://chess.eecs.berkeley.edu/pubs/791.html"
  >A Time-Centric Model for Cyber-Physical
  Applications</a>, Proceedings of 3rd International
  Workshop on Model Based Architecting and Construction of
  Embedded System (ACESMB 2010), 21-35, October, 2010.

• Plain text

  John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia,
  Jia Zou. "A Time-Centric Model for Cyber-Physical
  Applications". Proceedings of 3rd International
  Workshop on Model Based Architecting and Construction of
  Embedded System (ACESMB 2010), 21-35, October, 2010.

• BibTeX

  @inproceedings{EidsonLeeMaticSeshiaZou10_TimeCentricModelForCyberPhysicalApplications,
      author = {John Eidson and Edward A. Lee and Slobodan Matic
                and Sanjit Seshia and Jia Zou},
      title = {A Time-Centric Model for Cyber-Physical
                Applications},
      booktitle = {Proceedings of 3rd International Workshop on Model
                Based Architecting and Construction of Embedded
                System (ACESMB 2010)},
      pages = {21-35},
      month = {October},
      year = {2010},
      abstract = {The problem addressed by this paper is that
                real-time embedded software today is commonly
                built using programming abstractions with little
                or no temporal semantics. The paper discusses the
                use of an extension to the Ptolemy II framework as
                a coordination language for the design of
                distributed real-time embedded systems.
                Specifically, the paper shows how to use modal
                models in the context of the PTIDES extension of
                Ptolemy II to provide a firm basis for the design
                of an important class of problems.We show the use
                of this environment in the design of interesting
                practical real-time systems.},
      URL = {http://chess.eecs.berkeley.edu/pubs/791.html}
  }
  

Posted by Slobodan Matic on 8 Dec 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.