Jump to ContentJump to Main Navigation
Show Summary Details
Weitere Optionen …

at - Automatisierungstechnik

Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik

Editor-in-Chief: Jumar, Ulrich


IMPACT FACTOR 2018: 0.500

CiteScore 2018: 0.60

SCImago Journal Rank (SJR) 2018: 0.211
Source Normalized Impact per Paper (SNIP) 2018: 0.532

Online
ISSN
2196-677X
Alle Formate und Preise
Weitere Optionen …
Band 62, Heft 11

Hefte

Evolution Management of Production Facilities by Semi-Automated Requirement Verification

Forever Young Production Automation with Active Components

Jan Ladiges
  • Korrespondenzautor
  • Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Institute of Automation Technology, Holstenhofweg 85, 22043 Hamburg, Germany
  • E-Mail
  • Weitere Artikel des Autors:
  • De Gruyter OnlineGoogle Scholar
/ Christopher Haubeck / Alexander Fay
  • Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Institute of Automation Technology, Holstenhofweg 85, 22043 Hamburg, Germany
  • E-Mail
  • Weitere Artikel des Autors:
  • De Gruyter OnlineGoogle Scholar
/ Winfried Lamersdorf
Online erschienen: 28.10.2014 | DOI: https://doi.org/10.1515/auto-2014-1100

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.

Zusammenfassung

Dieser Beitrag präsentiert ein Konzept, wie Struktur- und Verhaltensmodelle von Produktionsanlagen verwendet werden können, um eine stetige Verifikation von (nicht-funktionalen) Anforderungen für Produktionsanlagen zu ermöglichen. In dem gezeigten Vorgehen werden dafür automatisch aus einfachen Signalverläufen der Anlage über adaptierbare Modelle Merkmalsausprägungen des Systems extrahiert. Diese können auf Über- oder Unterschreitung von Grenzwerten überprüft werden, um die Erfüllung oder Verletzung von Anforderungen an diese Merkmale in einer stetigen Evolution zu ermitteln. An einem Demonstrationsbeispiel wird gezeigt, wie ein solches Verfahren dann den Anlagenbetreiber mit Hilfe einer Anomalieerkennung bei der Evolution des Produktionssystems unterstützt.

Schlagwörter: Produktionsautomatisierung; Nicht-funktionale Anforderungen; Evolution; Langlebige Systeme

Keywords: Production automation; non-functional requirements; evolution; longliving systems

Artikelinformationen

Jan Ladiges

Jan Ladiges, M.Sc. is a researcher at the institute of automation technology at the Helmut-Schmidt-University, Hamburg. His main interest is on the evolution of production facilities and its influence on requirements specified on them.

Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Institute of Automation Technology, Holstenhofweg 85, 22043 Hamburg, Germany, Tel.: +49 40-6541-3663, Fax: +49 40-6541-2004

Christopher Haubeck

Dipl. Wi.-Inf. Christopher Haubeck is a researcher in the Distributed Systems research unit in the Informatics Department of the Hamburg University. His main scientific interests are software for distributed and component-oriented systems, architectures for evolving software applications, runtime testing and simulation.

University of Hamburg, Distributed Systems and Information Systems, Vogt-Kölln-Straße 30, 22527 Hamburg, Germany, Tel.: +49 40-42883-2327, Fax: +49 40-42883-2328

Alexander Fay

Prof. Dr.-Ing. Alexander Fay is professor in automation technology at the faculty of mechanical engineering of the Helmut-Schmidt-University, Hamburg. His main interest is on description methods, tools, and supporting methods for an efficient engineering of automation systems.

Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Institute of Automation Technology, Holstenhofweg 85, 22043 Hamburg, Germany

Winfried Lamersdorf

Prof.-Dr. Winfried Lamersdorf is professor in the Informatics Department of the Hamburg University and head of the Distributed Systems unit. His main interests are in distributed systems, service-, agent- and component-oriented systems as well as related applications like business process management and production automation.

University of Hamburg, Distributed Systems and Information Systems, Vogt-Kölln-Straße 30, 22527 Hamburg, Germany, Tel.: +49 40-42883-2421, Fax: +49 40-42883-2328


Angenommen: 18.07.2014

Erhalten: 03.03.2014

Online erschienen: 28.10.2014

Erschienen im Druck: 28.11.2014


Quellenangabe: at - Automatisierungstechnik, Band 62, Heft 11, Seiten 781–793, ISSN (Online) 2196-677X, ISSN (Print) 0178-2312, DOI: https://doi.org/10.1515/auto-2014-1100.

Zitat exportieren

©2014 Walter de Gruyter Berlin/Boston.Get Permission

Zitierende Artikel

Hier finden Sie eine Übersicht über alle Crossref-gelisteten Publikationen, in denen dieser Artikel zitiert wird. Um automatisch über neue Zitierungen dieses Artikels informiert zu werden, aktivieren Sie einfach oben auf dieser Seite den „E-Mail-Alert: Neu zitiert“.

[1]
Abhishek Chakraborty, Christopher Haubeck, Alexander Fay, and Winfried Lamersdorf
IFAC-PapersOnLine, 2018, Jahrgang 51, Nummer 11, Seite 276
[2]
Jan Ladiges, Alexander Fay, and Winfried Lamersdorf
Intelligent Industrial Systems, 2016, Jahrgang 2, Nummer 2, Seite 163

Kommentare (0)