idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
EU fördert Informatik-Projekt der Universität Bremen für die Automatisierung der Fehlersuche bei eingebetteten Systemen.
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.
Weitere Informationen:
Universität Bremen
Fachbereich Mathematik und Informatik
AG Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Dr. Görschwin Fey
Tel.: 0421-218 63932 oder 63944
E-Mail: drechsler@uni-bremen.de, fey@informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/agra
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Forschungsprojekte
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
