Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Toward verification of material handling systems

 
: Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten

:
Postprint urn:nbn:de:0011-n-1931914 (230 KByte PDF)
MD5 Fingerprint: 30f547c5ed43eb0d286699375ff51c2e
© 2011 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Created on: 23.6.2012


Institute of Electrical and Electronics Engineers -IEEE-; IEEE Industrial Electronics Society:
IEEE 9th International Conference on Industrial Informatics, INDIN 2011. Proceedings. Vol.1 : Caparica, Lisbon, Portugal, 26-29 July 2011
New York, NY: IEEE, 2011
ISBN: 978-1-4577-0433-8
ISBN: 978-1-4577-0435-2
ISBN: 1-4577-0435-8
pp.218-223
International Conference on Industrial Informatics (INDIN) <9, 2011, Caparica>
English
Conference Paper, Electronic Publication
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

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

: http://publica.fraunhofer.de/documents/N-193191.html