面向物联网智慧城市应用的基于模型的监控
软件工程
2018-07-20 v1
摘要
智慧城市是未来的城市聚合体，其中大量异构系统与IoT设备相互作用，以提供更安全、更高效和更绿色的环境。智慧城市的愿景正随着软件与基于IoT的服务演进而相应调整。当前的趋势并非拥有一个庞大的综合系统，而是大量小型、良好集成的系统彼此交互。由于若干原因，对此类系统进行监控具有挑战性。
引用
@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}
}