TY - THES A3 - Schäfer, Wilhelm A3 - Rammig, Franz Josef A3 - Tichy, Matthias AB - 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. AU - Priesterjahn, Claudia DA - 2013 DP - Universität Paderborn LA - eng N1 - Tag der Verteidigung: 12.08.2013 N1 - Paderborn, Univ., Diss., 2013 PB - Veröffentlichungen der Universität PY - 2013 T2 - Institut für Informatik TI - Analyzing self-healing operations in mechatronic systems UR - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-12129 Y2 - 2026-01-19T17:47:09 ER -