An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems - CentraleSupélec Access content directly
Conference Papers Year : 2006

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

Frédéric Boulanger
Mokhoo Aimé Mbobi
  • Function : Author

Abstract

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.
No file

Dates and versions

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

Identifiers

Cite

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⟩
39 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More