Evolution management of production facilities by semi-automated requirement verification
Publication date
2014-11-28
Document type
Research article
Author
Organisational unit
Scopus ID
Series or journal
at - Automatisierungstechnik
Periodical volume
62(2014)
Periodical issue
11
First page
781
Last page
793
Peer-reviewed
✅
Part of the university bibliography
✅
Keyword
Evolution
Longliving System
Non-functional Requirements
Production Automation
Abstract
The concept described in this contribution utilizes available process data in production systems to enable to verify the fulfillment of (non-functional) requirements during operation. Therefore, the contribution presents a systematic approach to automatically derive property values out of signal traces by using adaptable runtime models. Those can be checked for the violation of limit values in order to verify the fulfillment or violation of requirements on these properties during an evolution. In an example application to a Pick and Place unit, the concept is used together with an anomaly detection method to support the operator during the evolution process by constantly providing information regarding requirement fulfillment.
Version
Not applicable (or unknown)
Access right on openHSU
Metadata only access