Abstract
Monitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, which are tailored to assess the quality and trustworthiness of the system before the execution.