*banner
 

Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems
Edward A. Lee, Haiyang Zheng

Citation
Edward A. Lee, Haiyang Zheng. "Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems". Proceedings of the 7th ACM & IEEE international conference on Embedded software, Christoph M. Kirsch, Reinhard Wilhelm (eds.), ACM, 114-123, 2007.

Abstract
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the DE semantics. It shows that all three semantic models can be used in actor-oriented composition languages, and that despite the fact that CT is the most general, there are good reasons for using each of the more specialized semantics. Moreover, because of the generalization relationship between them, these three models of computation (MoCs) compose hierarchically in arbitrary order. We describe a design system that supports arbitrary combinations of these three MoCs, leveraging the actor abstract semantics of Ptolemy II.

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee, Haiyang Zheng. <a
    href="http://chess.eecs.berkeley.edu/pubs/430.html"
    >Leveraging Synchronous Language Principles for
    Heterogeneous Modeling and Design of Embedded
    Systems</a>, Proceedings of the 7th ACM & IEEE
    international conference on Embedded software, Christoph M.
    Kirsch,  Reinhard Wilhelm (eds.), ACM, 114-123, 2007.
  • Plain text
    Edward A. Lee, Haiyang Zheng. "Leveraging Synchronous
    Language Principles for Heterogeneous Modeling and Design of
    Embedded Systems". Proceedings of the 7th ACM &
    IEEE international conference on Embedded software,
    Christoph M. Kirsch,  Reinhard Wilhelm (eds.), ACM, 114-123,
    2007.
  • BibTeX
    @inproceedings{LeeZheng07_LeveragingSynchronousLanguagePrinciplesForHeterogeneous,
        author = {Edward A. Lee and Haiyang Zheng},
        title = {Leveraging Synchronous Language Principles for
                  Heterogeneous Modeling and Design of Embedded
                  Systems},
        booktitle = {Proceedings of the 7th ACM \& IEEE international
                  conference on Embedded software},
        editor = {Christoph M. Kirsch,  Reinhard Wilhelm},
        organization = {ACM},
        pages = {114-123},
        year = {2007},
        abstract = {This paper gives a semantics for discrete-event
                  (DE) models that generalizes that of
                  synchronous/reactive (SR) languages, and a
                  continuous-time (CT) semantics that generalizes
                  the DE semantics. It shows that all three semantic
                  models can be used in actor-oriented composition
                  languages, and that despite the fact that CT is
                  the most general, there are good reasons for using
                  each of the more specialized semantics. Moreover,
                  because of the generalization relationship between
                  them, these three models of computation (MoCs)
                  compose hierarchically in arbitrary order. We
                  describe a design system that supports arbitrary
                  combinations of these three MoCs, leveraging the
                  actor abstract semantics of Ptolemy II.},
        URL = {http://chess.eecs.berkeley.edu/pubs/430.html}
    }
    

Posted by Christopher Brooks on 6 Jun 2008.
Groups: ptolemy
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