Smart Cities are future urban aggregations, where a multitude of heterogeneous systems and IoT devices interact to provide a safer, more efficient, and greener environment. The vision of smart cities is adapting accordingly to the evolution of software and IoT based services. The current trend is not to have a big comprehensive system, but a plethora of small, well integrated systems that interact one with each other. Monitoring these kinds of systems is challenging for a number of reasons.
@article{arxiv.1807.07460,
title = {Model-Based Monitoring for IoTs Smart Cities Applications},
author = {Matteo Orrù and Marco Mobilio and Anas Shatnawi and Oliviero Riganelli and Alessandro Tundo and Leonardo Mariani},
journal= {arXiv preprint arXiv:1807.07460},
year = {2018}
}