{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T23:03:02Z","timestamp":1757545382157,"version":"3.41.0"},"reference-count":52,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2020,5,3]],"date-time":"2020-05-03T00:00:00Z","timestamp":1588464000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Lise Meitner FWF Austria","award":["M 2778-N"],"award-info":[{"award-number":["M 2778-N"]}]},{"name":"\u201cEDENSPACE\u201d","award":["ANPCyT PICT 2017-1725"],"award-info":[{"award-number":["ANPCyT PICT 2017-1725"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2020,5,31]]},"abstract":"<jats:p>Internet-enabled devices operating in the physical world are increasingly integrated in modern distributed systems. We focus on systems where the dynamics of spatial distribution is crucial; in such cases, devices may need to carry out complex computations (e.g., analyses) to check satisfaction of spatial requirements. The requirements are partly global\u2014as the overall system should achieve certain goals\u2014and partly individual, as each entity may have different goals. Assurance may be achieved by keeping a model of the system at runtime, monitoring events that lead to changes in the spatial environment, and performing requirements analysis. However, computationally intensive runtime spatial analysis cannot be supported by resource-constrained devices and may be offloaded to the cloud. In such a scenario, multiple challenges arise regarding resource allocation, cost, performance, among other dimensions. In particular, when the workload is unknown at the system\u2019s design time, it may be difficult to guarantee application-service-level agreements, e.g., on response times. To address and reason on these challenges, we first instantiate complex computations as microservices and integrate them to an IoT-cloud architecture. Then, we propose alternative cloud deployments for such an architecture\u2014based on virtual machines, containers, and the recent Functions-as-a-Service paradigm. Finally, we assess the feasibility and tradeoffs of the different deployments in terms of scalability, performance, cost, resource utilization, and more. We adopt a workload scenario from a known dataset of taxis roaming in Beijing, and we derive other workloads to represent unexpected request peaks and troughs. The approach may be replicated in the design process of similar classes of spatially distributed IoT systems.<\/jats:p>","DOI":"10.1145\/3381452","type":"journal-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T22:44:40Z","timestamp":1588632280000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems"],"prefix":"10.1145","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9493-3404","authenticated-orcid":false,"given":"Christos","family":"Tsigkanos","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}]},{"given":"Martin","family":"Garriga","sequence":"additional","affiliation":[{"name":"Universidad Nacional del Comahue, Neuqu\u00e9n, Argentina"}]},{"given":"Luciano","family":"Baresi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2020,5,3]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Martin Garriga and Christos Tsigkanos. 2018. Accompanying models and implementation. Retrieved from dsg.tuwien.ac.at\/team\/ctsigkanos\/lambda-topochecker\/.  Martin Garriga and Christos Tsigkanos. 2018. Accompanying models and implementation. Retrieved from dsg.tuwien.ac.at\/team\/ctsigkanos\/lambda-topochecker\/."},{"key":"e_1_2_1_2_1","unstructured":"Amazon. 2018. AWS Lambda. Retrieved from https:\/\/aws.amazon.com\/lambda\/.  Amazon. 2018. AWS Lambda. Retrieved from https:\/\/aws.amazon.com\/lambda\/."},{"key":"e_1_2_1_3_1","unstructured":"Microsoft Azure. 2018. Azure Functions. Retrieved from https:\/\/azure.microsoft.com\/en-us\/services\/functions\/.  Microsoft Azure. 2018. Azure Functions. Retrieved from https:\/\/azure.microsoft.com\/en-us\/services\/functions\/."},{"key":"e_1_2_1_4_1","unstructured":"IBM. 2018. IBM\/Apache Openwhisk. Retrieved from https:\/\/openwhisk.apache.org\/.  IBM. 2018. IBM\/Apache Openwhisk. Retrieved from https:\/\/openwhisk.apache.org\/."},{"key":"e_1_2_1_5_1","volume-title":"Dino Mandrioli, Matteo Rossi, and Christos Tsigkanos.","author":"Askarpour Mehrnoosh","year":"2019","unstructured":"Mehrnoosh Askarpour , Carlo Ghezzi , Dino Mandrioli, Matteo Rossi, and Christos Tsigkanos. 2019 . Formal methods in designing critical cyber-physical systems. In From Software Engineering to Formal Methods and Tools, and Back. Springer , Cham, 110--130. DOI:https:\/\/doi.org\/10.1007\/978-3-030-30985-5_8 10.1007\/978-3-030-30985-5_8 Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, and Christos Tsigkanos. 2019. Formal methods in designing critical cyber-physical systems. In From Software Engineering to Formal Methods and Tools, and Back. Springer, Cham, 110--130. DOI:https:\/\/doi.org\/10.1007\/978-3-030-30985-5_8"},{"key":"e_1_2_1_6_1","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"Baheti Radhakisan","year":"2011","unstructured":"Radhakisan Baheti and Helen Gill . 2011 . Cyber-physical systems . Impact Control Technol. 12 (2011), 161 -- 166 . Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. Impact Control Technol. 12 (2011), 161--166.","journal-title":"Impact Control Technol."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67262-5_2"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950328"},{"volume-title":"A unified model for the mobile-edge-cloud continuum. ACM Trans. Internet Technol. (2018)","author":"Baresi Luciano","key":"e_1_2_1_9_1","unstructured":"Luciano Baresi , Danilo. Mendonca, Martin Garriga , Sam Guinea , and Giovanni Quattrocchi . 2018. A unified model for the mobile-edge-cloud continuum. ACM Trans. Internet Technol. (2018) . In Press . Luciano Baresi, Danilo. Mendonca, Martin Garriga, Sam Guinea, and Giovanni Quattrocchi. 2018. A unified model for the mobile-edge-cloud continuum. ACM Trans. Internet Technol. (2018). In Press."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67262-5_15"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3106091.3106106"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3652"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), 66--73","author":"Bortolussi Luca","year":"2014","unstructured":"Luca Bortolussi and Laura Nenzi . 2014 . Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic . In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), 66--73 . Luca Bortolussi and Laura Nenzi. 2014. Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic. In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), 66--73."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2932439.2932559"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2306798"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0483-8"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2014.16"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49224-6_24"},{"volume-title":"Theoretical Computer Science","author":"Ciancia Vincenzo","key":"e_1_2_1_19_1","unstructured":"Vincenzo Ciancia , Diego Latella , Michele Loreti , and Mieke Massink . 2014. Specifying and verifying properties of space . In Theoretical Computer Science . Springer , 222--235. Vincenzo Ciancia, Diego Latella, Michele Loreti, and Mieke Massink. 2014. Specifying and verifying properties of space. In Theoretical Computer Science. Springer, 222--235."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2015.17"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_46"},{"key":"e_1_2_1_22_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Orna Grumberg , and Doron A . Peled . 1999 . Model Checking. MIT Press . Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. 1999. Model Checking. MIT Press."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_27"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2015.7095802"},{"key":"e_1_2_1_25_1","unstructured":"Martin Fowler. 2015. Microservices. Retrieved from http:\/\/martinfowler.com\/bliki\/MonolithFirst.html.  Martin Fowler. 2015. Microservices. Retrieved from http:\/\/martinfowler.com\/bliki\/MonolithFirst.html."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the International Conference on Software Engineering and Formal Methods. Springer, 203--218","author":"Garriga Martin","year":"2017","unstructured":"Martin Garriga . 2017 . Towards a taxonomy of microservices architectures . In Proceedings of the International Conference on Software Engineering and Formal Methods. Springer, 203--218 . Martin Garriga. 2017. Towards a taxonomy of microservices architectures. In Proceedings of the International Conference on Software Engineering and Formal Methods. Springer, 203--218."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078468.3078497"},{"volume-title":"Proceedings of the 8th USENIX Conference on Hot Topics in Cloud Computing. 33--39","author":"Hendrickson S.","key":"e_1_2_1_28_1","unstructured":"S. Hendrickson , S. Sturdevant , T. Harter , V. Venkataramani , A. C. Arpaci-Dusseau , and R. H. Arpaci-Dusseau . 2016. Serverless computation with openLambda . In Proceedings of the 8th USENIX Conference on Hot Topics in Cloud Computing. 33--39 . S. Hendrickson, S. Sturdevant, T. Harter, V. Venkataramani, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. 2016. Serverless computation with openLambda. In Proceedings of the 8th USENIX Conference on Hot Topics in Cloud Computing. 33--39."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127540.3127561"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2885497"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48234-2_3"},{"key":"e_1_2_1_33_1","unstructured":"Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2014. The OCaml system release 4.02. Institut National de Recherche en Informatique et en Automatique 54 (2014).  Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2014. The OCaml system release 4.02. Institut National de Recherche en Informatique et en Automatique 54 (2014)."},{"key":"e_1_2_1_34_1","volume-title":"Microservices: A definition for this new architectural term.","author":"Lewis James","year":"2014","unstructured":"James Lewis and Martin Fowler . 2014 . Microservices: A definition for this new architectural term. Retrieved from http:\/\/martinfowler.com\/articles\/microservices.html. James Lewis and Martin Fowler. 2014. Microservices: A definition for this new architectural term. Retrieved from http:\/\/martinfowler.com\/articles\/microservices.html."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-014-9492-7"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IC2E.2018.00039"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2682318"},{"volume-title":"Runtime Verification","author":"Nenzi Laura","key":"e_1_2_1_38_1","unstructured":"Laura Nenzi , Luca Bortolussi , Vincenzo Ciancia , Michele Loreti , and Mieke Massink . 2015. Qualitative and quantitative monitoring of spatio-temporal properties . In Runtime Verification . Springer , 21--37. Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, and Mieke Massink. 2015. Qualitative and quantitative monitoring of spatio-temporal properties. In Runtime Verification. Springer, 21--37."},{"key":"e_1_2_1_39_1","unstructured":"Michael Roberts. 2016. Serverless architectures: What is serverless? Retrieved from http:\/\/martinfowler.com\/articles\/serverless.html.  Michael Roberts. 2016. Serverless architectures: What is serverless? Retrieved from http:\/\/martinfowler.com\/articles\/serverless.html."},{"volume-title":"Proceedings of the IEEE International Conference on Edge Computing (EDGE\u201917)","author":"Song Y.","key":"e_1_2_1_40_1","unstructured":"Y. Song , S. S. Yau , R. Yu , X. Zhang , and G. Xue . 2017. An approach to QoS-based task distribution in edge computing networks for IoT applications . In Proceedings of the IEEE International Conference on Edge Computing (EDGE\u201917) . 32--39. Y. Song, S. S. Yau, R. Yu, X. Zhang, and G. Xue. 2017. An approach to QoS-based task distribution in edge computing networks for IoT applications. In Proceedings of the IEEE International Conference on Edge Computing (EDGE\u201917). 32--39."},{"key":"e_1_2_1_41_1","volume-title":"Monge","author":"Spillner Josef","year":"2017","unstructured":"Josef Spillner , Cristian Mateos , and David A . Monge . 2017 . Faaster, better, cheaper: The prospect of serverless scientific computing and hpc. In Proceedings of the Latin American High Performance Computing Conference. Springer , 154--168. Josef Spillner, Cristian Mateos, and David A. Monge. 2017. Faaster, better, cheaper: The prospect of serverless scientific computing and hpc. In Proceedings of the Latin American High Performance Computing Conference. Springer, 154--168."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2015.58"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2019.2935800"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-016-0509-6"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106299"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2019.00174"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2019.00021"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2016.37"},{"key":"e_1_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Jie Xu Lixing Chen and Pan Zhou. 2018. Joint service caching and task offloading for mobile edge computing in dense networks. arXiv preprint arXiv:1801.05868.  Jie Xu Lixing Chen and Pan Zhou. 2018. Joint service caching and task offloading for mobile edge computing in dense networks. arXiv preprint arXiv:1801.05868.","DOI":"10.1109\/INFOCOM.2018.8485977"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483669.2483682"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2018.8486269"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020462"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869790.1869807"}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3381452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:07Z","timestamp":1750199587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,3]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,5,31]]}},"alternative-id":["10.1145\/3381452"],"URL":"https:\/\/doi.org\/10.1145\/3381452","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"type":"print","value":"1533-5399"},{"type":"electronic","value":"1557-6051"}],"subject":[],"published":{"date-parts":[[2020,5,3]]},"assertion":[{"value":"2018-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-05-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}