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

• http://doi.acm.org/10.1145/1289927.1289949
• http://ptolemy.eecs.berkeley.edu/publications/papers/07/unifying/index.htm

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