Erhöhung der Betriebssicherheit von Materialflusssteuerung durch Anwendung von Methoden des Schaltkreisentwurfs, insb. des Model Checkings

点击翻译按钮获取中文摘要

Aufgrund der großen Gestaltungsvielfalt erfordern Materialflusssysteme (MFS) maßgeschneiderte Steuerungen, die grundsätzlich einen großen Einfluss auf die Funktionalität und Effizienz des Gesamtsystems besitzen. Insbesondere die Funktionalität und Betriebssicherheit von Materialflusssteuerungen kann jedoch bei der Entwicklung derzeit nicht zweifelsfrei nachgewiesen werden, da verfügbare Tools keine Überprüfung zulassen, ob die implementierte Steuerung unter allen möglichen Konstellationen fehlerfrei arbeitet. Um diese methodischen Defizite bei der Entwicklung von Steuerungen für MFS zu beheben und sicherzustellen, dass eine Steuerung tatsächlich erwartungskonform und konfliktfrei funktioniert, sollen erprobte Methoden der formalen Verifikation aus der Schaltkreisentwicklung auf die Steuerungsentwicklung von MFS übertragen werden. Eine einfache Übertragung dieser Ansätze ist jedoch – aufgrund der hohen Komplexität von MFS-Steuerungen und der daraus resultierenden Gefahr der Nichtbeherrschbarkeit der Zustandsräume – nicht möglich. Daher sind geeignete Ansätze zur Modellierung zu erarbeiten, die u. a. neuen Anforderungen an die Abstraktion und Dekomposition materialflusstechnischer Elemente und deren Steuerungsprinzipien genügen.