Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition-Reference-Cited by-同舟云学术

Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition

Published:2018-06-01 Issue:6 Volume:66 Page:456-470
ISSN:2196-677X
Container-title:at - Automatisierungstechnik
language:en
Short-container-title:

Author:

Zeller Andreas¹,Jazdi Nasser¹,Weyrich Michael¹

Affiliation:

1. Institut für Automatisierungstechnik und Softwaresysteme , Universität Stuttgart , Stuttgart , Germany

Abstract

Zusammenfassung Änderungen der Funktionalität von Automatisierungssystemen werden zunehmend an der Software durchgeführt. Insbesondere bei verteilten Automatisierungssystemen lassen sich die Auswirkungen von Software-Änderungen oftmals nur schwer abschätzen. Dies stellt insbesondere Anlagenbetreiber vor große Herausforderungen bei der Absicherung von Funktions-Änderungen in der Betriebsphase. Dieser Beitrag beschreibt einen modellbasierten Ansatz, mit dem Auswirkungen von Software-Änderungen erkannt werden können und das betroffene Teilsystem automatisiert über modellbasierte Verifikationsverfahren abgesichert werden kann. Das präsentierte Konzept beruht auf der Komposition eines Systemmodells aus diskreten Verhaltensmodellen der Komponenten des Automatisierungssystems. Abschließend wird das Konzept anhand unterschiedlicher Änderungsszenarien evaluiert.

Publisher

Walter de Gruyter GmbH

Subject

Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering

Link

https://www.degruyter.com/document/doi/10.1515/auto-2017-0069/pdf

Reference33 articles.

1. Vogel-Heuser, Birgit; Fay, Alexander: Evolution of software in automated production systems: Challenges and research directions, The Journal of Systems and Software 110 54–84, 2015.10.1016/j.jss.2015.08.026

2. Forschungsunion; Acatech: Umsetzungsempfehlungen für das Zukunftsprojekt Industrie 4.0, 2013.

3. Siepmann, David: Industrie 4.0 – Fünf zentrale Paradigmen in: Einführung und Umsetzung von Industrie 4.0, hg von Armin Roth, Springer-Verlag 2016.

4. Fay, Alexander; Vogel-Heuser, Birgit; Frank, Timo; Eckert, Karin; Hadlich, Thomas; Diedrich, Christian: Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns, The Journal of Systems and Software 101 (2015) 221–235.10.1016/j.jss.2014.12.028

5. Göhner, Peter: Softwareagenten für die flexible Kopplung von Automatisierungssystemen. 6. VDI-Expertenforum „Agenten im Umfeld von Industrie 4.0“, München, 2014.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Test Suite Generation for PLC Software in the Internet of Production;2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA);2022-09-06

2. Anforderungsbasierter Test für die Validierung komplexer Automatisierungssysteme;at - Automatisierungstechnik;2021-05-27