Masterarbeit - Das Fachgebiet Software Engineering

Werbung
FG Software Engineering
Leibniz Universität Hannover
Welfengarten 1
3. Stock, Flur G
Masterarbeit
- zu vergeben -
Synthese energieeffizienter Steuerungen für moderne
Produktionsanlagen aus szenariobasierten Spezifikationen
Stichworte: Software für intelligente technische Systeme, automatische Ableitung von energieeffizienter Software aus Anforderungen, Java, UML, Eclipse
Hintergrund
Durch stetig steigende Strompreise ist die Energieeffizienz von Produktionsanlagen ein immer wichtigerer Faktor in der industriellen Fertigung. Elektrische Antriebe in diesen Anlagen
sind prinzipiell in der Lage, Bewegungsenergie bei Bremsvorgängen wieder in elektrische
Energie umwandeln. Für die Optimierung des Energieverbrauchs müssen allerdings die
Brems- und Beschleunigungsvorgänge so aufeinander abgestimmt werden, dass Bremsenergie
möglichst sofort und vollständig wieder in Antriebsenergie umgewandelt werden kann.
In einer Kooperation des Fachgebiets Software Engineering (Prof. Dr. Greenyer) und dem
Institut für Mechatronische Systeme (Prof. Dr.-Ing. Ortmaier) verfolgen wir den innovativen
Ansatz, energieeffiziente Steuerungen von Produktionsanlagen automatisch aus Anforderungen abzuleiten. Das Ableiten von Steuerungssoftware aus Anforderungen wird Synthese genannt. Die Idee ist also eine Anlage nicht mehr wie bisher zu programmieren, sondern zu beschreiben, was die Anlage in bestimmten Situationen tun soll, tun muss oder nicht tun darf.
Aus einer solchen szenariobasierten Spezifikation soll dann eine Strategie zur Steuerung der
Anlage automatisch synthetisiert werden. Da nicht wie bisher sofort eine feste Ablauffolge
programmiert wird, kann ein Algorithmus auf dieser Basis mögliche und energieeffiziente
Strategien für die Steuerung der Anlage finden.
Wir haben bereits einen automatischen Synthesealgorithmus entwickelt und in einem Werkzeug implementiert. Dieser Algorithmus kann allerdings noch nicht die verbrauchte und generierte Energie bei Beschleunigungs- und Bremsaktionen berücksichtigen.
Beispiel:
Die Steuerung muss
Beschleunigungsund Bremsvorgänge
z.B. der beiden
Roboterarme
energieeffizient
abstimmen
Entwicklungsansatz:
Arm B
Presse
Steuerung
Arm A
Szenariobasierte
Spezifikation
+ Annahmen über verbrauchte
und gewonnenen Energie
Kern der Arbeit:
Erweiterung des
Syntheseverfahrens
Synthese
Energieeffiziente
Steuerungs-Strategie
Aufgabe
In einer Einarbeitungsphase machen Sie sich zunächst mit den existierenden Konzepten, Algorithmen und Werkzeugen vertraut. Dann erarbeiten Sie eine Erweiterung des Syntheseverfahrens und ggf. der Spezifikationssprache, sodass verbrauchte und generierte Energie bei
Beschleunigungs- und Bremsaktionen berücksichtigt werden können. Der praktische Teil der
Arbeit besteht in der prototypischen Umsetzung der Konzepte als Plug-In zu einer existierenden Werkzeug-Infrastruktur (basierend auf Eclipse, Java, UML, EMF).
Betreuer: Prof. Dr. Joel Greenyer, [email protected], G 322, Beginn: ab sofort
Herunterladen