Auflistung nach Autor:in "Fay, Alexander"
1 - 7 von 7
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAnforderungen an das Software-Engineering in der Automatisierungstechnik(Software Engineering 2013, 2013) Vogel-Heuser, Birgit; Diedrich, Christian; Fay, Alexander; Göhner, PeterAutomatisierte Systeme sind komplexe Hardware-Software-Systeme, die zu einem hohen Maß von der Qualität des zugrundeliegenden Software- Engineering abhängen. Der Beitrag soll durch die Klärung der spezifischen Anforderungen zu einem besseren Verständnis von Automatisierungstechnik und Software-Engineering führen und die Grundlagen für eine engere Zusammenarbeit legen. Es werden die wesentlichen Anforderungen identifiziert, die sich aus dem funktionalen Aufbau sowie aus den Randbedingungen des Lebenszyklus automatisierter Systeme ergeben. Auf dieser Grundlage können Methoden und Werkzeuge verbessert und so die Qualität des Software-Engineering gesteigert werden.
- ZeitschriftenartikelDistributed-Ledger-Technologien und Industrie 4.0 - Eine Untersuchung der Relevanz für Industrie 4.0(Informatik Spektrum: Vol. 42, No. 3, 2019) Lewin, Marcus; Dogan, Alaettin; Schwarz, Jonas; Fay, AlexanderDie Nutzung neuer Technologien, die im Zuge der digitalen Revolution stark zugenommen hat, führt zu einer tiefgreifenden Veränderung aller an der Wertschöpfungskette beteiligten Prozesse im Rahmen von Industrie 4.0. Hierbei bietet die Distributed-Ledger-Technologie (DLT) als Schlüsseltechnologie wesentliche Chancen zur Sicherheit und zur weiteren Umsetzung von Industrie 4.0. Daher wird in diesem Beitrag die Relevanz der DLT für den Bereich Industrie 4.0 dezidiert hergeleitet und mittels Beispielen erläutert.
- KonferenzbeitragEngineering von „Mechatronik und Software“ in automatisierten Anlagen: Anforderungen und Stand der Technik(Software Engineering 2013 - Workshopband, 2013) Holm, Thomas; Schröck, Sebastian; Fay, Alexander; Jäger, Tobias; Löwen, UlrichDieser Beitrag stellt das Vorgehen und die genutzten Modelle bei der Erstellung von Automatisierungssoftware beim Engineering automatisierter Anlagen dar. Darauf aufbauend wird die Idee, welche der Kontextmodellierung im allgemeinen Software-Engineering zu Grunde liegt, auf Anwendbarkeit innerhalb der Automatisierungstechnik geprüft. Daraus werden Chancen und Herausforderungen abgeleitet werden, welche im Schlussteil dieses Beitrags angeführt sind.
- KonferenzbeitragEvolution of software in automated production systems: challenges and research directions(Software Engineering 2016, 2016) Vogel-Heuser, Birgit; Fay, Alexander; Schaefer, Ina; Tichy, MatthiasCoping with evolution in automated production systems implies cross-disciplinary challenges along the system's life-cycle for variant-rich systems of high complexity. We provide an interdisciplinary survey on challenges and research directions in the evolution of automated production systems. After an initial discussion about the nature of automated production systems and their specific development process, we sketch in this extended abstract the challenges associated with evolution in the different development phases and a couple of cross-cutting areas.
- ZeitschriftenartikelModellierung von Veränderungen in hierarchischen Strukturmodellen automatisierter Anlagen(Softwaretechnik-Trends: Vol. 32, No. 2, 2012) Göring, Markus; Fay, AlexanderMarkus Göring Vattenfall Europe Nuclear Energy GmbH Überseering 12 22297 Hamburg markusheinrich.goering@vattenfall.de Automatisierungssysteme sind ein wichtiger Bestandteil jeder Industrieanlage. Sie übernehmen vielfältige Aufgaben, zu denen u.a. Messen, Anzeigen, Melden, Stellen und Schützen zu zählen sind, und ermöglichen den Übergang von der physikalischen Welt in die Informationswelt einer Anlage. Im Lebenszyklus eines Automatisierungssystems, z.B. gemäß [D511] für die Prozessindustrie, folgen auf die Planung die Inbetriebnahme und der Betrieb, inklusive Instandhaltung und Modifikationen. Die physikalische Struktur unterliegt in allen Phasen des Engineerings diversen Modifikationen, geht aber als statische Struktur aus dem Engineering in den Betrieb über. In der Betriebsphase eines Automatisierungssystems treten jedoch physikalische Strukturveränderungen auf. Diese physikalischen Strukturveränderungen können mehrere Ursachen haben. Einerseits zählen hierzu geplante und gewollte dauerhafte Modifikationen während des Betriebs. Andererseits werden Fehler und daraus resultierende Ausfälle von Komponenten betrachtet, weil von den Ausfällen auch notwendige Funktionen betroffen sein können. Die letzteren physikalischen Strukturveränderungen sind temporär (zeitlich begrenzt) und werden daher als temporäre physikalische Strukturveränderungen bezeichnet. Zudem resultieren temporäre physikalische Strukturveränderungen auch aus der Instandhaltung, bei der Komponenten bzw. Systeme außer Betrieb genommen und Prüfgeräte integriert werden. Die Modellierung eines Automatisierungssystems erfolgt im hier vorgestellten Ansatz exemplarisch auf Basis des Beschreibungsmittels Computer Aided Engineering eXchange (CAEX) [Fe03]. Im Bereich der Automatisierungstechnik wurde die Eignung von CAEX zur Modellierung hierarchischer Strukturen in verschiedenen Veröffentlichungen gezeigt, z.B. in [St11]. Dieser Beitrag verwendet für die differenzierte Modellierung von physikalischer Struktur und funktionaler Struktur die Aspekte Produkt, Funktion und Ort gemäß DIN EN 81346 [D346], wobei der Aspekt Produkt die physikalische Struktur umfasst. Mit dem Ortsaspekt werden Modelle von Automatisierungssystemen um räumliche Information ergänzt, die z.B. bei der Analyse von Umgebungseinflüssen hilfreich ist. Neben der isolierten Modellierung der hierarchischen Produkt-, Funktions- und Ortsstrukturen ermöglicht CAEX die umfassende Modellierung von inter- und Alexander Fay Helmut-Schmidt-Universität Holstenhofweg 85 22043 Hamburg alexander.fay@hsu-hh.de intra-strukturellen Zusammenhängen. So beinhaltet die Modellierung u.a. das Auslegungsmerkmal Redundanz innerhalb der Produktstruktur als auch die Abhängigkeiten zwischen der Funktions- und Produktstruktur bzw. der Produkt- und Ortsstruktur. Implizit sind hiermit auch die Abhängigkeiten zwischen der Funktions- und Ortsstruktur gegeben. Dieser Ansatz resultiert in hierarchischen Modellen statischer Strukturen, die vorgestellten temporären physikalischen Strukturveränderungen von Automatisierungssystemen werden jedoch nicht erfasst. Aufbauend auf dem hierarchischen CAEX-Modell wird die Modellierung temporärer physikalischer Strukturveränderungen auf Basis der Change Description Language (CDL) [Ho00] und der Process Specification Language (PSL) [Sc00] vorgenommen. Die Ursache temporärer physikalischer Strukturveränderungen wird in Form von Zustandsänderungen von Komponenten und Systemen modelliert, die aufgrund entsprechender Ereignisse ausgelöst werden. Hingegen treten die Auswirkungen innerhalb der funktionalen Struktur als Reduktionen bzw. Ausfällen von Funktionen auf [D508]. CDL wird in der Domäne der geographischen Informationssysteme für die Modellierung von Veränderungen geographischer Objekte verwendet, basierend auf Zuständen und Zustandsübergängen. Ein Vorteil von CDL sind die geringe Anzahl diskreter (identitätsbasierter) Zustände, so dass die Modellierung der Veränderungen einfach und übersichtlich ist. In Anlehnung an die CDL werden drei funktionsbezogene Zustände definiert: existing, defective-existing und non-existing. Existing modelliert eine vorhandene Komponente bzw. System mit vollständiger Funktionalität, non-existing modelliert nicht vorhandene Funktionalität und defective-existing modelliert Ausfälle von Funktionen mit gestörtem Zeitverhalten oder gestörtem Signalwert. Mit den neun definierten Zustandsübergängen in Tabelle 1 lassen sich die betrachteten temporären physikalischen Strukturveränderungen vollständig modellieren. Abbildung 1 zeigt beispielhaft die physikalische Struktur eines Automatisierungssystems für die Ansteuerung von zwei Kühlsystemen, bei dem Prozessgrößen dreifach redundant erfasst werden und die Kühlsysteme nach einer 2-von-3 Auswahl über separate CPUs angesteuert werden. Exemplarisch wird angenommen, dass CPU A nicht korrekt arbeitet, dieses wird somit mit dem
- KonferenzbeitragPrecomputing Reconfiguration Strategies based on Stochastic Timed Game Automata(Software Engineering 2023, 2023) Göttmann, Hendrik; Caesar, Birte; Beers, Lasse; Lochau, Malte; Schürr, Andy; Fay, AlexanderWe summarize our paper Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata which has been published in the proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022).
- ZeitschriftenartikelSemi-automated decision making support for undocumented evolutionary changes(Softwaretechnik-Trends Band 34, Heft 2, 2014) Ladiges, Jan; Fay, Alexander; Haubeck, Christopher; Lamersdorf, Winfried