A Model for Collaborative Runtime Verification (Extended Abstract)
Bas Testerink, Nils Bulling, Mehdi M. Dastani · 2015
Runtime verication concerns checking whether a system execution satises a given property. In this paper we propose a model for collaborative runtime verication 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 specic 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 verication of more complex properties. A network built from such collaborating local monitors is called a collaborative monitor.