Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Computer können sich nach Programmabsturz selbst reparieren

17.02.2010
Wenn große Computerprogramme plötzlich abstürzen und ganze Flughäfen oder Handelsfirmen lahm legen, sind daran oft nur kleine Softwarefehler schuld.

Informatiker der Universität des Saarlandes haben jetzt ein Verfahren entwickelt, mit dem diese Fehler gleich entdeckt und automatisch wieder behoben werden. Das "Pachika" genannte System wird umfangreichen Computerprogrammen als eigenständiges Reparatur-Set einfach hinzugefügt.

Das Forscherteam um Andreas Zeller, Professor für Softwaretechnik der Universität des Saarlandes, wird das neue Projekt auf der Computermesse Cebit 2010 in Hannover vom 2. bis 6. März am saarländischen Forschungsstand (Halle 9, Stand B 43) vorstellen.

Pachika ist der ostafrikanische Sprache Suaheli entnommen und bedeutet so viel wie "einsetzen und reparieren". Genau dies macht die Softwarebibliothek, die von dem Doktoranden Valentin Dallmeier im Team von Professor Andreas Zeller entwickelt wurde. Sie wird in ein bestehendes Computerprogramm eingefügt und beobachtet dort ähnlich wie eine Überwachungskamera, was das Programm während seiner Ausführung genau macht. Hängt sich das Programm an einer bestimmten Stelle selbst auf oder stürzt komplett ab, analysiert das Pachika-System sofort, wie sich der fehlerhafte Programmlauf von den vorhergehenden unterschieden hat.

Ohne weiteres Eingreifen eines Programmierers repariert das System dann automatisch diese Fehlfunktion. Im Laborversuch konnten damit in einem von sechs Fällen große Java-Programme mit Millionen von Code-Zeilen selbständig repariert werden. "Bei Tausenden von Softwarefehlern, die täglich den Programmierern das Leben schwer machen, stimmen uns diese Zahlen sehr optimistisch", sagt Professor Zeller.

Das Pachika-System ist Teil des Forschungsprojekts "Autofix", das von der Deutschen Forschungsgemeinschaft (DFG) und der Schweizer Hasler Stiftung gefördert wird. Projektpartner ist Professor Bertrand Meyer von der Eidgenössischen Technischen Hochschule Zürich (ETH). Das Team von Professor Andreas Zeller stellt auf der Cebit 2010 außerdem Verfahren vor, mit denen in Programme gezielt Fehler gestreut werden, um damit Fehler zu finden. Außerdem wird Programmierern auf einer Web-Plattform gezeigt, ob ihr Programm den Regeln folgt, die von der Mehrheit der anderen Programmierer für richtig befunden wurden.

Am Dienstag, 2. März steht Prof. Andreas Zeller am Forschungsstand des Saarlandes (Halle 9, Stand B 43) für Interviews zur Verfügung. An allen anderen Messetagen erläutern seine Mitarbeiter interessierten Journalisten das Pachika-System.

Fragen beantworten Ihnen:

Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Tel.: 0681/302-64011
E-Mail: zeller@cs.uni-sb.de
Valentin Dallmeier
Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Tel.: 0681/302- 64780
E-Mail: dallmeier@st.cs.uni-sb.de
Friederike Meyer zu Tittingdorf
Tel. 0681 / 302-3610
Tel. 0511 / 89 49 70 37 (Cebit-Messetelefon)
Mobil 0151 / 11 37 16 32
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern und Studenten der Universität des Saarlandes führen, über Rundfunk-ISDN-Codec. Interviewwünsche bitte an die Pressestelle (0681/302-3610) richten.

Friederike Meyer zu Tittingdorf | idw
Weitere Informationen:
http://www.st.cs.uni-saarland.de
http://www.uni-saarland.de/pressefotos

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Maschinelles Lernen: Neue Methode ermöglicht genaue Extrapolation
13.07.2018 | Institute of Science and Technology Austria

nachricht Gegen das Verblassen historischer Dokumente
11.07.2018 | Hochschule für Technik, Wirtschaft und Kultur Leipzig

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Superscharfe Bilder von der neuen Adaptiven Optik des VLT

