Moderne Computer-Chips bestehen aus über einer Milliarde Komponenten. Diese große Anzahl wird auf einer nur wenige Quadratzentimeter großen Fläche verbaut. Werden Fehler festgestellt, gleicht die Bestimmung der Ursache der Suche nach der Nadel im Heuhaufen. Die Arbeitsgruppe Rechnerarchitektur unter der Leitung von Professor Rolf Drechsler aus dem Studiengang Informatik der Universität Bremen arbeitet seit einigen Jahren an der Automatisierung der Fehlersuche beim Entwurf eingebetteter Systeme, die aus Hardware- und Software-Komponenten bestehen. Unter maßgeblicher Mitarbeit von Dr. Görschwin Fey ist in den vergangenen Jahren eine Methodik auf Basis formaler Methoden entwickelt worden, die Fehlerstellen sehr präzise lokalisieren kann. Basierend auf diesen Vorarbeiten ist jetzt von Europäischen Union das Projekt DIAMOND mit einem Volumen von 2,9 Millionen Euro genehmigt worden, bei dem die Bremer Arbeitsgruppe mit Partnern aus der Industrie und weiteren Universitäten aus Estland, Österreich und Schweden zusammenarbeitet. Unter den Industriepartnern sind u. a. Firmen wie Ericsson und IBM, aber auch die kleineren Firmen TransEDA und Testonica Lab. Die Arbeitsgruppe von Professor Drechsler wird im Rahmen des Projektes mit über einer halben Million Euro in den kommenden drei Jahren gefördert.
„Debugging“
Das DIAMOND-Projektziel ist, das „Debugging“ oder „Entwanzen“ in der Praxis deutlich zu vereinfachen und dadurch zu beschleunigen. Bisher werden die Fehler unter großem Zeitaufwand von Hand gesucht. Im Rahmen von DIAMOND sollen Methoden entwickelt werden, um Fehlerursachen schnell zu finden und zu beseitigen. Dies umfasst nicht nur Programmierfehler, sondern auch Fehler, die während des Betriebes durch Umgebungsstrahlung oder Alterungseffekte entstehen. Für die Fehlersuche sollen nun automatische formale Beweismethoden eingesetzt werden. Statt dass der Programmierer von Hand mögliche Fehlerstellen finden, untersuchen, das Design modifizieren und so schließlich eine Korrektur vornehmen muss, übernimmt ein Software-Werkzeug diese Schritte vollautomatisch. Im Ergebnis liefert das Werkzeug Erklärungen, wie der Fehler entstehen kann, und macht Vorschläge für die Korrektur. Durch den Einsatz formaler Methoden wird hierbei gewährleistet, dass unterschiedlichste Arten von Fehlern in einer einheitlichen Umgebung analysiert werden können.
Die neuen Verfahren werden von den Universitäten im Projektkonsortium entwickelt. Die Industriepartner werden die Techniken dann an realen Entwürfen überprüfen, um so weiteres Entwicklungspotential aufzuzeigen. Insgesamt sollen die neuen Verfahren den Zeitaufwand für das Debugging um bis zu 50% verringern.
Wetere Informationen:
Universität Bremen
Fachbereich Mathematik und Informatik
AG Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Dr. Görschwin Fey
Tel. 0421-218 63944
feyprotect me ?!informatik.uni-bremenprotect me ?!.de