Trovare subito gli errori durante lo sviluppo dei multiprocessori
Le nuove tecnologie come i sistemi con molti processori su microchip stanno portando nuove applicazioni nell'industria della microelettronica. Usando la concorrenza per accelerare il sistema, essi sono in grado di fornire una maggiore potenza di elaborazione, che apre la strada a più usi possibili. Tuttavia, è molto difficile trovare degli errori di concorrenza poiché gli attuali metodi di verifica e test sono limitati, dispendiosi in termini di tempo e costosi. Questo significa che i nuovi modelli sono spessi distribuiti con errori che vengono scoperti solo una volta che i prodotti sono usati in situazioni reali. La risoluzione di questi problemi impone dei costi ancora più alti. Il progetto PREDICTMP ("Predictive techniques for system level analysis of multiprocessors"), finanziato dall'UE, ha esaminato i metodi di progettazione a livello di sistema in grado di migliorare l'affidabilità di software concorrenti per rendere lo sviluppo dei prodotti più efficiente. PREDICTMP ha sviluppato una tecnica di verifica runtime predittiva basata su simulazioni che scopre in modo affidabile gli errori di concorrenza presto nel processo di sviluppo per risparmiare tempo e denaro. I ricercatori hanno anche sviluppato un nuovo sistema mutante di misurazione della copertura conscio della concorrenza basato su verifiche e un sistema automatizzato di generazione di test per progetti SystemC. Queste innovazioni hanno aumentato il rilevamento degli errori esistenti e potenziali. I risultati sono stati convalidati su un grande progetto industriale e porteranno a domande di brevetto. Il progetto di tre anni ha migliorato la capacità dei produttori di multiprocessori di trovare errori e aumenta la qualità dei metodi di verifica a loro disposizione. In sostanza, questi strumenti di verifica del progetto industriale ridurranno il tempo per giungere sul mercato dei nuovi prodotti. Ulteriori risparmi di tempo e denaro potranno essere ottenuti se gli investitori finanziano la ricerca per ottimizzare automazione, integrazione e scalabilità per progetti SystemC.
