Details

Autor(en) / Beteiligte

• Priesterjahn, Claudia
• Schäfer, Wilhelm
• Rammig, Franz Josef
• Tichy, Matthias

Titel

Analyzing self-healing operations in mechatronic systems [Elektronische Ressource]

Erscheinungsjahr

2013

Link zum Volltext

• Hochschulschriften Visual Library - Scan2Web Hochschulschriften UB Paderborn (s2w-hsspadubpb)
• Volltext

  kostenfrei

Link zu anderen Inhalten

• Volltext

Verknüpfte Titel

Beschreibungen/Notizen

• Tag der Verteidigung: 12.08.2013
• Paderborn, Univ., Diss., 2013
• Open Access
• ger: Selbstheilung kann in mechatronischen Systemen eingesetzt werden, um die Auftrittswahrscheinlichkeiten von Gefahren zu reduzieren. Selbstheilende mechatronische Systeme reagieren zur Laufzeit auf Fehler im System, indem sie ihre Architektur rekonfigurieren. Das heißt, zur Laufzeit werden Komponenten ausgetauscht oder Kommunikationsverbindungen verändert, um zu vermeiden, dass Fehler Gefahren verursachen. Diese Reaktion unterliegt harten Echtzeitbedingungen, da der beabsichtigte Selbstheilungseffekt bei einer zu späten Reaktion nicht eintritt. Um zu beurteilen, ob eine Selbstheilungsoperation die Auftrittswahrscheinlichkeit einer Gefahr reduziert, müssen die Propagierungszeiten von Fehlern und der Effekt der Selbstheilungsoperation auf die Fehlerpropagierung betrachtet werden. In dieser Arbeit wird eine Analyse vorgestellt, die Selbstheilungsoperationen analysiert und dabei die beiden oben genannten Probleme berücksichtigt. Die Analyse wird mit Hilfe von Fehlerpropagierungsmodellen ausgeführt, die Informationen über Propagierungszeiten enthalten. Die Fehlerpropagierungsmodelle werden dabei automatisch aus den Verhaltensmodellen der Systemkomponenten generiert. Außerdem kann bei rekonfigurierbaren mechatronischen Systemen der Fall auftreten, dass zum Entwurfszeitpunkt nicht alle Systemarchitekturen bekannt sind, die zur Laufzeit erzeugt werden können. Das gilt vor allem für Systeme von Systemen, die sich erst zur Laufzeit treffen. Um Aussagen über den Erfolg von Selbstheilungsaktionen treffen zu können, wird jedoch eine konkrete Systemarchitektur benötigt. Deshalb stellen wir in dieser Arbeit einen Ansatz vor, der es erlaubt, Selbstheilungsoperationen zur Laufzeit zu analysieren. Systemarchitekturen, in denen trotz der Anwendung einer Selbstheilungsoperation die Gefahrenwahrscheinlichkeit den zulässigen Wert übersteigt, werden gesperrt.
• eng: Self-healing may be used to reduce occurrence probabilities of hazards in mechatronic systems, which are applied in safety-critical environments. Self-healing mechatronic systems react to failures by a reconfiguration of the architecture during runtime. This means, the exchange of components or the modification of the components' connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints, because reacting too late does not yield the intended self-healing effects. In order to judge whether a self-healing operation reduces the probability of the hazard successfully, we must consider the failure propagation times and the effect of the self-healing operation on the propagation of failures. In this thesis, we present an analysis of self-healing operations that particularly considers the problems mentioned above. This analysis operates on failure propagation models that contain information about propagation times. The failure propagation models are generated automatically from the behavior models of system components.In the domain of reconfigurable mechatronic systems, not all architectural configurations of a system that are constructed at runtime may be known at design time. This applies in particular to systems of systems. These systems only meet at runtime and establish connections in order to cooperate. These connections may lead to configurations that were unknown at design time. However, the analysis of self-healing operations requires concrete architectural configurations. We consequently present a framework that allows for executing our analysis of self-healing operations at runtime. Reconfigurations are locked if they construct configurations whose hazard occurrence probabilities exceed the valid hazard occurrence probability of the system.