A Model for Collaborative Runtime Verification

Abstract

Runtime verification concerns checking whether a system execution satisfies a given property. In this paper we propose a model for collaborative runtime verification where a network of local monitors collaborates in order to verify properties of the system. A local monitor has only a local view on the execution of the system; thus, it can verify a specific system property with respect to its local view. However, the local monitor can also receive inputs from other local monitors about the evaluation of the properties that they are trying to verify. This information can be combined to allow the verification of more complex properties. A network built from such collaborating local monitors is called a collaborative monitor.