Das Very Large Telescope (VLT) der ESO hat das erste Licht mit einem neuen Modus Adaptiver Optik erreicht, die als Lasertomografie bezeichnet wird – und hat in diesem Rahmen bemerkenswert scharfe Testbilder vom Planeten Neptun, von Sternhaufen und anderen Objekten aufgenommen. Das bahnbrechende MUSE-Instrument kann ab sofort im sogenannten Narrow-Field-Modus mit dem adaptiven Optikmodul GALACSI diese neue Technik nutzen, um Turbulenzen in verschiedenen Höhen in der Erdatmosphäre zu korrigieren. Damit ist jetzt möglich, Bilder vom Erdboden im sichtbaren Licht aufzunehmen, die schärfer sind als die des NASA/ESA Hubble-Weltraumteleskops. Die Kombination aus exquisiter Bildschärfe und den spektroskopischen Fähigkeiten von MUSE wird es den Astronomen ermöglichen, die Eigenschaften astronomischer Objekte viel detaillierter als bisher zu untersuchen.

Das MUSE-Instrument (kurz für Multi Unit Spectroscopic Explorer) am Very Large Telescope (VLT) der ESO arbeitet mit einer adaptiven Optikeinheit namens GALACSI. Dabei kommt auch die Laser Guide Stars Facility, kurz ...

Im Focus: Diamant – ein unverzichtbarer Werkstoff der Fusionstechnologie

Forscher am KIT entwickeln Fenstereinheiten mit Diamantscheiben für Fusionsreaktoren – Neue Scheibe mit Rekorddurchmesser von 180 Millimetern

Klimafreundliche und fast unbegrenzte Energie aus dem Fusionskraftwerk – für dieses Ziel kooperieren Wissenschaftlerinnen und Wissenschaftler weltweit. Bislang...

Im Focus: Wiener Forscher finden vollkommen neues Konzept zur Messung von Quantenverschränkung

Quantenphysiker/innen der ÖAW entwickelten eine neuartige Methode für den Nachweis von hochdimensional verschränkten Quantensystemen. Diese ermöglicht mehr Effizienz, Sicherheit und eine weitaus geringere Fehleranfälligkeit gegenüber bisher gängigen Mess-Methoden, wie die Forscher/innen nun im Fachmagazin „Nature Physics“ berichten.

Die Vision einer vollständig abhörsicheren Übertragung von Information rückt dank der Verschränkung von Quantenteilchen immer mehr in Reichweite. Wird eine...

Im Focus: Was passiert, wenn wir das Atomgitter eines Magneten plötzlich aufheizen?

„Wir haben jetzt ein klares Bild davon, wie das heiße Atomgitter und die kalten magnetischen Spins eines ferrimagnetischen Nichtleiters miteinander ins Gleichgewicht gelangen“, sagt Ilie Radu, Wissenschaftler am Max-Born-Institut in Berlin. Das internationale Forscherteam fand heraus, dass eine Energieübertragung sehr schnell stattfindet und zu einem neuartigen Zustand der Materie führt, in dem die Spins zwar heiß sind, aber noch nicht ihr gesamtes magnetisches Moment verringert haben. Dieser „Spinüberdruck“ wird durch wesentlich langsamere Prozesse abgebaut, die eine Abgabe von Drehimpuls an das Gitter ermöglichen. Die Forschungsergebnisse sind jetzt in "Science Advances" erschienen.

Magnete faszinieren die Menschheit bereits seit mehreren tausend Jahren und sind im Zeitalter der digitalen Datenspeicherung von großer praktischer Bedeutung....

Im Focus: Erste Beweise für Quelle extragalaktischer Teilchen

Zum ersten Mal ist es gelungen, die kosmische Herkunft höchstenergetischer Neutrinos zu bestimmen. Eine Forschungsgruppe um IceCube-Wissenschaftlerin Elisa Resconi, Sprecherin des Sonderforschungsbereichs SFB1258 an der Technischen Universität München (TUM), liefert ein wichtiges Indiz in der Beweiskette, dass die vom Neutrino-Teleskop IceCube am Südpol detektierten Teilchen mit hoher Wahrscheinlichkeit von einer Galaxie in vier Milliarden Lichtjahren Entfernung stammen.

Um andere Ursprünge mit Gewissheit auszuschließen, untersuchte das Team um die Neutrino-Physikerin Elisa Resconi von der TU München und den Astronom und...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Innovation – the name of the game

18.07.2018 | Veranstaltungen

Wie geht es unserer Ostsee? Ein aktueller Zustandsbericht

17.07.2018 | Veranstaltungen

Interdisziplinäre Konferenz: Diabetesforscher und Bioingenieure diskutieren Forschungskonzepte

13.07.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Vernetzte Beleuchtung: Weg mit dem blinden Fleck

18.07.2018 | Energie und Elektrotechnik

BIAS erhält Bremens größten 3D-Drucker für metallische Luffahrtkomponenten

18.07.2018 | Verfahrenstechnologie

Verminderte Hirnleistung bei schwachem Herz

18.07.2018 | Medizin Gesundheit

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics