Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems

The coordination of resources offered by multiple cloud providers to the end users aims to improve the Quality of Service. However, such systems exhibit a higher complexity and heterogeneity, which need to be handled correctly. In a large network of sensors provided by an Intercloud, the role of the monitoring processes is to identify existing issues and further report them for reconfiguration. Faulty monitors might report nonexistent problems or neglect existing ones. Their correctness highly influences the reliability of the whole system. By formal modeling the monitoring processes, this paper aims to improve the robustness of the system and to capture fundamental properties of monitors. The Abstract State Machine formal method is used for creating the models, which follow a modular approach.