A verification-supported evolution approach to assist software application engineers in industrial factory automation (bibtex)
by Ulewicz, Sebastian, Ulbrich, Mattias, Weigl, Alexander, Kirsten, Michael, Wiebe, Franziska, Beckert, Bernhard and Vogel-Heuser, Birgit
Abstract:
\textcopyright 2016 IEEE. Automated production systems (aPS) are complex systems with high reliability standards which can - besides through traditional testing - be ensured by verification using formal methods. In this paper we present a development process for aPS software supported by efficient formal techniques with easy-to-use specification formalisms to increase applicability in the aPS engineering domain. Our approach is tailored to the development of evolving aPS as existing behavior of earlier revisions is reused as specification for the verification. The approach covers three verification phases: regression verification, verification of critical interlock invariants and delta specification and verification. The approach is designed to be comprehensible by aPS software engineers: Two practically applicable specification means are presented. Formal methods have not yet been widely adapted in industrial aPS development since they lack (a) scalability, and (b) concise and comprehensible specification means. This paper shows concepts how to tackle both issues by referring to existing behavior during evolution verification to advance towards the goal of applicability in the aPS engineering domain. A laboratory case study demonstrates the feasibility and performance of the approach and shows promising results.
Reference:
A verification-supported evolution approach to assist software application engineers in industrial factory automation (Ulewicz, Sebastian, Ulbrich, Mattias, Weigl, Alexander, Kirsten, Michael, Wiebe, Franziska, Beckert, Bernhard and Vogel-Heuser, Birgit), In 2016 IEEE International Symposium on Assembly and Manufacturing, ISAM 2016, 2016.
Bibtex Entry:
@inproceedings{ulewiczUlbrichEtAl16,
abstract = {{\textcopyright} 2016 IEEE. Automated production systems (aPS) are complex systems with high reliability standards which can - besides through traditional testing - be ensured by verification using formal methods. In this paper we present a development process for aPS software supported by efficient formal techniques with easy-to-use specification formalisms to increase applicability in the aPS engineering domain. Our approach is tailored to the development of evolving aPS as existing behavior of earlier revisions is reused as specification for the verification. The approach covers three verification phases: regression verification, verification of critical interlock invariants and delta specification and verification. The approach is designed to be comprehensible by aPS software engineers: Two practically applicable specification means are presented. Formal methods have not yet been widely adapted in industrial aPS development since they lack (a) scalability, and (b) concise and comprehensible specification means. This paper shows concepts how to tackle both issues by referring to existing behavior during evolution verification to advance towards the goal of applicability in the aPS engineering domain. A laboratory case study demonstrates the feasibility and performance of the approach and shows promising results.},
address = {Fort Worth, USA},
author = {Ulewicz, Sebastian and Ulbrich, Mattias and Weigl, Alexander and Kirsten, Michael and Wiebe, Franziska and Beckert, Bernhard and Vogel-Heuser, Birgit},
booktitle = {2016 IEEE International Symposium on Assembly and Manufacturing, ISAM 2016},
doi = {10.1109/ISAM.2016.7750714},
isbn = {9781509024124},
keywords = {improve-aps},
mendeley-tags = {improve-aps},
pages = {19--25},
title = {{A verification-supported evolution approach to assist software application engineers in industrial factory automation}},
year = {2016}
}
Powered by bibtexbrowser