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.
| Original language | English |
|---|---|
| Title of host publication | AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems |
| Publisher | International Foundation for Autonomous Agents and Multiagent Systems |
| Pages | 1781-1782 |
| Number of pages | 2 |
| ISBN (Electronic) | 978-1-4503-3413-6 |
| DOIs | |
| Publication status | Published - 2015 |