Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems

  • Aaron D. Ames
  • Alberto Sangiovanni-Vincentelli
  • Shankar Sastry
Part II Simulation and Implementation
Part of the Lecture Notes in Control and Information Science book series (LNCIS, volume 331)

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 veri.able necessary and sufficient conditions on when composition preserves semantics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors and Affiliations

  • Aaron D. Ames
    • 1
  • Alberto Sangiovanni-Vincentelli
    • 1
  • Shankar Sastry
    • 1
  1. 1.Center for Hybrid and Embedded Software Systems Department of Electrical Engineering and Computer Sciences University of California at Berkeley 

Personalised recommendations