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 Virtueller Roboterschwarm auf dem Mars
06.04.2020 | Technologie-Zentrum Informatik und Informationstechnik

nachricht Pflanzenbestimmung mit Flora Incognita App im März verzehnfacht
03.04.2020 | Technische Universität Ilmenau

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Wenn Ionen an ihrem Käfig rütteln

In vielen Bereichen spielen „Elektrolyte“ eine wichtige Rolle: Sie sind bei der Speicherung von Energie in unserem Körper wie auch in Batterien von großer Bedeutung. Um Energie freizusetzen, müssen sich Ionen – geladene Atome – in einer Flüssigkeit, wie bspw. Wasser, bewegen. Bisher war jedoch der präzise Mechanismus, wie genau sie sich durch die Atome und Moleküle der Elektrolyt-Flüssigkeit bewegen, weitgehend unverstanden. Wissenschaftler*innen des Max-Planck-Instituts für Polymerforschung haben nun gezeigt, dass der durch die Bewegung von Ionen bestimmte elektrische Widerstand einer Elektrolyt-Flüssigkeit sich auf mikroskopische Schwingungen dieser gelösten Ionen zurückführen lässt.

Kochsalz wird in der Chemie auch als Natriumchlorid bezeichnet. Löst man Kochsalz in Wasser lösen sich Natrium und Chlorid als positiv bzw. negativ geladene...

Im Focus: When ions rattle their cage

Electrolytes play a key role in many areas: They are crucial for the storage of energy in our body as well as in batteries. In order to release energy, ions - charged atoms - must move in a liquid such as water. Until now the precise mechanism by which they move through the atoms and molecules of the electrolyte has, however, remained largely unknown. Scientists at the Max Planck Institute for Polymer Research have now shown that the electrical resistance of an electrolyte, which is determined by the motion of ions, can be traced back to microscopic vibrations of these dissolved ions.

In chemistry, common table salt is also known as sodium chloride. If this salt is dissolved in water, sodium and chloride atoms dissolve as positively or...

Im Focus: Den Regen für Hydrovoltaik nutzen

Wassertropfen, die auf Oberflächen fallen oder über sie gleiten, können Spuren elektrischer Ladung hinterlassen, so dass sich die Tropfen selbst aufladen. Wissenschaftlerinnen und Wissenschaftler des Max-Planck-Instituts für Polymerforschung (MPI-P) in Mainz haben dieses Phänomen, das uns auch in unserem Alltag begleitet, nun detailliert untersucht. Sie entwickelten eine Methode zur Quantifizierung der Ladungserzeugung und entwickelten zusätzlich ein theoretisches Modell zum besseren Verständnis. Nach Ansicht der Wissenschaftler könnte der beobachtete Effekt eine Möglichkeit zur Energieerzeugung und ein wichtiger Baustein zum Verständnis der Reibungselektrizität sein.

Wassertropfen, die über nicht leitende Oberflächen gleiten, sind überall in unserem Leben zu finden: Vom Tropfen einer Kaffeemaschine über eine Dusche bis hin...

Im Focus: Harnessing the rain for hydrovoltaics

Drops of water falling on or sliding over surfaces may leave behind traces of electrical charge, causing the drops to charge themselves. Scientists at the Max Planck Institute for Polymer Research (MPI-P) in Mainz have now begun a detailed investigation into this phenomenon that accompanies us in every-day life. They developed a method to quantify the charge generation and additionally created a theoretical model to aid understanding. According to the scientists, the observed effect could be a source of generated power and an important building block for understanding frictional electricity.

Water drops sliding over non-conducting surfaces can be found everywhere in our lives: From the dripping of a coffee machine, to a rinse in the shower, to an...

Im Focus: Quantenimaging: Unsichtbares sichtbar machen

Verschränkte Lichtteilchen lassen sich nutzen, um Bildgebungs- und Messverfahren zu verbessern. Ein Forscherteam am Fraunhofer-Institut für Angewandte Optik und Feinmechanik IOF in Jena hat eine Quantenimaging-Lösung entwickelt, die in extremen Spektralbereichen und mit weniger Licht genaueste Einblicke in Gewebeproben ermöglichen kann.

Optische Analyseverfahren wie Mikroskopie und Spektroskopie sind in sichtbaren Wellenlängenbereichen schon äußerst effizient. Doch im Infrarot- oder...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Aachener Werkzeugmaschinen-Kolloquium AWK’21 findet am 10. und 11. Juni 2021 statt

06.04.2020 | Veranstaltungen

Interdisziplinärer Austausch zum Design elektrochemischer Reaktoren

03.04.2020 | Veranstaltungen

13. »AKL – International Laser Technology Congress«: 4.–6. Mai 2022 in Aachen – Lasertechnik Live bereits früher!

02.04.2020 | Veranstaltungen

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

Aachener Werkzeugmaschinen-Kolloquium AWK’21 findet am 10. und 11. Juni 2021 statt

06.04.2020 | Veranstaltungsnachrichten

Wenn Ionen an ihrem Käfig rütteln

06.04.2020 | Energie und Elektrotechnik

Virtueller Roboterschwarm auf dem Mars

06.04.2020 | Informationstechnologie

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