Sciweavers

Share
EMSOFT
2005
Springer

Tag machines

11 years 7 months ago
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.
Albert Benveniste, Benoît Caillaud, Luca P.
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EMSOFT
Authors Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Comments (0)
books