Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

An approach to the 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-1888656 (196 KByte PDF)
MD5 Fingerprint: a2c956f75c48f8a9cef03978906baba0
Created on: 23.6.2012

Mammeri, Z. ; Institute of Electrical and Electronics Engineers -IEEE-; IEEE Industrial Electronics Society -IES-:
IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011. Vol.1 : Toulouse, France, 5 - 9 September 2011
Piscataway/NJ: IEEE, 2011
ISBN: 978-1-4577-0018-7
ISBN: 978-1-4577-0017-0
ISBN: 978-1-4577-0016-3
Conference on Emerging Technologies & Factory Automation (ETFA) <16, 2011, Toulouse>
Conference Paper, Electronic Publication
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

The development of correctly working logistic systems is a tedious task. On the one hand, the developer is faced with the increasing complexity of systems and shrinking time-to-markets, but on the other hand, the need for reliability and safety of the implemented controls becomes more and more important. Formal verification techniques such as model checking allow for proving whether a system completely fulfills its specification. Existing work, though, considered only the verification of single controllers, but did not analyze the behavior of a complete logistic system. In this paper, an approach to the formal verification of material handling systems is presented. The approach is based on the definition of material handling system elements and their interconnection. Experimental results show that the approach can ensure the correct functionality of logistic systems.