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

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.
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00258288
Contributor : Evelyne Faivre <>
Submitted on : Thursday, February 21, 2008 - 3:29:52 PM
Last modification on : Tuesday, August 21, 2018 - 11:40:04 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

58