Frühzeitige Fehlersuche in der Multiprozessor- Entwicklung

Die Forscher setzen Entwurfsmethoden auf Systemebene ein, um die Zuverlässigkeit der neu aufkommenden Multi-Processing-Technologien zu verbessern. Mit der Arbeit konnte man den Mikroelektronikentwicklungsprozess zum Einsatz in drahtlosen Netzwerken, in der Telekommunikation und bei Fahrzeugen verbessern.

Digitale Wirtschaft

Neueste Technologien wie beispielsweise Multiprozessorsysteme auf Chips bringen neue Anwendungen in der Mikroelektronikindustrie hervor. Unter Einsatz von Gleichzeitigkeit zur Beschleunigung des Systems können sie mehr Rechenleistung bereitstellen, wodurch sich letztlich mehr Einsatzmöglichkeiten abzeichnen. Es ist jedoch sehr schwierig, Gleichzeitigkeitsfehler zu finden, da die derzeit üblichen Verifizierungs- und Testverfahren begrenzt, zeitaufwendig und teuer sind. Das bedeutet, dass neue Entwürfe oft mit Fehlern veröffentlicht werden, die nur bei der Anwendung der Produkte in realen Situationen entdeckt werden. Eine Fehlersuche bei diesen Problemen verursacht höhere Kosten. "Predictive techniques for system level analysis of multiprocessors" (PREDICTMP) war ein von der EU finanziertes Projekt, das Entwurfsmethoden auf Systemebene erforschte, mit denen die Zuverlässigkeit von Gleichzeitigkeitssoftware verbessert werden kann, um die Produktentwicklung effizienter zu gestalten. PREDICTMP entwickelte ein prädiktives Laufzeitverifizierungsverfahren auf Basis von Simulationen, mit dem auf zuverlässige Weise Gleichzeitigkeitsfehler frühzeitig im Entwicklungsprozess auffindbar sind, um Zeit und Geld zu sparen. Die Forscher entwickelten überdies eine neue parallelitätssensible testbasierte Mutationsabdeckungsmetrik und ein automatisiertes Testgenerierungs-Framework für SystemC-Designs. Diese Innovationen verbesserten die Erkennung existierender und potenzieller Fehler. Die Resultate wurden anhand eines großen Industrieentwurfs validiert und werden Patentanmeldungen nach sich ziehen. Das Dreijahresprojekt konnte die Fähigkeiten der Multiprozessorhersteller in Bezug auf das Auffinden von Fehlern und die Steigerung der Qualität der ihnen zur Verfügung stehenden Verifikationsmethoden verbessern. Letztlich werden diese Verifikationsinstrumente für Industriedesigns die Produkteinführungszeit für neue Produkte reduzieren. Weitere Zeit- und Kostenersparnisse können erzielt werden, wenn die Investoren die Erforschung der optimierten Automatisierung, Integration und Skalierbarkeit für SystemC-Designs finanzieren.

Predictive Techniques for System Level Analysis of Multi-Processors

Frühzeitige Fehlersuche in der Multiprozessor- Entwicklung

Entdecken Sie Artikel in demselben Anwendungsbereich

Diese Seite teilen

Herunterladen