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 Vom Gehirn zur Robotik: Algorithmen verarbeiten Sensordaten wie das Gehirn
25.09.2017 | Universität Ulm

nachricht Ein stabiles magnetisches Bit aus drei Atomen
21.09.2017 | Sonderforschungsbereich 668

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Die schnellste lichtgetriebene Stromquelle der Welt

Die Stromregelung ist eine der wichtigsten Komponenten moderner Elektronik, denn über schnell angesteuerte Elektronenströme werden Daten und Signale übertragen. Die Ansprüche an die Schnelligkeit der Datenübertragung wachsen dabei beständig. In eine ganz neue Dimension der schnellen Stromregelung sind nun Wissenschaftler der Lehrstühle für Laserphysik und Angewandte Physik an der Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) vorgedrungen. Ihnen ist es gelungen, im „Wundermaterial“ Graphen Elektronenströme innerhalb von einer Femtosekunde in die gewünschte Richtung zu lenken – eine Femtosekunde entspricht dabei dem millionsten Teil einer milliardstel Sekunde.

Der Trick: die Elektronen werden von einer einzigen Schwingung eines Lichtpulses angetrieben. Damit können sie den Vorgang um mehr als das Tausendfache im...

Im Focus: The fastest light-driven current source

Controlling electronic current is essential to modern electronics, as data and signals are transferred by streams of electrons which are controlled at high speed. Demands on transmission speeds are also increasing as technology develops. Scientists from the Chair of Laser Physics and the Chair of Applied Physics at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) have succeeded in switching on a current with a desired direction in graphene using a single laser pulse within a femtosecond ¬¬ – a femtosecond corresponds to the millionth part of a billionth of a second. This is more than a thousand times faster compared to the most efficient transistors today.

Graphene is up to the job

Im Focus: LaserTAB: Effizientere und präzisere Kontakte dank Roboter-Kollaboration

Auf der diesjährigen productronica in München stellt das Fraunhofer-Institut für Lasertechnik ILT das Laser-Based Tape-Automated Bonding, kurz LaserTAB, vor: Die Aachener Experten zeigen, wie sich dank neuer Optik und Roboter-Unterstützung Batteriezellen und Leistungselektronik effizienter und präziser als bisher lasermikroschweißen lassen.

Auf eine geschickte Kombination von Roboter-Einsatz, Laserscanner mit selbstentwickelter neuer Optik und Prozessüberwachung setzt das Fraunhofer ILT aus Aachen.

Im Focus: LaserTAB: More efficient and precise contacts thanks to human-robot collaboration

At the productronica trade fair in Munich this November, the Fraunhofer Institute for Laser Technology ILT will be presenting Laser-Based Tape-Automated Bonding, LaserTAB for short. The experts from Aachen will be demonstrating how new battery cells and power electronics can be micro-welded more efficiently and precisely than ever before thanks to new optics and robot support.

Fraunhofer ILT from Aachen relies on a clever combination of robotics and a laser scanner with new optics as well as process monitoring, which it has developed...

Im Focus: The pyrenoid is a carbon-fixing liquid droplet

Plants and algae use the enzyme Rubisco to fix carbon dioxide, removing it from the atmosphere and converting it into biomass. Algae have figured out a way to increase the efficiency of carbon fixation. They gather most of their Rubisco into a ball-shaped microcompartment called the pyrenoid, which they flood with a high local concentration of carbon dioxide. A team of scientists at Princeton University, the Carnegie Institution for Science, Stanford University and the Max Plank Institute of Biochemistry have unravelled the mysteries of how the pyrenoid is assembled. These insights can help to engineer crops that remove more carbon dioxide from the atmosphere while producing more food.

A warming planet

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Im Spannungsfeld von Biologie und Modellierung

26.09.2017 | Veranstaltungen

Archaeopteryx, Klimawandel und Zugvögel: Deutsche Ornithologen-Gesellschaft tagt an der Uni Halle

26.09.2017 | Veranstaltungen

Unsere Arbeitswelt von morgen – Polarisierendes Thema beim 7. Unternehmertag der HNEE

26.09.2017 | Veranstaltungen

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

Mit künstlicher Intelligenz zum chemischen Fingerabdruck

26.09.2017 | Biowissenschaften Chemie

Eine detaillierte Waldkarte des blauen Planeten

26.09.2017 | Geowissenschaften

RWI/ISL-Containerumschlag-Index steigt weiter

26.09.2017 | Wirtschaft Finanzen