Für die Realisierung von Industrie 4.0 ist die schnelle und möglichst fehlerfreie Umrüstung von cyber-physischen Produktionssystemen (CPPS) unerlässlich. Gesamtziel von INVERSIV ist die Entwicklung eines Systems zur Erstellung und Überprüfung funktionaler Modelle cyber-physischer Produktionsanlagen. Basierend auf von Sensoren bereit gestellten Echtzeitdaten können mit diesen Modellen Prozesse simuliert und so Nachverfolgung (Monitoring), Analyse, Vorhersage und sogar Schritte zur Behebung von Fehlersituationen durchgespielt werden. Wenn eine Fehlersituation diagnostiziert (bzw. prognostiziert) wurde, müssen die Schritte zur Behebung des Fehlers geplant und vorbereitet werden. In INVERSIV werden wir die Erstellung und Evaluierung von alternativen Anlagenkonfigurationen auf der Grundlage von hybriden Automaten erforschen und die Funktionalität dieser Konfigurationen verifizieren. Dieser Planungsschritt involviert eventuell auch Eingriffe in die Anlage, die durch menschliche oder virtuelle Akteure vorgenommen werden können, bspw. durch Installation eines anderen Anlagemoduls. Daraus ergibt sich u.a. die Notwendigkeit, eine gemeinsame Repräsentation der Anlage und ihrer Funktionalität zu erstellen, die von allen beteiligten Modulen verstanden werden kann.
Partner
n/a
