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.
CITATION STYLE
Hackenberg, G., Campetelli, A., Legat, C., Mund, J., Teufl, S., & Vogel-Heuser, B. (2014). Formal technical process specification and verification for automated production systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8769, pp. 287–303). Springer Verlag. https://doi.org/10.1007/978-3-319-11743-0_20
Mendeley helps you to discover research relevant for your work.