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.
Type de document :
Communication dans un congrès
ACSD, Jul 2013, Barcelona, Spain. 2013
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:26:53
Dernière modification le : vendredi 16 novembre 2018 - 01:39:29
Document(s) archivé(s) le : vendredi 14 avril 2017 - 21:48:15


Fichiers produits par l'(les) auteur(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. 2013. 〈hal-01087910〉



Consultations de la notice


Téléchargements de fichiers