Andreea Buga, Sorana-Tania Nemes,
"Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems"
: 5th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW) 2017, IEEE, Seite(n) 93-100, 11-2017
Original Titel:
Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems
Sprache des Titels:
Englisch
Original Buchtitel:
5th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW) 2017
Original Kurzfassung:
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
Forschungs-