Model Based Engineering for the support of Models of Computation: The Cometa Approach - Département STIC Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Model Based Engineering for the support of Models of Computation: The Cometa Approach

Résumé

The development of Real Time Embedded Systems increasingly requires the integration of several parts with different purposes. Consequently, the heterogeneous appearance of such system creates a need to manage their growing complexity mainly due to the difficulty to interconnect the different parts composing them. Model Based Engineering has significantly participated in recent decades to find solutions in terms of methodologies and technical supports tailored to design RTES. Indeed, several models are used to represent different aspects of the system. However, the interconnection of different models paradigm is still a difficult challenge. The handling of such problems requires a clear definition of the execution and interconnection semantics of the different models composing the system. Indeed, the abstraction of the execution semantics of machines (Models of Computation) can highlight properties for the whole systems execution. In this paper, we propose an approach that captures these semantics the earliest possible in the modeling phases with the aim of exhibiting properties that ease the design space exploration and performance analysis of systems. We also review existing approaches for defining such execution semantics.
Fichier non déposé

Dates et versions

hal-00635594 , version 1 (25-10-2011)

Identifiants

  • HAL Id : hal-00635594 , version 1

Citer

Papa Issa Diallo, Joël Champeau, Vincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach. International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122. ⟨hal-00635594⟩
427 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More