Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Ein Ansatz zur Verifikation von Materialflusssystemen durch Model Checking

An approach to verification of material handling systems using model checking
 
: Turek, Karsten; Klotz, Thomas; Schmidt, Thorsten; Straube, Bernd

:
Fulltext (PDF; )

Dangelmaier, Wilhelm:
Simulation in Produktion und Logistik 2013 : 09.-11. Oktober 2013, Paderborn
Paderborn: HNI, 2013 (HNI-Verlagsschriftenreihe 316)
ISBN: 978-3-942647-35-9
pp.385-394
Fachtagung Simulation in Produktion und Logistik <15, 2013, Paderborn>
German
Conference Paper, Electronic Publication
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 elements with dedicated controls. While these systems are usually validated using simulation, formal verification using model checking provides alternative means for in-depth analysis of the system behaviour. The approach is based on a modeling methodology considering material handling elements and their controls. The paper discusses the enhancement of discrete-event simulation with this approach, resulting in advanced means to analyse material handling controls, and gives an example.

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