Systematic design of distributed industrial manufacturing control systems

Aktuell gibt es große neue Herausforderungen an die Hersteller von Automatisierungslösungen, um die vom Markt geforderte Flexibilität gewährleisten zu können. So müssen zum Einen Spezifikationstechniken entwickelt und angewendet werden, die der Komplexität verteilter Systeme gerecht werden und nicht schon in der Phase der Spezifizierung für erhöhte Verwirrung sorgen. Zum Anderen müssen aber auch aktuelle Lösungen für die softwaretechnische Realisierung der Automatisierung nach und nach durch neuere, flexiblere Ansätze ersetzt werden. Die Möglichkeit der Verifizierbarkeit von Automatisierungslösungen sollte in diesem Kontext auch nicht außer Acht gelassen werden. In den letzten Jahren haben sich hierzu verschiedene Technologien zum modellbasierten Steuerungsentwurf herausgebildet, auf welche in dieser Arbeit eingegangen wird. Diese Technologien werden methodisch miteinander verknüpft, um eine glatte Ingenieursarbeit ohne Bruchstellen zu gewährleisten. In dieser Arbeit wird speziell auf Vorgehensweisen zum verteilten Steuerungsentwurf eingegangen, die die Wiederverwendbarkeit von Steuerungskomponenten im Besonderen gewährleisten.