*banner
 

A Time-Centric Model for Cyber-Physical Applications
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou

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

Citation formats  
  • HTML
    John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A.
    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 A.
    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 A. 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.

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.

You are not logged in 
©2002-2014 Chess