Options
2012
Conference Paper
Titel
Ein Ansatz zur Verifikation von Materialflusssteuerungen
Abstract
Der korrekte Entwurf von Steuerungen logistischer Systeme gestaltet sich zunehmend schwieriger, weil deren Größe und Komplexität stetig wachsen. Im aktuellen Entwurfsprozess werden diese Systeme - wenn überhaupt - lediglich simulativ überprüft. Im Gegensatz dazu kann mit Hilfe der formalen Verifikationstechnik Model Checking nachgewiesen werden, dass ein System seiner Spezifikation genügt. Zur Anwendung dieses Verfahrens wird eine formale Beschreibung des Systems und seiner Spezifikation benötigt. Diese Arbeit stellt einen Beitrag zur formalen Verifikation von Materialflusssystemen vor. Der Ansatz basiert auf der Modellierung des logistischen Systems unter Verwendung von Materialflusselementen. Die Anwendung des Ansatzes wird anhand eines illustrativen Beispiels aufgezeigt.
Author(s)