Formal Technical Process Specification and Verification for Automated Production Systems
Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser
8th System Analysis and Modeling Conference (SAM 2014), 29-30 September 2014
Abstract
The complexity of automated production systems increases constantly due to growing functional requirements and engineering discipline integration. Early design steps include the cross-discipline specification of the system’s technical process, while later steps have to ensure compatibility with the specification. Current specification techniques are able to describe and analyze certain properties on the specification level, however verification of the implementation with respect to the specification is a costly task. To overcome this situation we propose a formal modeling technique, which enables automatic verification of the implementation. We demonstrate the approach on a lab-sized automated production system and finally discuss its advantages and disadvantages.
Presentation Slides
BibTeX Citation
@incollection{
year={2014},
isbn={978-3-319-11742-3},
booktitle={System Analysis and Modeling: Models and Reusability},
volume={8769},
series={Lecture Notes in Computer Science},
editor={Amyot, Daniel and Fonseca i Casas, Pau and Mussbacher, Gunter},
doi={10.1007/978-3-319-11743-0_20},
title={Formal Technical Process Specification and Verification for Automated Production Systems},
url={http://dx.doi.org/10.1007/978-3-319-11743-0_20},
publisher={Springer International Publishing},
author={Hackenberg, Georg and Campetelli, Alarico and Legat, Christoph and Mund, Jakob and Teufi, Sabine and Vogel-Heuser, Birgit},
pages={287-303},
language={English}
}