Détection précoce des bugs dans le développement des environnements multiprocesseur
Des technologies récentes telles que les systèmes de multiprocesseurs sur puces offrent de nouvelles possibilités d'application dans l'industrie de la microélectronique. Utilisant la congruence pour accélérer le système, elles peuvent délivrer davantage de puissance de traitement et ouvrir ainsi la voie à d'autres utilisations potentielles. Il est toutefois très difficile de trouver des erreurs de congruence car les méthodes de test et de vérification actuelles sont limitées, onéreuses et elles prennent énormément de temps. C'est pourquoi les nouvelles versions qui arrivent sur le marché comportent en général des bugs qui sont décelés seulement après une mise en situation réelle. La résolution de ces problèmes engendre des coûts supplémentaires. PREDICTMP («Predictive techniques for system level analysis of multiprocessors») est un projet financé par l'UE qui s'est axé sur des méthodes de conception de niveau système capables d'améliorer la fiabilité des logiciels en vue de renforcer l'efficacité du développement produit. L'équipe du projet PREDICTMP a mis au point une technique de vérification de la prédiction des temps d'exécution basée sur des simulations qui décèlent de manière fiable et précoce des erreurs de congruence dans le processus de développement, ceci afin de faire des économies de temps et d'argent. Les chercheurs ont également développé une nouvelle métrique de couverture basée sur les tests par mutation et sensible à la congruence ainsi qu'une structure de générateur automatique de tests pour les conceptions SystemC. Ces innovations ont amélioré la détection des erreurs existantes et potentielles. Les résultats ont été validés sur un modèle industriel et mèneront à des demandes de brevet. Le projet sur trois ans a permis aux fabricants de multiprocesseurs de trouver plus facilement les erreurs en mettant à leur disposition des méthodes de vérification plus performantes. À terme, ces outils de vérification des conceptions industrielles réduiront le temps de mise sur le marché des nouveaux produits. Des économies de temps et de coût supplémentaires seront possibles si des investisseurs financent la recherche sur l'optimisation de l'automatisation, de l'intégration et de la modularité des conceptions SystemC.
