Realtime Logistics - Echtzeitfähige Logistik

Die Notwendigkeit zur Betrachtung von Materialflusssystemen und deren Steuerungen unter Echtzeitaspekten leitet sich insbesondere aus der stetig zunehmenden Vernetzung logistischer Systeme und der damit verbundenen, zunehmenden Bedeutung ihres schnellen Antwortzeitverhaltens ab. Erstmals soll ein einheitliches Modell von physikalischer Topologie, Informationsinfrastruktur und Steuerungslogik entwickelt werden, das alle echtzeitrelevanten Aspekte intralogistischer Systeme abbildet. Es werden analytische Verfahren zum Nachweis der Echtzeitfähigkeit verwendet, die in der Intralogistik bisher nicht eingesetzt wurden. Kommunizierende endliche Zustandsautomaten bilden Netze von nebenläufigen Automaten, die miteinander interagieren. Eine formale Analyse solcher Automatenmodelle kann den Nachweis der Echtzeitfähigkeit erbringen und die nahe und direkte Abbildung realer Steuerungssysteme ermöglicht eine einfache Anwendung der Erkenntnisse.

DFG Programme Research Grants