Sampling-based Decentralized Monitoring for Networked Embedded Systems

Abstract

Decentralized monitoring (DM) refers to a monitoring technique, where each\ncomponent must infer, based on a set of partial observations if the global\nproperty is satisfied. Our work is inspired by the theoretical results\npresented by Baurer and Falcone at FM 2012, where the authors introduced an\nalgorithm for distributing and monitoring LTL formulae, such that satisfaction\nor violation of specifications can be detected by local monitors alone.\nHowever, their work is based on the main assumption that neither the\ncomputation nor communication take time, hence it does not take into account\nhow to set a sampling time among the components such that their local traces\nare consistent. In this work we provide a timed model in UPPAAL and we show a\ncase study on a networked embedded systems board.\n