Actor-Oriented Modeling and Simulation of Sliding Window Image Processing Algorithms

Embedded real-time image processing systems have to process huge amounts of data with limited resources and energy. Hence high efficiency is not only required for manual, but also for automatic system generation. Therefore, in order to allow for different optimizations, a system specification must be such that important algorithm properties are accessible to the system design software. In this paper, we present a new method how multidimensional image processing algorithms can be modeled by actor-oriented dataflow semantics. Using the example of a binary morphological reconstruction, we investigate the modeling requirements posed by point, local and global image processing algorithms. We show how they can be taken into account in our approach, so that efficient implementation and analysis in terms of buffer size and throughput is possible. In particular, by the explicit specification of the communication behavior, both static and data dependent algorithms are supported allowing for a complete system specification.

[1]  Christian Haubelt,et al.  Efficient Representation and Simulation of Model-Based Designs , 2006, FDL.

[2]  Hugo De Man,et al.  Modeling multidimensional data and control flow , 1993, IEEE Trans. Very Large Scale Integr. Syst..

[3]  Edward A. Lee,et al.  Dataflow process networks , 1995, Proc. IEEE.

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

[5]  Pierre Boulet,et al.  Another Multidimensional Synchronous Dataflow: Simulating Array-OL in Ptolemy II , 2005 .

[6]  Luc Vincent,et al.  Morphological grayscale reconstruction in image analysis: applications and efficient algorithms , 1993, IEEE Trans. Image Process..

[7]  Benny Thörnberg,et al.  Polyhedral space generation and memory estimation from interface and memory models of real-time video systems , 2006, J. Syst. Softw..

[8]  Raymond Reiter,et al.  Scheduling Parallel Computations , 1968, J. ACM.

[9]  Shuvra S. Bhattacharyya,et al.  Modeling of Block-Based DSP Systems , 2005, J. VLSI Signal Process..

[10]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

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

[12]  Hugo De Man,et al.  Memory Size Reduction Through Storage Order Optimization for Embedded Parallel Multimedia Applications , 1997, Parallel Comput..

[13]  Edward A. Lee,et al.  Synthesis of Embedded Software from Synchronous Dataflow Specifications , 1999, J. VLSI Signal Process..

[14]  Soonhoi Ha,et al.  Fractional rate dataflow model and efficient code synthesis for multimedia applications , 2002, LCTES/SCOPES '02.

[15]  Bruce A. Draper,et al.  Compiling and optimizing image processing algorithms for FPGAs , 2000, Proceedings Fifth IEEE International Workshop on Computer Architectures for Machine Perception.

[16]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[17]  Christian Haubelt,et al.  Simulative Buffer Analysis of Local Image Processing Algorithms Described by Windowed Synchronous Data Flow , 2007, 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.