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

通过使用电路设计方法，特别是模型检查，提高物料流控制的运行可靠性

• 批准号: 212755448
• 负责人: Professor Dr.-Ing. Thorsten Schmidt
• 金额: --
• 依托单位: Institutsteil Entwicklung Adaptiver Systeme (EAS)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2013-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/212755448?language=en
• 关键词: Erh; hung; der; Betriebssicherheit; von

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.

在大规模的总体设计中，材料流系统（MFS）具有很强的控制性，总体设计对总体系统的功能和效率有很大的影响。在开发过程中，材料流动的功能性和操作性不可能得到充分的韦尔登，因为工具本身并不重要，只有在更高的工作效率下才能实现材料流动。在这种方法的定义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韦尔登.一个由这个Ansätze组成的复杂的结构是由MFS-Steuerungen和Zustandsräten的非线性的结果组成的。这是一个很好的建模方法，你可以。a.新的设计是一种抽象和分解材料的流动技术元素和一般的Steuerungsprinzipien。

项目成果

Automated Formal Verification of Routing in Material Handling Systems

• DOI: 10.1109/tase.2013.2276763
• 发表时间: 2013-08
• 期刊: IEEE Transactions on Automation Science and Engineering
• 影响因子: 5.6
• 作者: Thomas Klotz;J. Schönherr;Norman Seßler;B. Straube;Karsten Turek

Compositional verification of material handling systems

物料搬运系统的成分验证

• DOI: 10.1109/etfa.2012.6489595
• 发表时间: 2012
• 期刊: Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)
• 作者: Seßler;Straube;Fordran;Turek ;Schönherr
• 通讯作者: Schönherr

On the formal verification of routing in material handling systems

物料搬运系统中路径的形式化验证

• DOI: 10.1109/coase.2012.6386358
• 发表时间: 2012
• 期刊: 2012 IEEE International Conference on Automation Science and Engineering (CASE)
• 作者: Seßler;Straube;Fordran;Turek ;Schönherr
• 通讯作者: Schönherr