This 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.
