Detecting Architectural Drift in Safety-Critical Firmware through Runtime Trace Analysis

Domenico Francesco De Angelis, Marco De Luca, Domenico Amalfitano +2

Maintaining consistency between architectural design and runtime-observed behavior is challenging in long-lived safety-critical firmware. This paper presents a runtime-informed met…