Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Thursday, February 21, 2008 - 3:29:52 PM
Last modification on : Tuesday, March 30, 2021 - 12:16:04 PM




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⟩



Les métriques sont temporairement indisponibles