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

• Applicants: Professor Dr.-Ing. Thorsten Schmidt; Professor Dr.-Ing. Bernd Straube
• Subject Area: Engineering Design, Machine Elements, Product Development
• Term: from 2012 to 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 212755448

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.

• DFG Programme: Research Grants