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.

材料Flus系统（MFS）除了为满足有史以来以西的Gesamtsystystys的需求而努力。除了订立科学高度，一直以来的科学高度，一直以西。除了有史以来以西的物料flus系统以西，在所有时代工具以西。主角和主角的方法不成功。 MFS是主角的一种方法论，是主角的一种方法论，是主角的一种方法论，是主角的一种方法论，是主角的一种方法论，也是主角的一种方法论。 einfache是​​世界的重要组成部分，但是世界仍在实现目标的目标，即实现目标的目标，即实现实现目标实现目标的目标的目标的目标，即实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标，以实现实现目标的目标。实现实现目标的目标的目标的目标，即实现目标的目标，即实现实现目标的目标，即实现实现目标实现目标的目标的目标的目标，以实现实现目标，以实现目标，以实现实现目标，以实现实现目标，以实现实现目标的目标实现目标的目标的目标是实现目标的目标，即实现实现目标的目标的目标，即实现目标的目标，即实现目标实现目标的目标的目标，以实现实现目标的目标，以实现目标，以实现目标，以实现努力实现目标的目标，以实现实现目标的目标。 Muöglich。 Genügen。

项目成果

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