Nothing Special   »   [go: up one dir, main page]

skip to main content
research-article

Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems

Published: 03 May 2020 Publication History

Abstract

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—as the overall system should achieve certain goals—and 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’s 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—based 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.

References

[1]
Martin Garriga and Christos Tsigkanos. 2018. Accompanying models and implementation. Retrieved from dsg.tuwien.ac.at/team/ctsigkanos/lambda-topochecker/.
[2]
Amazon. 2018. AWS Lambda. Retrieved from https://aws.amazon.com/lambda/.
[3]
Microsoft Azure. 2018. Azure Functions. Retrieved from https://azure.microsoft.com/en-us/services/functions/.
[4]
IBM. 2018. IBM/Apache Openwhisk. Retrieved from https://openwhisk.apache.org/.
[5]
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.
[6]
Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. Impact Control Technol. 12 (2011), 161--166.
[7]
Luciano Baresi, Martin Garriga, and Alan de De Renzis. 2017. Microservices identification through interface analysis. In Proceedings of the European Conference on Service-Oriented and Cloud Computing. Springer, 19--33.
[8]
Luciano Baresi, Sam Guinea, Alberto Leva, and Giovanni Quattrocchi. 2016. A discrete-time feedback controller for containerized cloud applications. In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 217--228.
[9]
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.
[10]
Luciano Baresi, Danilo Filgueira Mendonça, and Martin Garriga. 2017. Empowering low-latency applications through a serverless edge computing architecture. In Proceedings of the European Conference on Service-Oriented and Cloud Computing. Springer, 196--210.
[11]
Jiri Barnat, Lubos Brim, and Jakub Chaloupka. 2003. Parallel breadth-first search LTL model-checking. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering. IEEE, 106--115.
[12]
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, and Mattia Monga. 2016. Distributed CTL model checking using MapReduce: Theory and practice. Concurr. Comput.: Pract. Exper. 28, 11 (2016), 3025--3041.
[13]
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.
[14]
Luboš Brim, Karen Yorav, and Jitka Žídková. 2005. Assumption-based distribution of CTL model checking. Int. J. Softw. Tools Technol. Transfer 7, 1 (2005), 61--73.
[15]
Qingping Chi, Hairong Yan, Chuan Zhang, Zhibo Pang, and Li Da Xu. 2014. A reconfigurable smart sensor interface for industrial WSN in IoT environment. IEEE Trans. Industr. Inform. 10, 2 (2014), 1417--1425.
[16]
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, and Mieke Massink. 2018. Spatio-temporal model checking of vehicular movement in public transport systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018), 289--311.
[17]
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, and Mieke Massink. 2014. Data verification for collective adaptive systems: Spatial model-checking of vehicle location data. In Proceedings of the IEEE 8th International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW’14). IEEE, 32--37.
[18]
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, and Mieke Massink. 2015. An experimental spatio-temporal model checker. In Proceedings of the International Conference on Software Engineering and Formal Methods. Springer, 297--311.
[19]
Vincenzo Ciancia, Diego Latella, Michele Loreti, and Mieke Massink. 2014. Specifying and verifying properties of space. In Theoretical Computer Science. Springer, 222--235.
[20]
Vincenzo Ciancia, Diego Latella, Mieke Massink, and Rytis Pakauskas. 2015. Exploring spatio-temporal properties of bike-sharing systems. In Proceedings of the IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW’15). IEEE, 74--79.
[21]
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paškauskas, and Andrea Vandin. 2016. A tool-chain for statistical spatio-temporal model checking of bike sharing systems. In Proceedings of the International Symposium on Leveraging Applications of Formal Methods. Springer, 657--673.
[22]
Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. 1999. Model Checking. MIT Press.
[23]
Sami Evangelista, Laure Petrucci, and Samir Youcef. 2011. Parallel nested depth-first searches for LTL model checking. In Proceedings of the International Symposium on Automated Technology for Verification and Analysis. Springer, 381--396.
[24]
Wes Felter, Alexandre Ferreira, Ram Rajamony, and Juan Rubio. 2015. An updated performance comparison of virtual machines and linux containers. In Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS’15). IEEE, 171--172.
[25]
Martin Fowler. 2015. Microservices. Retrieved from http://martinfowler.com/bliki/MonolithFirst.html.
[26]
Martin Garriga. 2017. Towards a taxonomy of microservices architectures. In Proceedings of the International Conference on Software Engineering and Formal Methods. Springer, 203--218.
[27]
Alex Glikson, Stefan Nastic, and Schahram Dustdar. 2017. Deviceless edge computing: Extending serverless computing to the edge of the network. In Proceedings of the 10th ACM International Systems and Storage Conference. ACM, 28.
[28]
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.
[29]
Mike Jia, Weifa Liang, and Zichuan Xu. 2017. QoS-aware task offloading in distributed cloudlets with virtual network function services. In Proceedings of the 20th ACM International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems. ACM, 109--116.
[30]
Edward A. Lee. 2008. Cyber Physical Systems: Design Challenges. Technical Report. EECS Department, University of California, Berkeley.
[31]
P. Leitner and J. Cito. 2016. Patterns in the Chaos—A Study of Performance Variation and Predictability in Public IaaS Clouds. ACM Trans. Internet Technol. 16, 3 (2016), 15.
[32]
Flavio Lerda and Riccardo Sisto. 1999. Distributed-memory model checking with SPIN. In Proceedings of the International SPIN Workshop on Model Checking of Software. Springer, 22--39.
[33]
Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. 2014. The OCaml system release 4.02. Institut National de Recherche en Informatique et en Automatique 54 (2014).
[34]
James Lewis and Martin Fowler. 2014. Microservices: A definition for this new architectural term. Retrieved from http://martinfowler.com/articles/microservices.html.
[35]
Shancang Li, Li Da Xu, and Shanshan Zhao. 2015. The internet of things: A survey. Info. Syst. Front. 17, 2 (2015), 243--259.
[36]
Wes Lloyd, Shruti Ramesh, Swetha Chinthalapati, Lan Ly, and Shrideep Pallickara. 2018. Serverless computing: An investigation of factors influencing microservice performance. In Proceedings of the IEEE International Conference on Cloud Engineering (IC2E’18). IEEE, 159--169.
[37]
Pavel Mach and Zdenek Becvar. 2017. Mobile edge computing: A survey on architecture and computation offloading. IEEE Commun. Surveys Tutor. 19, 3 (2017), 1628--1656.
[38]
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.
[39]
Michael Roberts. 2016. Serverless architectures: What is serverless? Retrieved from http://martinfowler.com/articles/serverless.html.
[40]
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’17). 32--39.
[41]
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.
[42]
Haiying Sun, Jing Liu, Xiaohong Chen, and Dehui Du. 2015. Specifying cyber physical system safety properties with metric temporal spatial logic. In Proceedings of the Asia-Pacific Software Engineering Conference. IEEE, 254--260.
[43]
Christos Tsigkanos, Cosmin Avasalcai, and Schahram Dustdar. 2019. Architectural considerations for privacy on the edge. IEEE Internet Comput. 23, 4 (2019), 76--83.
[44]
Christos Tsigkanos, Timo Kehrer, and Carlo Ghezzi. 2016. Architecting dynamic cyber-physical spaces. Computing 98, 10 (2016), 1011--1040.
[45]
Christos Tsigkanos, Timo Kehrer, and Carlo Ghezzi. 2017. Modeling and verification of evolving cyber-physical spaces. In Proceedings of the 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE’17). 38--48.
[46]
Christos Tsigkanos, Stefan Nastic, and Schahram Dustdar. 2019. Towards resilient Internet of Things: Vision, challenges, and research roadmap. In Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS’19).
[47]
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, and Carlo Ghezzi. 2019. Inferring analyzable models from trajectories of spatially distributed Internet-of-Things. In Proceedings of the 1st IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS@ICSE’19). IEEE Computer Society.
[48]
Mario Villamizar, Oscar Garces, Lina Ochoa, Harold Castro, Lorena Salamanca, Mauricio Verano, Rubby Casallas, Santiago Gil, Carlos Valencia, Angee Zambrano, et al. 2016. Infrastructure cost comparison of running web applications in the cloud using AWS lambda and monolithic and microservice architectures. In Proceedings of the 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid’16). IEEE, 179--182.
[49]
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.
[50]
Zhixian Yan, Dipanjan Chakraborty, Christine Parent, Stefano Spaccapietra, and Karl Aberer. 2013. Semantic trajectories: Mobility data computation and annotation. ACM Trans. Intell. Syst. Technol. 4, 3 (2013), 49.
[51]
Ruozhou Yu, Guoliang Xue, and Xiang Zhang. 2018. Application provisioning in fog computing-enabled Internet-of-Things: A network perspective. In Proceedings of the IEEE INFOCOM 2018-IEEE Conference on Computer Communications. IEEE, 783--791.
[52]
Jing Yuan, Yu Zheng, Xing Xie, and Guangzhong Sun. 2011. Driving with knowledge from the physical world. In Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. ACM, 316--324.
[53]
Jing Yuan, Yu Zheng, Chengyang Zhang, Wenlei Xie, Xing Xie, Guangzhong Sun, and Yan Huang. 2010. T-drive: Driving directions based on taxi trajectories. In Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems. ACM, 99--108.

