| 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. |
