Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems

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.

[1]  S. Lane Categories for the Working Mathematician , 1971 .

[2]  A.J. van der Schaft,et al.  Achievable behavior by composition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  Paul Caspi,et al.  Embedded Control: From Asynchrony to Synchrony and Back , 2001, EMSOFT.

[4]  S. Shankar Sastry,et al.  A Homology Theory for Hybrid Systems: Hybrid Homology , 2005, HSCC.

[5]  Jeffrey S. Rosenthal,et al.  Introduction to mathematical systems theory. a behavioral approach [Book Review] , 2002, IEEE Transactions on Automatic Control.

[6]  Benoît Caillaud,et al.  From Synchrony to Asynchrony , 1999, CONCUR.

[7]  Alberto L. Sangiovanni-Vincentelli,et al.  Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment , 2003, EMSOFT.

[8]  Glynn Winskel,et al.  Models for Concurrency , 1994 .

[9]  Paulo Tabuada,et al.  Bisimulation Relations for Dynamical and Control Systems , 2003, CTCS.

[10]  J. M. Schumacher,et al.  Compositionality issues in discrete, continuous, and hybrid systems , 2001 .

[11]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA) , 2004, EMSOFT '04.

[13]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  Interchange Formats for Hybrid Systems: Review and Proposal , 2005, HSCC.

[15]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[16]  Edward A. Lee,et al.  A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION , 1997 .

[17]  Alberto L. Sangiovanni-Vincentelli,et al.  Composing heterogeneous reactive systems , 2008, TECS.

[18]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .