Toward verification of material handling systems
Toward verification of material handling systems
复制标题
验证物料搬运系统
DOI：
10.1109/indin.2011.6034876
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
T. Schmidt
中科院分区：
文献类型：
--
作者：
Thomas Klotz;B. Straube;Eva Fordran;J. Haufe;F. Schulze;Karsten Turek;T. Schmidt
正确设计当今的物流系统已经成为一个越来越麻烦的过程，特别是由于它们的规模和异质性的增长。虽然仿真方法提供了一种验证物流系统功能行为的手段，但形式化方法允许证明系统完全满足其规范。本文提出了一种新的物料搬运系统形式化验证方法，该方法基于建立被证明是正确的物料搬运系统要素。通过一个实例说明了该方法的应用。
The correct designing of today's logistic systems has become an increasingly cumbersome process, especially due to their growing sizes and heterogeneities. While simulation methods provide a means to validate the functional behavior of logistic systems, formal methods allow for proving that the system completely fulfills its specification. This paper presents a novel approach to the formal verification of material handling systems, which is based on setting up material handling system elements that are proven to be correct. The application of the approach is shown using an illustrative example.