We present the modeling of data-intensive parallel applications following the synchronous approach. We consider the GASPARD environment, which is dedicated to high-performance system-on-chip (SoC) codesign. Our motivation is to bridge the gap between the GASPARD design approach and the formal validation techniques provided by the synchronous technology. First, we define a synchronous dataflow e...

Gaspard is a visual programming environment devoted to the development and control of scientific parallel applications. The two paradigms of parallel programming (task and data parallelism) are mixed in Gaspard: a hierarchy of task graphs operates on array flows. These two levels are mixed in a common metaphor. An application is designed as a printed circuit: the programmer specifies tasks as b...

This paper demonstrates that the Model Driven Engineering approach is reliable for the development of codesign environments dedicated to embedded systems. From a UML model of a data parallel application, the Gaspard environment is able to generate an hardware accelerator which executes the modeled application. All the potential parallelism of a given application is modeled in UML and is exploit...

foundation for his subsequent scientific and philosophical studies. His school career ended at sixteen but the young man spent two more years with his uncle. His father had decided upon a business career for his son and had made arrangement for him to enter a large bank at Marseilles, but the national situation prevented the realization of any such hope for in 1794 France sent out a call to col...

laboratoire d’informatique Gaspard-Monge ESIEE Doctor of Philosophy Image processing algorithms for the visualization of interventional devices in X-ray fluoroscopy.

The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated transformations towards lower-level descriptions. In this report, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronou...