Options
2013
Conference Paper
Titel
Ein Ansatz zur Verifikation von Materialflusssystemen durch Model Checking
Alternative
An approach to verification of material handling systems using model checking
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.
Author(s)