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

https://hal.inria.fr/hal-01087910
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:26:53
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 14 avril 2017 - 21:48:15

Fichier

acsd.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01087910, version 1

Citation

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

Partager

Métriques

Consultations de la notice

240

Téléchargements de fichiers

80