Toward verification of material handling systems

Toward verification of material handling systems

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...

Full description

Saved in:
Bibliographic Details
Published in:2011 9th IEEE International Conference on Industrial Informatics pp. 218 - 223
Main Authors: Klotz, T., Straube, B., Fordran, E., Haufe, J., Schulze, F., Turek, K., Schmidt, T.
Format: Conference Proceeding
Language:English
Published: IEEE 01-07-2011
Subjects:
Computational modeling
Control systems
Indium phosphide
Load modeling
Loading
Logistics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:1457704358
9781457704352
ISSN:1935-4576
2378-363X
DOI:10.1109/INDIN.2011.6034876