Skip to Main content Skip to Navigation
Conference papers

Tag Machines for Modeling Heterogeneous Systems

Abstract : Embedded systems are often composed from components of very different natures, e.g., mechanical and electronic. Composition of heterogeneous components is generally not well-defined, making design and verification difficult. Denotational mathematical frameworks for reasoning effectively on heterogeneous composition have recently been made available. In this work, we propose an operational version of this formalism, based on tag machines, that can represent heterogeneous composition, and we provide conditions under which the heterogeneous composition can be captured soundly and completely. We have implemented our operational framework in a prototype tool which we use for experimental evaluation.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 9:26:53 AM
Last modification on : Wednesday, February 2, 2022 - 3:50:38 PM
Long-term archiving on: : Friday, April 14, 2017 - 9:48:15 PM


Files produced by the author(s)


  • HAL Id : hal-01087910, version 1


Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay. Tag Machines for Modeling Heterogeneous Systems. ACSD, Jul 2013, Barcelona, Spain. ⟨hal-01087910⟩



Record views


Files downloads