idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Saarbrücker Informatiker erhält Ernst-Denert-Preis für neues Verfahren zur
vollautomatischen Programmierung von Industriemaschinen
Der Saarbrücker Informatiker Hans-Jörg Peter hat für seine Diplomarbeit den
mit 2.000 Euro dotierten Ernst-Denert-Preis für Software-Engineering
erhalten. Dies ist der bedeutendste Preis in Deutschland für
Forschungsarbeiten, die sich mit den Methoden, Werkzeugen und Verfahren der
Softwareentwicklung beschäftigen. Hans-Jörg Peter hat seine Forschungen in
der Arbeitsgruppe von Prof. Bernd Finkbeiner an der Universität des
Saarlandes durchgeführt. Dort arbeitet er momentan an seiner Doktorarbeit,
unterstützt durch ein Promotionsstipendium der International Max Planck
Research School (IMPRS).
Peters Diplomarbeit präsentiert ein neuartiges Verfahren zur automatischen
Erzeugung von Steuersoftware für moderne Fertigungsanlagen in der
Automobil- und Maschinenbauindustrie. Um das reibungslose Zusammenspiel der
Komponenten einer Fertigungsanlage zu garantieren, müssen bei der
Erstellung der Steuersoftware zahlreiche Zeit- und Sicherheitsanforderungen
penibel beachtet werden.
Während bisher jedes Steuerprogramm einzeln unter hohem Zeit- und
Kostenaufwand erstellt und getestet werden musste, erlaubt es das Verfahren
von Hans-Jörg Peter, die Programme vollautomatisch aus einer formalen
Beschreibung der Anforderungen abzuleiten: anstelle in Tausenden von
Programmzeilen detailliert festzulegen, wie die Fertigungssteuerung auf
bestimmte Sensorsignale reagieren muss, gibt der Programmierer nur eine
knappe Spezifikation, welche Ziele die Maschine erreichen und welches
Fehlverhalten vermieden werden soll. Dies spart Entwicklungszeit und
schließt Programmierfehler aus.
Eine erste Feuerprobe hat das Verfahren von Hans-Jörg Peter im
SPS-Praktikum des E-Technik Lehrstuhls von Prof. Hartmut Janocha hinter
sich gebracht: Eine Programmieraufgabe, deren Lösung normalerweise drei
Monate Programmierarbeit kostet, wurde durch das neue Verfahren innerhalb
weniger Sekunden gelöst.
In der Vergangenheit wurden bereits der Saarbrücker Absolvent Ralf
Hildebrandt und Andreas Zeller, Professor für Softwaretechnik an der
Universität des Saarlandes, mit dem Ernst-Denert-Preis ausgezeichnet.
Fragen beantworten Ihnen:
Dipl.-Inf. Hans-Jörg Peter
Tel. 0681 / 302-5476
E-Mail:
peter@cs.uni-sb.de
Prof. Bernd Finkbeiner, Ph.D.
Tel. 0681/ 302-5632
E-Mail: finkbeiner@cs.uni-sb.de
Friederike Meyer zu Tittingdorf (Pressekontakt)
Kompetenzzentrum Informatik der Universität des Saarlandes
Tel. 0681/302-58099
E-Mail:
presse@cs.uni-sb.de
http://www.denert-stiftung.de
http://react.cs.uni-sb.de - Arbeitsgruppe Reaktive Systeme
Criteria of this press release:
Information technology
regional
Personnel announcements, Research results
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
