A Model Driven Design Framework for Massively Parallel Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2011

A Model Driven Design Framework for Massively Parallel Embedded Systems

Résumé

Modern embedded systems integrate more and more complex functionalities. At the same time, the semiconductor technology advances enable to increase the amount of hardware resources on a chip for the execution. Massively parallel embedded systems speci cally deal with the optimized usage of such hardware resources to e ciently execute their functionalities. The design of these systems mainly relies on the following challenging issues: rst, how to deal with the parallelism in order to increase the performances; second, how to abstract their implementation details in order to manage their complexity; third, how to re ne these abstract representations in order to produce e cient implementations. This paper presents the Gaspard design framework for massively parallel embedded systems as a solution to the above issues. Gaspard uses the repetitive Model of Computation (MoC), which o ers a powerful expression of the regular parallelism available in both system functionality and architecture. Embedded systems are designed at a high abstraction level with the MARTE (Modeling and Analysis of Real-time and Embedded systems) standard pro le, in which our repetitive MoC is described by the so-called Repetitive Structure Modeling (RSM) package. Based on the Model-Driven Engineering (MDE) paradigm, MARTE models are re ned towards lower abstraction levels, which make possible the design space exploration. By combining all these capabilities, Gaspard allows the designers to automatically generate code for formal veri cation, simulation and hardware synthesis from high level speci cations of high performance embedded systems. Its e ectiveness is demonstrated with the design of an embedded system for a multimedia application.
Fichier non déposé

Dates et versions

inria-00637595 , version 1 (02-11-2011)

Identifiants

Citer

Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, et al.. A Model Driven Design Framework for Massively Parallel Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS), 2011, 10 (4), pp.1-36. ⟨10.1145/2043662.2043663⟩. ⟨inria-00637595⟩
232 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More