Detección temprana de errores en el desarrollo de multiprocesadores
Tecnologías recientes como los sistemas de varios procesadores en los chips están impulsando nuevas aplicaciones en la industria microelectrónica. Aplicando computación concurrente para acelerar el sistema se puede conseguir más capacidad de procesamiento, lo que permite más usos potenciales. Sin embargo, es muy difícil encontrar errores de concurrencia dado que los métodos actuales de verificación y comprobación tienen limitaciones, requieren mucho tiempo y son caros. Esto significa que los nuevos diseños a menudo se presentan con errores que solo se descubren una vez que los productos se utilizan en situaciones del mundo real. La resolución de estos problemas implica mayores costes. El proyecto «Predictive techniques for system level analysis of multiprocessors» (PREDICTMP), financiado por la UE, analizó métodos de diseño a nivel de sistema que pudieran mejorar la fiabilidad del software concurrente para hacer más eficiente el desarrollo de productos. PREDICTMP desarrolló una técnica de verificación predictiva en tiempo de ejecución basada en simulaciones que es capaz de encontrar errores de concurrencia de forma temprana y fiable en el proceso de desarrollo, permitiendo ahorrar tiempo y dinero. Los investigadores también desarrollaron un nuevo criterio de medición de la cobertura del código basado en pruebas con mutaciones y teniendo en cuenta la concurrencia, y un marco de generación de pruebas automatizadas para diseños de SystemC. Estas innovaciones aumentaron la detección de fallos existentes y potenciales. Los resultados se han validado en un gran diseño industrial y darán lugar a solicitudes de patentes. Este proyecto de tres años ha mejorado la capacidad de los fabricantes de multiprocesadores para encontrar errores y mejorar la calidad de los métodos de verificación disponibles. En última instancia, estas herramientas de verificación del diseño industrial reducirán el tiempo necesario para lanzar al mercado nuevos productos. Se podría ahorrar más en tiempo y costes si los inversores financiaran investigaciones en automatización de la optimización, integración y escalabilidad para diseños de SystemC.
