An approach to the verification of material handling systems
An approach to the verification of material handling systems
复制标题
物料搬运系统的验证方法
DOI：
10.1109/etfa.2011.6059043
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
T. Schmidt
中科院分区：
文献类型：
--
作者：
Thomas Klotz;B. Straube;Eva Fordran;J. Haufe;F. Schulze;Karsten Turek;T. Schmidt
开发正确工作的物流系统是一项繁琐的任务。一方面，开发人员面临着系统复杂性的增加和上市时间的缩短，但另一方面，对所实施控制的可靠性和安全性的需求变得越来越重要。形式验证技术，如模型检查，允许证明一个系统是否完全满足其规范。现有的工作，虽然，只考虑了单个控制器的验证，但没有分析一个完整的物流系统的行为。本文提出了一种物料搬运系统形式化验证的方法。该方法是基于物料搬运系统的元素和它们的互连的定义。实验结果表明，该方法可以保证物流系统的正确功能。
The development of correctly working logistic systems is a tedious task. On the one hand, the developer is faced with the increasing complexity of systems and shrinking time-to-markets, but on the other hand, the need for reliability and safety of the implemented controls becomes more and more important. Formal verification techniques such as model checking allow for proving whether a system completely fulfills its specification. Existing work, though, considered only the verification of single controllers, but did not analyze the behavior of a complete logistic system. In this paper, an approach to the formal verification of material handling systems is presented. The approach is based on the definition of material handling system elements and their interconnection. Experimental results show that the approach can ensure the correct functionality of logistic systems.