Monitoring distributed reactive systems

Abstract

Recent results on the desynchronization of synchronous systems introduced the subclass of so-called endo/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… (More)
DOI: 10.1109/HLDVT.2012.6418247

Topics

7 Figures and Tables

Slides referencing similar topics