Model Based Engineering for the support of Models of Computation: The Cometa Approach
| Autor: | Issa Diallo, Papa, Champeau, Joël, Leilde, Vincent |
|---|---|
| Přispěvatelé: | Lab-STICC_ENSTAB_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Laboratoire d'Informatique des Systèmes Complexes (LISYC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Billon-Coat, Annick |
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: |
RTES
Cometa MBE [SHS.INFO]Humanities and Social Sciences/Library and information sciences [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] MARTE MoC (Model of Computation) [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation [SHS.INFO] Humanities and Social Sciences/Library and information sciences |
| Zdroj: | International Workshop on Multi-Paradigm Modeling-MPM 2011 International Workshop on Multi-Paradigm Modeling-MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|