Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Computer-Chips: Europaweit dem Fehler auf der Spur

14.01.2010
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

Eberhard Scholz | idw
Weitere Informationen:
http://www.informatik.uni-bremen.de/agra

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Forschungsprojekt: Zukünftige Fahrzeugtechnologien im Open Region Lab – ZuFOR
30.03.2017 | Ostfalia Hochschule für angewandte Wissenschaften

nachricht Schnelle Time-to-Market durch standardisierte Datacenter-Container
28.03.2017 | Rittal GmbH & Co. KG

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Atome rennen sehen - Phasenübergang live beobachtet

Ein Wimpernschlag ist unendlich lang dagegen – innerhalb von 350 Billiardsteln einer Sekunde arrangieren sich die Atome neu. Das renommierte Fachmagazin Nature berichtet in seiner aktuellen Ausgabe*: Wissenschaftler vom Center for Nanointegration (CENIDE) der Universität Duisburg-Essen (UDE) haben die Bewegungen eines eindimensionalen Materials erstmals live verfolgen können. Dazu arbeiteten sie mit Kollegen der Universität Paderborn zusammen. Die Forscher fanden heraus, dass die Beschleunigung der Atome jeden Porsche stehenlässt.

Egal wie klein sie sind, die uns im Alltag umgebenden Dinge sind dreidimensional: Salzkristalle, Pollen, Staub. Selbst Alufolie hat eine gewisse Dicke. Das...

Im Focus: Kleinstmagnete für zukünftige Datenspeicher

Ein internationales Forscherteam unter der Leitung von Chemikern der ETH Zürich hat eine neue Methode entwickelt, um eine Oberfläche mit einzelnen magnetisierbaren Atomen zu bestücken. Interessant ist dies insbesondere für die Entwicklung neuartiger winziger Datenträger.

Die Idee ist faszinierend: Auf kleinstem Platz könnten riesige Datenmengen gespeichert werden, wenn man für eine Informationseinheit (in der binären...

Im Focus: Quantenkommunikation: Wie man das Rauschen überlistet

Wie kann man Quanteninformation zuverlässig übertragen, wenn man in der Verbindungsleitung mit störendem Rauschen zu kämpfen hat? Uni Innsbruck und TU Wien präsentieren neue Lösungen.

Wir kommunizieren heute mit Hilfe von Funksignalen, wir schicken elektrische Impulse durch lange Leitungen – doch das könnte sich bald ändern. Derzeit wird...

Im Focus: Entwicklung miniaturisierter Lichtmikroskope - „ChipScope“ will ins Innere lebender Zellen blicken

Das Institut für Halbleitertechnik und das Institut für Physikalische und Theoretische Chemie, beide Mitglieder des Laboratory for Emerging Nanometrology (LENA), der Technischen Universität Braunschweig, sind Partner des kürzlich gestarteten EU-Forschungsprojektes ChipScope. Ziel ist es, ein neues, extrem kleines Lichtmikroskop zu entwickeln. Damit soll das Innere lebender Zellen in Echtzeit beobachtet werden können. Sieben Institute in fünf europäischen Ländern beteiligen sich über die nächsten vier Jahre an diesem technologisch anspruchsvollen Projekt.

Die zukünftigen Einsatzmöglichkeiten des neu zu entwickelnden und nur wenige Millimeter großen Mikroskops sind äußerst vielfältig. Die Projektpartner haben...

Im Focus: A Challenging European Research Project to Develop New Tiny Microscopes

The Institute of Semiconductor Technology and the Institute of Physical and Theoretical Chemistry, both members of the Laboratory for Emerging Nanometrology (LENA), at Technische Universität Braunschweig are partners in a new European research project entitled ChipScope, which aims to develop a completely new and extremely small optical microscope capable of observing the interior of living cells in real time. A consortium of 7 partners from 5 countries will tackle this issue with very ambitious objectives during a four-year research program.

To demonstrate the usefulness of this new scientific tool, at the end of the project the developed chip-sized microscope will be used to observe in real-time...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Industriearbeitskreis »Prozesskontrolle in der Lasermaterialbearbeitung ICPC« lädt nach Aachen ein

28.03.2017 | Veranstaltungen

Neue Methoden für zuverlässige Mikroelektronik: Internationale Experten treffen sich in Halle

28.03.2017 | Veranstaltungen

Wie Menschen wachsen

27.03.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Nierentransplantationen: Weisse Blutzellen kontrollieren Virusvermehrung

30.03.2017 | Biowissenschaften Chemie

Zuckerrübenschnitzel: der neue Rohstoff für Werkstoffe?

30.03.2017 | Materialwissenschaften

Integrating Light – Your Partner LZH: Das LZH auf der Hannover Messe 2017

30.03.2017 | HANNOVER MESSE