An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems - CentraleSupélec
Communication Dans Un Congrès Année : 2006

An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems

Frédéric Boulanger
Mokhoo Aimé Mbobi
  • Fonction : Auteur

Résumé

The prototyping of embedded systems being long and expensive, software models are often defined to be used as a behavioral reference for better exploration and evaluation of the systems properties. However, embedded systems being naturally heterogeneous, they require the coexistence of several models of computation. In software engineering, the great challenge is how to specify heterogeneous interfaces for ensuring well defined communications because various semantic properties are mixed. Therefore, some existing approaches use only a set of few models of computation to reduce this complexity. Some others can use an open set of models of computation but reduce the complexity by forbidding to use different models of computation in the same hierarchical level. This paper proposes a modeling approach based on the meta-modeling of models of computation. It allows to mix different models of computation by using a meta-model of computation which provides a common semantic description at a higher abstraction level. This makes easier to specify the interactions between models of computation.
Fichier non déposé

Dates et versions

hal-00258288 , version 1 (21-02-2008)

Identifiants

Citer

Frédéric Boulanger, Mokhoo Aimé Mbobi. An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems. 2006 International Symposium on Collaborative Technologies and Systems. (CTS2006), May 2006, Las Vegas, United States. pp.194-199, ⟨10.1109/CTS.2006.15⟩. ⟨hal-00258288⟩
46 Consultations
0 Téléchargements

Altmetric

Partager

More