Cyber-physische Systeme (CPS) sind durch den Ausfall von Aktuatoren, Sensoren oder strukturellen Komponenten verschiedenen Fehlern ausgesetzt. Die zunehmende Größe und Komplexität moderner Systeme führt zu einer kostenund zeitintensiven manuellen Fehlerbehandlung. Um Systeme in die Lage zu versetzen, sich selbständig an Fehler anzupassen, ist eine Rekonfiguration, d.h. die Identifizierung einer neuen gültigen Konfiguration, die den Betrieb wiederherstellt, notwendig. Dieser Beitrag stellt eine Erweiterung des kürzlich veröffentlichten Rekonfigurationsalgorithmus AutoConf und die Anwendung auf das Environmental Control and Life Support System (ECLSS) des COLUMBUS-Moduls an Bord der ISS vor. Die Implementierung stützt sich auf ein qualitatives Systemmodell (QSM), das in Aussagenlogik formuliert ist. Das zugehörige Erfüllbarkeitsproblem wird mit einem SAT-Solver gelöst. Die Erweiterung besteht aus drei Beiträgen, nämlich einer Implementierung des Gesundheitszustands, einem dynamischen Kausalgraphen und einer problemspezifischen Formulierung der seriellen Abhängigkeiten der Aktuatoren. Es wird eine statische Bewertung des erweiterten Rekonfigurationsalgorithmus für 73 Fehlerfälle vorgestellt, die ein breites Spektrum an Fehlern abdecken. Des Weiteren wird ein Überwachungssystem vorgstellt, welches das zugrunde liegende qualitative Systemmodell (QSM) erweitert. Auf diese Weise wird eine Prädiktion des qualitativen Systemverhaltens ermöglicht, sodass eine direkte Evaluation der Rekonfigurationsmaßnahme vorgenommen werden kann.    «

Cyber-physische Systeme (CPS) sind durch den Ausfall von Aktuatoren, Sensoren oder strukturellen Komponenten verschiedenen Fehlern ausgesetzt. Die zunehmende Größe und Komplexität moderner Systeme führt zu einer kostenund zeitintensiven manuellen Fehlerbehandlung. Um Systeme in die Lage zu versetzen, sich selbständig an Fehler anzupassen, ist eine Rekonfiguration, d.h. die Identifizierung einer neuen gültigen Konfiguration, die den Betrieb wiederherstellt, notwendig. Dieser Beitrag stellt eine E...    »