*banner
 

An Extensible Software Synthesis Framework for Heterogeneous Actor Models
Man-Kit Leung, Edward A. Lee

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

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

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