A Reliable Alarm Can Still Miss the Drift
TL;DR for operators A building’s heating controller may pass its original assurance checks, then lose effectiveness during operation. Can a runtime monitor detect that change? In the paper’s simulated Building benchmark with 8% heating loss, spatial monitoring raised alarms in all 50 runs (median delay: 3,043 observations), while uniform and temporal monitoring raised none. All three used paired trajectories and the same 5% false-alarm tolerance. A reliable alarm rule is not necessarily a sensitive detector. ...