Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems


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


7 Figures and Tables