Title: Evolution management of production facilities by semi-automated requirement verification
Authors: Ladiges, Jan
Haubeck, Christopher
Fay, Alexander 
Lamersdorf, Winfried
Language: eng
Keywords: Evolution;Longliving System;Non-functional Requirements;Production Automation
Subject (DDC): 620 Ingenieurwissenschaften
Issue Date: 28-Nov-2014
Publisher: De Gruyter Oldenbourg
Document Type: Article
Journal / Series / Working Paper (HSU): at - Automatisierungstechnik
Volume: 62(2014)
Issue: 11
Page Start: 781
Page End: 793
Publisher Place: Berlin
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.
Organization Units (connected with the publication): Automatisierungstechnik 
ISSN: 01782312
Publisher DOI: 10.1515/auto-2014-1100
Appears in Collections:3 - Reported Publications

Show full item record

CORE Recommender


checked on Sep 30, 2023

Google ScholarTM




Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.