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
Merkmale dieser Pressemitteilung:
Informationstechnik
regional
Forschungsergebnisse, Personalia
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).