Citation
Man-Kit Leung, Edward A. Lee. "An Extensible Software Synthesis Framework for Heterogeneous Actor Models". SLA++P 2008, Model-driven High-level Programming of Embedded Systems, Artist, March, 2008; See SLA++P 2008.

Abstract
A model of computation (MoC or domain) is a modeling abstraction of how components interact. Researchers have proposed a variety of MoCs to describe different kinds of interaction semantics. For example, some MoCs may use deterministic data streams to express communication between components while some MoCs may govern the interaction through real-time or some abstraction of time. A specialized MoC imposes stricter constraints on the model and, thus, provides more analyzability. However, specialized MoCs sometimes may not be expressive enough for complex interaction, so one has to revert to using a more generic (and complex) MoC, which comes at the cost of analyzability. Heterogeneous modeling is an innovative technique that proposes composition of multiple MoCs. It attempts to maximize both analyzability and expressiveness by providing finer granularity in the use of MoCs. The Globally-Asynchronous, Locally-Synchronous (GALS) efforts are one example of mixing MoCs. In order to program efficiently using heterogeneous modeling, we build an extensible code generation framework which contributes a new interface for synthesizing and composing domain-specific code.

Electronic downloads

• HeterogeneousCodegen_Leung.pdf · application/pdf · 331 kbytes

• HTML

  Man-Kit Leung, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/401.html">An
  Extensible Software Synthesis Framework for Heterogeneous
  Actor Models</a>, SLA++P 2008, Model-driven High-level
  Programming of Embedded Systems, Artist, March, 2008; See
  <a
  href="http://www.artist-embedded.org/artist/SLA-P-2008,1231.html"
  >SLA++P 2008</a>.

• Plain text

  Man-Kit Leung, Edward A. Lee. "An Extensible Software
  Synthesis Framework for Heterogeneous Actor Models".
  SLA++P 2008, Model-driven High-level Programming of Embedded
  Systems, Artist, March, 2008; See <a
  href="http://www.artist-embedded.org/artist/SLA-P-2008,1231.html"
  >SLA++P 2008</a>.

• BibTeX

  @inproceedings{LeungLee08_ExtensibleSoftwareSynthesisFrameworkForHeterogeneous,
      author = {Man-Kit Leung and Edward A. Lee},
      title = {An Extensible Software Synthesis Framework for
                Heterogeneous Actor Models},
      booktitle = {SLA++P 2008, Model-driven High-level Programming
                of Embedded Systems},
      organization = {Artist},
      month = {March},
      year = {2008},
      note = {See <a
                href="http://www.artist-embedded.org/artist/SLA-P-2008,1231.html"
                >SLA++P 2008</a>.},
      abstract = {A model of computation (MoC or domain) is a
                modeling abstraction of how components interact.
                Researchers have proposed a variety of MoCs to
                describe different kinds of interaction semantics.
                For example, some MoCs may use deterministic data
                streams to express communication between
                components while some MoCs may govern the
                interaction through real-time or some abstraction
                of time. A specialized MoC imposes stricter
                constraints on the model and, thus, provides more
                analyzability. However, specialized MoCs sometimes
                may not be expressive enough for complex
                interaction, so one has to revert to using a more
                generic (and complex) MoC, which comes at the cost
                of analyzability. Heterogeneous modeling is an
                innovative technique that proposes composition of
                multiple MoCs. It attempts to maximize both
                analyzability and expressiveness by providing
                finer granularity in the use of MoCs. The
                Globally-Asynchronous, Locally-Synchronous (GALS)
                efforts are one example of mixing MoCs. In order
                to program efficiently using heterogeneous
                modeling, we build an extensible code generation
                framework which contributes a new interface for
                synthesizing and composing domain-specific code.},
      URL = {http://chess.eecs.berkeley.edu/pubs/401.html}
  }
  

Posted by Man-Kit Leung on 3 Mar 2008.
Groups: hcddes ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.