Paper Info
Title
Compositional verification of material handling systems.
Abstract
The design of properly working material handling systems (MHS) is a difficult process as these systems consist of a vast number of single elements with dedicated controls. While currently these systems are usually validated using simulation, formal methods provide a means to analyze the complete behavior of a system. However, these methods can often only be applied to systems of a moderate size, which hampers their application to verify real-world systems.This paper presents an approach to the compositional verification of MHS, which is based on the theory of assume-guarantee reasoning. The approach has been implemented in a tool that automatically carries out the verification. The application of the approach is shown using a real-world example.
Year
DOI
Venue
2012
10.1109/ETFA.2012.6489595
ETFA
Keywords
Field
DocType
formal verification,inference mechanisms,materials handling,production engineering computing,MHS,assume-guarantee reasoning,compositional verification,formal method,material handling system,real-world system,simulation,system behavior
Functional verification,Intelligent verification,Computer science,Verification,Runtime verification,Real-time computing,Material handling,Formal methods,Formal verification
Conference
ISSN
Citations 
PageRank 
1946-0740
2
0.36
References 
Authors
6
6
Name
Order
Citations
PageRank
Thomas Klotz1416.50
Norman Seßler221.04
Bernd Straube319537.41
Eva Fordran493.41
Karsten Turek520.70
Jens Schönherr685.40