A Tag Contract Framework for Heterogeneous Systems

Abstract : In the distributed development of modern IT systems, contracts play a vital role in ensuring interoperability of components and adherence to specifications. The design of embedded systems, however, is made more complex by the heterogeneous nature of components, which are often described using different models and interaction mechanisms. Composing such components is generally not well-defined, making design and verification difficult. Several frameworks, both operational and denotational, have been proposed to handle heterogeneity using a variety of approaches. However, the application of heterogeneous operational models to contract-based design has not yet been investigated. In this work, we adopt the operational mechanism of tag machines to represent heterogeneous systems and construct a full contract model. We introduce heterogeneous composition, refinement, dominance, and compatibility between contracts, altogether enabling a formalized and rigorous design process for heterogeneous systems.
Type de document :
Communication dans un congrès
Carlos Canal; Massimo Villari. FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems, Sep 2013, Málaga, Spain. Springer, pp.204-217
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01087915
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:39:25
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:17:45

Fichier

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

Identifiants

  • HAL Id : hal-01087915, version 1

Citation

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay. A Tag Contract Framework for Heterogeneous Systems. Carlos Canal; Massimo Villari. FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems, Sep 2013, Málaga, Spain. Springer, pp.204-217. 〈hal-01087915〉

Partager

Métriques

Consultations de la notice

291

Téléchargements de fichiers

105