Citation
Aaron Ames, Alberto Sangiovanni-Vincentelli, Shankar Sastry. "Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems". Workshop on Networked Embedded Sensing and Control, October, 2005.

Abstract
Tagged systems provide a denotational semantics for embedded systems. A heterogeneous network of embedded systems can be modeled mathematically by a network of tagged systems. Taking the heterogeneous composition of this network results in a single, homogeneous, tagged system. The question this paper addresses is: when is semantics (behavior) preserved by composition? To answer this question, we use the framework of category theory to reason about heterogeneous system composition and derive results that are as general as possible. In particular, we define the category of tagged systems, demonstrate that a network of tagged systems corresponds to a diagram in this category and prove that taking the composition of a network of tagged systems is equivalent to taking the limit of this diagram---thus composition is endowed with a universal property. Using this universality, we are able to derive verifiable necessary and sufficient conditions on when composition preserves semantics.

Electronic downloads

• Ames_NESC05.pdf · application/pdf · 313 kbytes

• HTML

  Aaron Ames, Alberto Sangiovanni-Vincentelli, Shankar Sastry.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/123.html"
  >Homogeneous Semantics Preserving Deployments of
  Heterogeneous Networks of Embedded Systems</a>,
  Workshop on Networked Embedded Sensing and Control, October,
  2005.

• Plain text

  Aaron Ames, Alberto Sangiovanni-Vincentelli, Shankar Sastry.
  "Homogeneous Semantics Preserving Deployments of
  Heterogeneous Networks of Embedded Systems". Workshop
  on Networked Embedded Sensing and Control, October, 2005.

• BibTeX

  @inproceedings{AmesSangiovanniVincentelliSastry05_HomogeneousSemanticsPreservingDeploymentsOfHeterogeneous,
      author = {Aaron Ames and Alberto Sangiovanni-Vincentelli and
                Shankar Sastry},
      title = {Homogeneous Semantics Preserving Deployments of
                Heterogeneous Networks of Embedded Systems},
      booktitle = {Workshop on Networked Embedded Sensing and Control},
      month = {October},
      year = {2005},
      abstract = {Tagged systems provide a denotational semantics
                for embedded systems. A heterogeneous network of
                embedded systems can be modeled mathematically by
                a network of tagged systems. Taking the
                heterogeneous composition of this network results
                in a single, homogeneous, tagged system. The
                question this paper addresses is: when is
                semantics (behavior) preserved by composition? To
                answer this question, we use the framework of
                category theory to reason about heterogeneous
                system composition and derive results that are as
                general as possible. In particular, we define the
                category of tagged systems, demonstrate that a
                network of tagged systems corresponds to a diagram
                in this category and prove that taking the
                composition of a network of tagged systems is
                equivalent to taking the limit of this
                diagram---thus composition is endowed with a
                universal property. Using this universality, we
                are able to derive verifiable necessary and
                sufficient conditions on when composition
                preserves semantics.},
      URL = {http://chess.eecs.berkeley.edu/pubs/123.html}
  }
  

Posted by Aaron Ames on 15 May 2006.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.