Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Compositional verification of material handling systems

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

:
Postprint urn:nbn:de:0011-n-2146664 (223 KByte PDF)
MD5 Fingerprint: 5617db95258cb5884ee7fc9d535745f0
© 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: 9.10.2012


Institute of Electrical and Electronics Engineers -IEEE-; IEEE Industrial Electronics Society -IES-:
17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2012. Proceedings. Vol.2 : Krakow, Poland, 17 - 21 September 2012
New York, NY: IEEE, 2012
ISBN: 978-1-4673-4736-5 (Online)
ISBN: 978-1-4673-4735-8 (Print)
ISBN: 978-1-4673-4737-2
S.893-900
International Conference on Emerging Technologies and Factory Automation (ETFA) <17, 2012, Kraków>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

Abstract
The design of properly working material handling systems (MHS) is a difficult process as these systems consist of a vast number of single elements with dedicated controls. While currently these systems are usually validated using simulation, formal methods provide a means to analyze the complete behavior of a system. However, these methods can often only be applied to systems of a moderate size, which hampers their application to verify realworld systems. This paper presents an approach to the compositional verification of MHS, which is based on the theory of assume-guarantee reasoning. The approach has been implemented in a tool that automatically carries out the verification. The application of the approach is shown using a real-world example.

: http://publica.fraunhofer.de/dokumente/N-214666.html