Paper Info
Title
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.
Abstract
With recent trends in manufacturing automation, control software in automated production systems becomes more complex and has more variability to keep pace with customer and market requirements. Quality assurance also becomes more and more important to ensure that the systems live up to expectations. However, correctness of automation software is rarely verified using formal techniques in spite of their high coverage. One of the main reasons is the lack of specification languages suitable for this application area that are both comprehensible and sufficiently expressive. Generalized test tables (GTTs), which are a specification language for reactive systems, were presented recently as an accessible representation for application engineers. This formalism achieves both the comprehensibility of concrete test tables and the coverage of formal methods. In our approach, the specification provided by GTTs is used for formal verification, especially model checking. In this paper, we present four new features for GTTs: the progression flag, strong repetition, row grouping, and specification on internal variables. We demonstrate the applicability and evaluate the comprehensibility of GTT-based specification and verification using a range of diverse scenarios from the community demonstrator, the extended Pick & Place Unit.
Year
DOI
Venue
2018
10.1515/auto-2018-0028
AT-AUTOMATISIERUNGSTECHNIK
Keywords
Field
DocType
formal verification,formal specification,functional specification,software engineering,manufacturing system engineering
Manufacturing systems,Manufacturing engineering,Control engineering,Engineering
Journal
Volume
Issue
ISSN
66
SP10
0178-2312
Citations 
PageRank 
References 
1
0.37
0
Authors
5
Name
Order
Citations
PageRank
Suhyun Cha131.22
Alexander Weigl252.55
Mattias Ulbrich318317.83
Bernhard Beckert486286.50
Vogel-Heuser, B.5521125.47