Part II Simulation and Implementation

Networked Embedded Sensing and Control

Volume 331 of the series Lecture Notes in Control and Information Science pp 127-154

Date:

Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems

  • Aaron D. AmesAffiliated withCenter for Hybrid and Embedded Software Systems Department of Electrical Engineering and Computer Sciences University of California at Berkeley
  • , Alberto Sangiovanni-VincentelliAffiliated withCenter for Hybrid and Embedded Software Systems Department of Electrical Engineering and Computer Sciences University of California at Berkeley
  • , Shankar SastryAffiliated withCenter for Hybrid and Embedded Software Systems Department of Electrical Engineering and Computer Sciences University of California at Berkeley

* Final gross prices may vary according to local VAT.

Get Access

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.