Cited By

View all
  • (2024)Real-time Tracking System for Distribution Information of Logistics Enterprises Based on IOT TechnologyProcedia Computer Science10.1016/j.procs.2024.09.012243(84-91)Online publication date: 2024
  • (2022)Design of Shared Internet of Things System for English Translation Teaching Using Deep Learning Text ClassificationWireless Communications and Mobile Computing10.1155/2022/35764192022(1-10)Online publication date: 30-Jul-2022
  • (2022)Edge-Based Runtime Verification for the Internet of ThingsIEEE Transactions on Services Computing10.1109/TSC.2021.307495615:5(2713-2727)Online publication date: 1-Sep-2022

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Internet Technology
ACM Transactions on Internet Technology  Volume 20, Issue 2
Special Section on Emotions in Conflictual Social Interactions and Regular Papers
May 2020
256 pages
ISSN:1533-5399
EISSN:1557-6051
DOI:10.1145/3386441
  • Editor:
  • Ling Liu
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 May 2020
Accepted: 01 January 2020
Revised: 01 November 2019
Received: 01 November 2018
Published in TOIT Volume 20, Issue 2

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

  • Lise Meitner FWF Austria
  • “EDENSPACE”

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)14
  • Downloads (Last 6 weeks)1
Reflects downloads up to 25 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Real-time Tracking System for Distribution Information of Logistics Enterprises Based on IOT TechnologyProcedia Computer Science10.1016/j.procs.2024.09.012243(84-91)Online publication date: 2024
  • (2022)Design of Shared Internet of Things System for English Translation Teaching Using Deep Learning Text ClassificationWireless Communications and Mobile Computing10.1155/2022/35764192022(1-10)Online publication date: 30-Jul-2022
  • (2022)Edge-Based Runtime Verification for the Internet of ThingsIEEE Transactions on Services Computing10.1109/TSC.2021.307495615:5(2713-2727)Online publication date: 1-Sep-2022
  • (2019)Microservices: The Evolution and Extinction of Web Services?Microservices10.1007/978-3-030-31646-4_1(3-28)Online publication date: 12-Dec-2019

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media