Ein Ansatz zur Verifikation von Materialflusssystemen durch Model Checking

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.