Das Ziel des Teilprojekts ist die Synthese von automatisierungstechnischen Abläufen, die zur Laufzeit generiert und ohne langwierige Validierung und Freigabe direkt zur Ausführung gebracht werden können. Damit wird die Kreislauffabrik befähigt, auf Ebene der Automatisierungstechnik mit initial unbekannten Produkten und Produktzuständen umzugehen. Die sogenannte Algebra der Automatisierung wird als formale Grundlage für Algorithmen zur Planung, Synthese und Validierung automatisierter Abläufe entwickelt. Weiter werden Werkzeuge für die Unterstützung der Modellierung auf der formalen Grundlage erzeugt und eine Laufzeitumgebung für die Automatisierungssteuerung einer Kreislauffabrik prototypisch umgesetzt.

Projektleitung