Deteccion Concurrente Algoritmica, Caso Practico

Detección Algorítmica es una estrategia de detección concurrente de errores en sistemas digitales específicamente desarrollada para módulos de procesado complejo. En el estado actual de la tecnología de circuitos integrados es posible implementar sistemas de gran complejidad para el diseńo de nuevos dispositivos y nuevas posibilidades en las comunicaciones y los entornos multimedia. En este contexto, los mecanismos de detección tradicionales no resultan adecuados, ya que implican una pérdida de prestaciones y la utilización de una cantidad de recursos adicionales excesiva. La metodología propuesta no supone una penalización sobre el rendimiento, y el área consumida siempre será asumible si se puede implementar un comprobador externo. Se ha aplicado con éxito a un módulo que realiza la Transformada Wavelet bidimensional y que forma parte de otro más amplio de compresión de imágenes fijas. Se presentan además nuevas herramientas de validación que permiten abordar el desarrollo y comprobación de mecanismos de detección y que superan las limitaciones de las existentes cuando los sistemas analizados alcanzan un cierto grado de complejidad.