Runtime Monitoring of Distributed Systems∗

Distributed and component-based architectures are becom-ing more prevalent computer systems. The increased com-plexities introduced by the distribution hampers depend-ability, emphasising the need for verification techniques tai-lored for a distributed setting. Runtime verification has proven to be a viable approach for verifying correctness, by focussing on the adherence of the runtime-generated trace to the desired properties. We present a broad taxonomy of current techniques to distributed monitoring, culminating in the proposal of a novel migrating monitor approach. We ar-gue for certain situations where this approach presents clear advantages over current techniques. 1