Tag machines

Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagged systems, a behavioral (denotational) framework. in this paper, we present an operational view of tagged systems, where we focus on tag machines as mathematical artifacts that act as finitary generators of tagged systems. Properties of tag machines are investigated. A fundamental theorem on homogeneous compositionality is given as a first step towards an operational theory of heterogeneous systems. Categories and Subject Descriptors: C.3.3 [Specialpurpose and application-based systems]: Real-time and embedded systems. General Terms: Theory.

• Type: Conference
• Year: 2005
• Where: EMSOFT
• Authors: Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
• Keywords: Embedded Systems, EMSOFT 2005, Tag Machines, Tagged Systems