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
Fachtagung Simulation in Produktion und Logistik <15, 2013, Paderborn>
Conference Paper, Electronic Publication
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

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.