Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Enhance the reusability of Models and their Behavioral correctness

Papa Issa Diallo 1 Joël Champeau 1 Loïc Lagadec 1
1 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : In the context of growing number of design activities, tools and fonnalisms for system design, it becomes di.flicult to ensure that an entry system madel will retain its consistency and coherence after passing through different tools. Indeed, the design tools often rely on different formalisms, syntaxes and semantics. Therefore, the preservation of the semantics and correctness of models is difficult to ensure. In this article, we are especially interested in the mechanisms to maintain the correct behavior of modela through different tools possessing different execution semantics. We propose ta show an experiment we conducted to connect the UML Rhapsody specification tool with the Formai Design and simulation ForSyDe-SystemC tool.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00912587
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 2 décembre 2013 - 13:16:05
Dernière modification le : mercredi 24 juin 2020 - 16:19:23

Identifiants

  • HAL Id : hal-00912587, version 1

Citation

Papa Issa Diallo, Joël Champeau, Loïc Lagadec. Enhance the reusability of Models and their Behavioral correctness. MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States. ⟨hal-00912587⟩

Partager

Métriques

Consultations de la notice

322