Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

On the formal verification of routing in material handling systems

: Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens

Postprint urn:nbn:de:0011-n-2158805 (199 KByte PDF)
MD5 Fingerprint: 23bf6b91b20d7755ac224299950e75d3
© 2012 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.
Erstellt am: 10.10.2012

Institute of Electrical and Electronics Engineers -IEEE-:
8th IEEE International Conference on Automation Science and Engineering, CASE 2012. Vol.1 : Seoul, South Korea, 20 - 24 August 2012
New York, NY: IEEE, 2012
ISBN: 978-1-4673-0429-0 (Print)
ISBN: 978-1-4673-0428-3
ISBN: 978-1-4673-0430-6
International Conference on Automation Science and Engineering (CASE) <8, 2012, Seoul>
Konferenzbeitrag, Elektronische Publikation
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

The correct design of complex material handling systems (MHS) is a challenging task, mainly because of short development cycles and ever increasing system sizes. For baggage handling systems (BHS) at airports, the correct design of routing strategies is of special importance, as these strategies are non-trivial but safety-critical. This paper presents a novel approach to prove the correctness of routing in MHS. The approach is based on assume-guarantee reasoning which allows to derive proofs of the overall system using a divide and conquer strategy. The proposed approach is automated and has been implemented in a tool. The application of the approach is shown using a real-world BHS.