Repetitive Model Refactoring for Design Space Exploration of Intensive Signal Processing Applications

The efficient design of computation intensive multidimensional signal processing application requires to deal with three kinds of constraints: those implied by the data dependencies, the non functional requirements (real-time, power consumption) and the availability of resources of the execution platform. We propose here a strategy to use a refactoring tool dedicated to this kind of applications to help explore the design space. This strategy is illustrated on an industrial radar application modeled using the Modeling and Analysis of Real-time and Embedded systems (MARTE) UML profile. It allows to find good trade-offs in the usage of storage and computation resources and in the parallelism (both task and data parallelism) exploitation.

[1]  Julien Soula,et al.  Principe de compilation d'un langage de traitement de signal , 2001 .

[2]  Pierre Boulet,et al.  Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing , 2010, Multidimens. Syst. Signal Process..

[3]  Christian Haubelt,et al.  Modeling and Analysis of Windowed Synchronous Algorithms , 2006, 2006 IEEE International Conference on Acoustics Speech and Signal Processing Proceedings.

[4]  Pierre Boulet,et al.  UML2 Profile for Modeling Controlled Data Parallel Applications , 2006, FDL.

[5]  Richard M. Karp,et al.  The Organization of Computations for Uniform Recurrence Equations , 1967, JACM.

[6]  Jean-Luc Dekeyser,et al.  Marte: A new profile rfp for the modeling and analysis of real-time embedded systems , 2005 .

[7]  Philippe Dumont Spécification multidimensionnelle pour le traitement du signal systématique , 2005 .

[8]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[9]  Pierre Boulet,et al.  Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing , 2008 .

[10]  Edward A. Lee,et al.  Multidimensional synchronous dataflow , 2002, IEEE Trans. Signal Process..

[11]  Pierre Boulet,et al.  Gaspard2: from MARTE to SystemC Simulation , 2008 .

[12]  Pierre Boulet,et al.  High Level Loop Transformations for Multidimensional Signal Processing Embedded Applications , 2008 .

[13]  Denis CaromelI,et al.  A Formal Semantics for Sisal Arrays , 2007 .

[14]  Sven-Bodo Scholz,et al.  Single Assignment C: efficient support for high-level array operations in a functional setting , 2003, Journal of Functional Programming.

[15]  Pierre Boulet,et al.  Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach , 2005 .