In this report, we present the first results of a study on the modeling of data-intensive parallel applications following the synchronous approach. More precisely, we consider the GASPARD extension of ARRAY-OL, which is dedicated to System-on-Chip codesign. We define an associated synchronous dataflow equational model that enables to address several design correctness issues (e.g. verification ...

P. Gaspard and I. Claus, T. Gilbert, and J. R. Dorfman Center for Nonlinear Phenomena and Complex Systems Université Libre de Bruxelles, Code Postal 231, Campus Plaine, B-1050 Brussels, Belgium Department of Chemical Physics, The Weizmann Institute of Science, Rehovot 76100, Israel Department of Physics and Institute for Physical Science and Technology, University of Maryland, College Park, MD ...

The work presented in this dissertation is carried out in the context of System-on-Chip (SoC) andembedded system design, particularly dedicated to data-parallel intensive processing applications (DIPs). Ex-amples of such applications are found in multimedia processing and signal processing. On the one hand, safedesign of DIPs is considered to be important due to the need of Quality ...