Monitoring distributed reactive systems

摘要

Recent results on the desynchronization of synchronous systems introduced the subclass of so-called en-do/isochronous systems. Since the modules of these systems can derive their own local clocks from their inputs, they can be implemented as asynchronous components without inefficient synchronizations. Runtime verification has a similar problem since one has to add a monitor to an existing system where typically a synchronous composition is assumed. In this paper, we therefore propose to use the endo/isochronous system theory to implement asynchronous monitors that are still able to check the original synchronous behavior. We only demand that the entire system obtained by adding the monitor is an endo/isochronous system so that we can implement a suitable wrapper around the monitor (and the other components). For the implementation, we use heuristics to check endochrony like the sequentiality of the implemented functions.