Characterization of wavelet-based image coding systems for algorithmic fault detection

This paper presents a methodology for characterizing the behaviour of wavelet-based image coding systems in the presence of faults. This is a previous step in the development of efficient concurrent error detection techniques for such systems. The faulty behaviour of complex signal processing systems is better described at the algorithmic level (i.e., checking the accomplishment of a given functional property by large blocks of data) rather than using the ''classical'' approach at the structural (i.e., building block) level. Therefore, the issues related to algorithmic fault detection are addressed. Two different platforms for error characterization are presented and their main characteristics are discussed. Experimental results are presented that prove the suitability of the proposed methodology for the target application.

[1]  Régis Leveugle,et al.  Using run-time reconfiguration for fault injection applications , 2003, IEEE Trans. Instrum. Meas..

[2]  Eero P. Simoncelli,et al.  Texture characterization via joint statistics of wavelet coefficient magnitudes , 1998, Proceedings 1998 International Conference on Image Processing. ICIP98 (Cat. No.98CB36269).

[3]  Gauthier Lafruit,et al.  Implementation of a scalable MPEG-4 wavelet-based visual texture compression system , 1999, DAC '99.

[4]  Francky Catthoor,et al.  Guest Editors' Intoduction: The New World of Large Embedded Memories , 2001, IEEE Des. Test Comput..

[5]  Eero P. Simoncelli,et al.  Image compression via joint statistical characterization in the wavelet domain , 1999, IEEE Trans. Image Process..

[6]  Hideo Ito,et al.  Detecting, diagnosing, and tolerating faults in SRAM-based field programmable gate arrays: a survey , 2003, IEEE Trans. Very Large Scale Integr. Syst..

[7]  Xiang-Gen Xia,et al.  Improved hidden Markov models in the wavelet-domain , 2001, IEEE Trans. Signal Process..

[8]  João Paulo Teixeira,et al.  FPGAs BIST Evaluation , 2004, FPL.

[9]  Jeffrey K. Hollingsworth,et al.  Instrumentation and Measurement , 1998, 2022 International Symposium on Electronics and Telecommunications (ISETC).

[10]  Gauthier Lafruit,et al.  A scalable MPEG-4 wavelet-based visual texture compression system with optimized memory organization , 2003, IEEE Trans. Circuits Syst. Video Technol..

[11]  Enrique Mandado,et al.  Concurrent error detection in block ciphers , 2000, Proceedings International Test Conference 2000 (IEEE Cat. No.00CH37159).

[12]  Bo Yan,et al.  A survey on the techniques for the transport of MPEG-4 video over wireless networks , 2002, IEEE Trans. Consumer Electron..

[13]  Yiorgos Makris,et al.  Concurrent fault detection in random combinational logic , 2003, Fourth International Symposium on Quality Electronic Design, 2003. Proceedings..

[14]  Eero P. Simoncelli,et al.  Progressive wavelet image coding based on a conditional probability model , 1997, 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[15]  S. Mallat.  A wavelet tour of signal processing , 1998 .

[16]  Rochit Rajsuman.  Design and Test of Large Embedded Memories: An Overview , 2001, IEEE Des. Test Comput..

[17]  Michael Nicolaidis,et al.  Efficient implementations of self-checking adders and ALUs , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[18]  Aggelos K. Katsaggelos,et al.  Error resilient video coding techniques , 2000, IEEE Signal Process. Mag..

[19]  Jaideva C. Goswami,et al.  Fundamentals of wavelets , 1999 .