Formale Verifikation von Materialflusssystemen

Der vorliegende Beitrag skizziert ein neues Verfahren zur Qualitätssicherung von Materialflusssteuerungen. Das Verfahren basiert auf dem Einsatz der formalen Verifikationstechnik Model Checking zur Systemüberprüfung. Model Checking realisiert eine vollständige Fehlerprüfung des Systemverhaltens durch ein automatisches Beweisverfahren. Wesentliche Voraussetzungen für die Anwendung sind eine formale Beschreibung des Systems und seiner Spezifikation. Im Beitrag wird eine formale Systembeschreibung auf der Basis einer Bibliothek von Materialflusselementen vorgestellt. Der Beitrag gliedert sich wie folgt: Abschnitt 2 geht kurz auf relevante Aspekte der Materialflusstechnik und Materialflusssteuerung ein. Abschnitt 3 betrachtet die Qualitätssicherung im Entwurf von Materialflusssteuerungen. Eine Einführung in die Verifikationstechnik Model Checking und die Vorstellung des Modellierungskonzepts erfolgt in Abschnitt 4. Die Anwendung des Ansatzes wird in Abschnitt 5 anhand eines realitätsnahen Beispiels aus dem Bereich Fluggepäcktransportsystem aufgezeigt. Zusammenfassung und Ausblick auf zukünftige Arbeiten runden in Abschnitt 6 den Beitrag ab.