Fey, GörschwinGörschwinFey1325967090000-0001-6433-6265Martino, GianlucaGianlucaMartino2024-01-242024-01-242024Technische Universität Hamburg (2024)https://hdl.handle.net/11420/45238This thesis aims to analyze techniques for improving the fault detection capabilities of large cyber-physical systems. The Low-Level Radio Frequency (LLRF) control system of the European X-ray Free Electron Laser (XFEL) is the main target system. In Part I, the thesis describes the contributions toward the usage of anomaly detection for detecting faults. In Part II, the thesis describes the flow that, starting from an existing hardware digital design, automatically derives runtime monitors, i.e., hardware property checkers that ensure that the system operates correctly.Ziel dieser Arbeit ist es, Techniken zur Verbesserung der Fehlererkennung in großen Cyber-physischen Systemen zu analysieren. Das Low-Level Radio Frequency (LLRF) Kontrollsystem des European X-ray Free Electron Laser (XFEL) ist das Hauptzielsystem. In Teil I der Arbeit werden die Beiträge zur Nutzung der Anomalieerkennung für die Fehlererkennung beschrieben. In Teil II wird der Ablauf beschrieben, der ausgehend von einem bestehenden digitalen Hardware-Design automatisch Laufzeitmonitore ableitet, d.h. Hardware-Eigenschaftsprüfer, die sicherstellen, dass das System korrekt arbeitet.enhttps://creativecommons.org/licenses/by/4.0/anomaly detectionfault detectionruntime monitoringcyber-physical systemdistributed systemComputer SciencesDoctoral Thesis10.15480/882.908710.15480/882.9087Schlarb, HolgerHolgerSchlarbTurau, VolkerVolkerTurauOther