Publication:
Evolution management of production facilities by semi-automated requirement verification

cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.departmentAutomatisierungstechnik
cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtualsource.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtualsource.departmentd27eae86-6d38-489c-b4c3-2eed27fb81cc
cris.virtualsource.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtualsource.department#PLACEHOLDER_PARENT_METADATA_VALUE#
dc.contributor.authorLadiges, Jan
dc.contributor.authorHaubeck, Christopher
dc.contributor.authorFay, Alexander
dc.contributor.authorLamersdorf, Winfried
dc.date.issued2014-11-28
dc.description.abstractThe 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.
dc.description.versionNA
dc.identifier.doi10.1515/auto-2014-1100
dc.identifier.issn2196-677X
dc.identifier.issn0178-2312
dc.identifier.scopus2-s2.0-84910141191
dc.identifier.urihttps://openhsu.ub.hsu-hh.de/handle/10.24405/15020
dc.language.isoen
dc.publisherDe Gruyter Oldenbourg
dc.relation.journalat - Automatisierungstechnik
dc.relation.orgunitAutomatisierungstechnik
dc.rights.accessRightsmetadata only access
dc.subjectEvolution
dc.subjectLongliving System
dc.subjectNon-functional Requirements
dc.subjectProduction Automation
dc.titleEvolution management of production facilities by semi-automated requirement verification
dc.typeResearch article
dcterms.bibliographicCitation.originalpublisherplaceBerlin
dspace.entity.typePublication
hsu.peerReviewed
hsu.uniBibliography
oaire.citation.endPage793
oaire.citation.issue11
oaire.citation.startPage781
oaire.citation.volume62(2014)
Files