Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems

Abstract

Assessing the correct behavior of a given system at run-time can be achieved by monitoring its execution, and is complementary to off-line analysis such as static verification. In this work, we focus on run-time monitoring of system properties that include both causality and timing constraints, in distributed and time-constrained systems. Based on a… (More)
DOI: 10.1109/PRDC.2013.41

Topics

7 Figures and Tables