{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:09:52Z","timestamp":1771700992435,"version":"3.50.1"},"reference-count":147,"publisher":"MDPI AG","issue":"21","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Edge computing applications leverage advances in edge computing along with the latest trends of convolutional neural networks in order to achieve ultra-low latency, high-speed processing, low-power consumptions scenarios, which are necessary for deploying real-time Internet of Things deployments efficiently. As the importance of such scenarios is growing by the day, we propose to undertake two different kind of models, such as an algebraic models, with a process algebra called ACP and a coding model with a modeling language called Promela. Both approaches have been used to build models considering an edge infrastructure with a cloud backup, which has been further extended with the addition of extra fog nodes, and after having applied the proper verification techniques, they have all been duly verified. Specifically, a generic edge computing design has been specified in an algebraic manner with ACP, being followed by its corresponding algebraic verification, whereas it has also been specified by means of Promela code, which has been verified by means of the model checker Spin.<\/jats:p>","DOI":"10.3390\/s21217276","type":"journal-article","created":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T22:24:22Z","timestamp":1635805462000},"page":"7276","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Modeling of a Generic Edge Computing Application Design"],"prefix":"10.3390","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8391-8946","authenticated-orcid":false,"given":"Pedro Juan","family":"Roig","sequence":"first","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3701-5583","authenticated-orcid":false,"given":"Salvador","family":"Alcaraz","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8985-0639","authenticated-orcid":false,"given":"Katja","family":"Gilly","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9537-415X","authenticated-orcid":false,"given":"Cristina","family":"Bernad","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"given":"Carlos","family":"Juiz","sequence":"additional","affiliation":[{"name":"Mathematics and Computer Science Department, University of the Balearic Islands, 07022 Palma de Mallorca, Spain"}]}],"member":"1968","published-online":{"date-parts":[[2021,11,1]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1007\/s00607-020-00896-5","article-title":"Edge computing: Current trends, research challenges and future directions","volume":"103","author":"Carvalho","year":"2021","journal-title":"Computing"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"85714","DOI":"10.1109\/ACCESS.2020.2991734","article-title":"An Overview on Edge Computing Research","volume":"8","author":"Cao","year":"2020","journal-title":"IEEE Access"},{"key":"ref_3","unstructured":"(2021, September 18). A 2021 Perspective on Edge Computing. Available online: https:\/\/atos.net\/wp-content\/uploads\/2021\/08\/atos-2021-perspective-on-edge-computing-white-paper.pdf\/."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.1109\/TC.2021.3066579","article-title":"Design and Simulation of a Hybrid Architecture for Edge Computing in 5G and Beyond","volume":"70","author":"Rahimi","year":"2021","journal-title":"IEEE Trans. Comput."},{"key":"ref_5","first-page":"2040005","article-title":"Edge AI Driven Technology Advancements Paving Way towards New Capabilities","volume":"18","author":"Agarwal","year":"2020","journal-title":"IEEE Int. J. Innov. Technol. Manag."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"8872586","DOI":"10.1155\/2020\/8872586","article-title":"Artificial Intelligence for Securing IoT Services in Edge Computing: A Survey","volume":"2020","author":"Xu","year":"2020","journal-title":"Secur. Commun. Netw."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Hamdan, S., Ayyash, M., and Almajali, S. (2020). Edge-Computing Architectures for Internet of Things Applications: A Survey. Sensors, 20.","DOI":"10.3390\/s20226441"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Mrabet, H., Belgith, S., Alhomoud, A., and Jemai, A. (2020). A Survey of IoT Security Based on a Layered Architecture of Sensing and Data Analysis. Sensors, 20.","DOI":"10.3390\/s20133625"},{"key":"ref_9","unstructured":"Fokkink, W. (2007). Introduction to Process Algebra, Springer. [2nd ed.]."},{"key":"ref_10","unstructured":"Ben-Ari, M. (2008). Principles of the Spin Model Checker, Springer. [1st ed.]."},{"key":"ref_11","first-page":"69","article-title":"Resolving Classical Concurrency Problems Using Outlier Detection","volume":"25","year":"2017","journal-title":"J. Appl. Comput. Sci."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.infsof.2017.10.008","article-title":"Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?","volume":"95","author":"Ozkaya","year":"2018","journal-title":"Inf. Softw. Technol."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1177\/1687814017725472","article-title":"Formal modeling and control of cyber-physical manufacturing systems","volume":"9","author":"Yu","year":"2017","journal-title":"Adv. Mech. Eng."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Hofer-Schmitz, K., and Stojanovic, B. (2019, January 28\u201329). Towards Formal Methods of IoT Application Layer Protocols. Proceedings of the 12th CMI Conference on Cybersecurity and Privacy, Copenhagen, Denmark.","DOI":"10.1109\/CMI48017.2019.8962139"},{"key":"ref_15","unstructured":"Guizzardi, G. (2005). Ontological Foundations for Structural Conceptual Models. [Ph.D. Thesis, University of Twente]."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"4473","DOI":"10.1007\/s10664-020-09836-5","article-title":"Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America","volume":"25","author":"Gleirscher","year":"2020","journal-title":"Empir. Softw. Eng."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Casale, G., Gribaudo, M., and Serazzi, G. (2010). Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives. Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges, Springer.","DOI":"10.1007\/978-3-642-25575-5_3"},{"key":"ref_18","unstructured":"Molero, X., Juiz, C., and Rode\u00f1o, M. (2004). Evaluaci\u00f3n y Modelado del Rendimiento de los Sistemas Inform\u00e1ticos, Pearson Prentince Hall. [3rd ed.]."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Iqbal, I.M., Adzkiya, D., and Mukhlash, I. (2016, January 23). Formal verification of automated teller machine systems using SPIN. Proceedings of the AIP Conference, Surabaya, Indonesia.","DOI":"10.1063\/1.4994448"},{"key":"ref_20","first-page":"14","article-title":"Introduction to Machine Learning, Neural Networks, and Deep Learning","volume":"9","author":"Choi","year":"2020","journal-title":"Transl. Vis. Sci. Technol."},{"key":"ref_21","first-page":"730","article-title":"Machine learning for alloys","volume":"6","author":"Hart","year":"2021","journal-title":"Nature"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Wichert, A., and Sa-Couto, L. (2021). Machine Learning\u2014A Journey to Deep Learning, World Scientific Singapore. [1st ed.]. Machine Learning for Alloys.","DOI":"10.1142\/12201"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Teslyuk, V., Kazarian, A., Kryvinska, N., and Tsmots, I. (2021). Optimal Artificial Neural Network Type Selection Method for Usage in Smart House Systems. Sensors, 21.","DOI":"10.3390\/s21010047"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/s11633-017-1054-2","article-title":"Why and When Can Deep-but Not Shallow-networks Avoid the Curse of Dimensionality: A Review","volume":"14","author":"Poggio","year":"2019","journal-title":"Int. J. Autom. Comput."},{"key":"ref_25","unstructured":"(2021, September 18). CNN vs. RNN vs. ANN\u2014Analyzing 3 Types of Neural Networks in Deep Learning. Available online: https:\/\/www.analyticsvidhya.com\/blog\/2020\/02\/cnn-vs-rnn-vs-mlp-analyzing-3-types-of-neural-networks-in-deep-learning\/."},{"key":"ref_26","unstructured":"Rehmer, A., and Kroll, A. (2020, January 12\u201317). On the vanishing and exploding gradient problem in Gated Recurrent Units. Proceedings of the 21st IFAC World Congress, Berlin, Germany."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"V\u00e9stias, M.P. (2019). A Survey of Convolutional Neural Networks on Edge with Reconfigurable Computing. Algorithms, 12.","DOI":"10.3390\/a12080154"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1038\/s41598-019-56958-y","article-title":"Comparison of different input modalities and network structures for deep learning-based seizure detection","volume":"10","author":"Cho","year":"2020","journal-title":"Sci. Rep."},{"key":"ref_29","first-page":"5622","article-title":"Learning Filter Basis for Convolutional Neural Network Compression","volume":"1","author":"Li","year":"2019","journal-title":"IEEE Int. Conf. Comput. Vis. (ICCV)"},{"key":"ref_30","first-page":"1","article-title":"Why do deep convolutional networks generalize so poorly to small image transformations?","volume":"20","author":"Azulay","year":"2019","journal-title":"J. Mach. Learn. Res."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"107110","DOI":"10.1016\/j.patcog.2019.107110","article-title":"Complex Contourlet-CNN for polarimetric SAR image classification","volume":"100","author":"Li","year":"2020","journal-title":"Pattern Recognit."},{"key":"ref_32","unstructured":"(2021, September 18). Image Classification of Rock-Paper-Scissors Pictures Using Convolutional Neural Network (CNN). Available online: https:\/\/medium.com\/mlearning-ai\/image-classification-of-rock-paper-scissors-pictures-using-convolutional-neural-network-cnn-c3d2db127cdb\/."},{"key":"ref_33","first-page":"3656210","article-title":"Convolutional Neural Network Case Studies: (1) Anomalies in Mortality Rates (2) Image Recognition","volume":"1","author":"Meier","year":"2020","journal-title":"SSRN"},{"key":"ref_34","unstructured":"(2021, September 18). CS231n Convolutional Neural Networks for Visual Recognition. Available online: https:\/\/cs231n.github.io\/convolutional-networks\/."},{"key":"ref_35","first-page":"040901","article-title":"Development of convolutional neural network and its application in image classification: A survey","volume":"58","author":"Wang","year":"2019","journal-title":"Opt. Eng."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"9137","DOI":"10.1364\/OE.417413","article-title":"Optical-numerical method based on a convolutional neural network for full-field subpixel displacement measurements","volume":"29","author":"Ma","year":"2021","journal-title":"Opt. Express"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"5554920","DOI":"10.1155\/2021\/5554920","article-title":"A Convolutional Neural Network-Based Classification and Decision-Making Model for Visible Defect Identification of High-Speed Train Images","volume":"2021","author":"Wang","year":"2021","journal-title":"J. Sens."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"3905","DOI":"10.1038\/s41467-021-23952-w","article-title":"Correlator convolutional neural networks as an interpretable architecture for image-like quantum matter data","volume":"12","author":"Miles","year":"2021","journal-title":"Nat. Commun."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"1961","DOI":"10.1002\/met.1961","article-title":"A comparative study of convolutional neural network models for wind field downscaling","volume":"27","author":"Kern","year":"2020","journal-title":"Meteorol. Appl."},{"key":"ref_40","first-page":"673","article-title":"zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy","volume":"2021","author":"Liu","year":"2021","journal-title":"Cryptol. ePrint Arch."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Pelletier, C., Webb, G.I., and Petitjean, F. (2019). Temporal Convolutional Neural Network for the Classification of Satellite Image Time Series. Remote Sens., 11.","DOI":"10.3390\/rs11050523"},{"key":"ref_42","unstructured":"Wasay, A., and Idreos, S. (2021, January 3\u20137). More or Less: When and How to Build Convolutional Neural Network Ensembles. Proceedings of the 9th International Conference on Learning Representation (ICLR 2021), Virtual."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1016\/j.neucom.2019.12.083","article-title":"Fusing convolutional neural network features with hand-crafted features for osteoporosis diagnoses","volume":"385","author":"Su","year":"2020","journal-title":"Neurocomputing"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Shaban, M., Ogur, Z., Mahmoud, A., Switala, A., Shalaby, A., Khalifeh, H.A., Ghazal, M., Fraiwan, L., Giridharan, G., and Sandhu, H. (2020). A convolutional neural network for the screening and staging of diabetic retinopathy. PLoS ONE, 15.","DOI":"10.1371\/journal.pone.0233514"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"2219","DOI":"10.5194\/amt-13-2219-2020","article-title":"A convolutional neural network for classifying cloud particles recorded by imaging probes","volume":"13","author":"Touloupas","year":"2020","journal-title":"Atmos. Meas. Tech."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1038\/s41524-021-00542-4","article-title":"A deep convolutional neural network for real-time full profile analysis of big powder diffraction data","volume":"7","author":"Dong","year":"2021","journal-title":"Comput. Mater."},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Satu, S., Ahammed, K., Abedin, M.Z., Rahman, A., Islam, S.M.S., Azad, A.K.M., Alyami, S.A., and Moni, M.A. (2021). Convolutional Neural Network Model to Detect COVID-19 Patients Utilizing Chest X-ray Images. Mach. Learn. Appl., under review.","DOI":"10.1101\/2020.06.07.20124594"},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Bonomi, F., Milito, R., Natarajan, P., and Zhu, J. (2014). A platform for internet of things and analytics. Big Data and Internet of Things: A Roadmap for Smart Environments, Springer.","DOI":"10.1007\/978-3-319-05029-4_7"},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.comcom.2021.03.002","article-title":"Planning Fog networks for time-critical IoT requests","volume":"172","author":"Saba","year":"2021","journal-title":"Comput. Commun."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.icte.2021.05.004","article-title":"A Review on Fog Computing: Architecture, Fog with IoT, Algorithms and Research Challenges","volume":"7","author":"Sabireen","year":"2021","journal-title":"ICT Express"},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Ma, K., Bagula, A., Nyirenda, C., and Ajayi, O. (2019). An IoT-Based Fog Computing Model. Sensors, 19.","DOI":"10.3390\/s19122783"},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"150936","DOI":"10.1109\/ACCESS.2019.2947652","article-title":"Foundations and Evolution of Modern Computing Paradigms: Cloud, IoT, Edge, and Fog","volume":"7","author":"Donno","year":"2019","journal-title":"IEEE Access"},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"3833644","DOI":"10.1155\/2021\/3833644","article-title":"Towards an Elastic Fog-Computing Framework for IoT Big Data Analytics Applications","volume":"2021","author":"Pham","year":"2021","journal-title":"Wirel. Commun. Mob. Comput."},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1007\/s11277-021-08285-7","article-title":"Trust Enforced Computational Offloading for Health Care Applications in Fog Computing","volume":"119","author":"Meena","year":"2021","journal-title":"Wirel. Pers. Commun."},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.future.2019.05.015","article-title":"Improving fog computing performance via Fog-2-Fog collaboration","volume":"100","author":"Baker","year":"2019","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"e342","DOI":"10.7717\/peerj-cs.342","article-title":"A novel IoT-based health and tactical analysis model with fog computing","volume":"7","author":"Karakaya","year":"2021","journal-title":"PeerJ Comput. Sci."},{"key":"ref_57","unstructured":"de Moura-Donassolo, B. (2020). IoT Orchestration in the Fog. [Ph.D. Thesis, Universit\u00e9 Grenoble Alpes]."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/s10776-020-00491-7","article-title":"Security Issues in Fog Environment: A Systematic Literature Review","volume":"27","author":"Kaur","year":"2020","journal-title":"Int. J. Wirel. Inf. Netw."},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Gharbi, C., Hsairi, L., and Zagrouba, E. (2021, January 4\u20136). A Secure Integrated Fog Cloud-IoT Architecture based on Multi-Agents System and Blockchain. Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART 2021), Vienna, Austria.","DOI":"10.5220\/0010345111841191"},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/spy2.145","article-title":"Fog computing security and privacy for the Internet of Thing applications: State-of-the-art","volume":"4","author":"Alzoubi","year":"2021","journal-title":"Secur. Priv."},{"key":"ref_61","doi-asserted-by":"crossref","first-page":"1112","DOI":"10.1016\/j.future.2019.07.010","article-title":"Energy and performance aware fog computing: A case of DVFS and green renewable energy","volume":"101","author":"Toor","year":"2019","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_62","doi-asserted-by":"crossref","unstructured":"Alenizi, F., and Rana, O. (2020). Minimizing Delay and Energy in Online Dynamic Fog Systems. arXiv.","DOI":"10.5121\/csit.2020.101513"},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"103078","DOI":"10.1016\/j.jnca.2021.103078","article-title":"Application placement in Fog computing with AI approach: Taxonomy and a state of the art survey","volume":"185","author":"Nayeri","year":"2021","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_64","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.jpdc.2021.06.005","article-title":"Fog computing: A taxonomy, systematic review, current trends and research challenges","volume":"157","author":"Singh","year":"2021","journal-title":"J. Parallel Distrib. Comput."},{"key":"ref_65","doi-asserted-by":"crossref","unstructured":"Caminero, A.C., and Mu\u00f1oz-Mansilla, R. (2021). Quality of Service Provision in Fog Computing: Network-Aware Scheduling of Containers. Sensors, 21.","DOI":"10.3390\/s21123978"},{"key":"ref_66","doi-asserted-by":"crossref","unstructured":"Ijaz, M., Li, G., Wang, H., El-Sherbeeny, A.M., Awelisah, Y.M., Lin, L., Koubaa, A., and Noor, A. (2020). Fog computing: Intelligent Fog-Enabled Smart Healthcare System for Wearable Physiological Parameter Detection. Electronics, 9.","DOI":"10.3390\/electronics9122015"},{"key":"ref_67","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1186\/s13677-021-00233-x","article-title":"Resource pooling in vehicular fog computing","volume":"10","author":"Tang","year":"2021","journal-title":"J. Cloud Comput."},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"e4906","DOI":"10.1002\/dac.4906","article-title":"Toward vehicular cloud\/fog communication: A survey on data dissemination in vehicular ad hoc networks using vehicular cloud\/fog computing","volume":"134","author":"Gaouar","year":"2021","journal-title":"Int. J. Commun. Syst."},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"2316","DOI":"10.1109\/TII.2020.2998105","article-title":"A Secure Fog-Based Architecture for Industrial Internet of Things and Industry 4.0","volume":"17","author":"Sengupta","year":"2021","journal-title":"IEEE Trans. Ind. Inform."},{"key":"ref_70","doi-asserted-by":"crossref","unstructured":"Ungurean, I., and Gait\u00e1n, N.C. (2021). Software Architecture of a Fog Computing Node for Industrial Internet of Things. Sensors, 21.","DOI":"10.3390\/s21113715"},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"100382","DOI":"10.1016\/j.iot.2021.100382","article-title":"A trust management system for fog computing services","volume":"14","author":"Ogundoyin","year":"2021","journal-title":"Internet Things"},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jpdc.2019.10.006","article-title":"COMITMENT: A Fog Computing Trust Management Approach","volume":"137","author":"Baker","year":"2020","journal-title":"J. Parallel Distrib. Comput."},{"key":"ref_73","first-page":"100382","article-title":"Fog Level Trust for Internet of Things Devices Using Node Feedback Aggregation","volume":"17","author":"Solomon","year":"2020","journal-title":"J. Comput. Theor. Nanosci."},{"key":"ref_74","doi-asserted-by":"crossref","unstructured":"Patwary, A.A., Naha, R.K., Garg, S., Battula, S.K., Patwary, A.K., Aghasian, E., Amin, M.B., Mahanti, A., and Gong, M. (2021). Towards Secure Fog Computing: A Survey on Trust Management, Privacy, Authentication, Threats and Access Control. Electronics, 10.","DOI":"10.3390\/electronics10101171"},{"key":"ref_75","unstructured":"Kecskemeti, G. (2019). Trust Management in Fog Computing: A Survey. Applying Integration Techniques and Methods in Distributed Systems and Technologies, IGI Global."},{"key":"ref_76","doi-asserted-by":"crossref","first-page":"31622","DOI":"10.1109\/ACCESS.2020.2972968","article-title":"Context-Aware Trust and Reputation Model for Fog-Based IoT","volume":"8","author":"Hussain","year":"2020","journal-title":"IEEE Access"},{"key":"ref_77","first-page":"1","article-title":"A Reliable Trust Computing Mechanism in Fog Computing","volume":"11","author":"Hallappanavar","year":"2021","journal-title":"Int. J. Cloud Appl. Comput."},{"key":"ref_78","doi-asserted-by":"crossref","first-page":"1550147719825820","DOI":"10.1177\/1550147719825820","article-title":"Trust management in social Internet of vehicles: Factors, challenges, blockchain, and fog solutions","volume":"15","author":"Iqbal","year":"2019","journal-title":"Int. J. Distrib. Sens. Netw."},{"key":"ref_79","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1186\/s13677-021-00247-5","article-title":"Blockchain-based trust management in cloud computing systems: A taxonomy, review and future directions","volume":"10","author":"Li","year":"2021","journal-title":"J. Cloud Comput."},{"key":"ref_80","first-page":"4849","article-title":"An Overview of Mobile Edge Computing: Architecture, Technology and Direction","volume":"13","author":"Rasheed","year":"2019","journal-title":"Trans. Internet Inf. Syst. (KSII)"},{"key":"ref_81","unstructured":"(2021, September 18). Cloud Edge Computing: Beyond the Data Center. Available online: https:\/\/www.openstack.org\/use-cases\/edge-computing\/cloud-edge-computing-beyond-the-data-center\/."},{"key":"ref_82","unstructured":"(2021, September 18). What Is Edge Computing? A Practical Overview. Available online: https:\/\/viso.ai\/edge-ai\/edge-computing-a-practical-overview\/."},{"key":"ref_83","unstructured":"(2021, September 18). El Fog Pasa a un Segundo Plano en la Internet Industrial de las Cosas. Available online: https:\/\/www.infoplc.net\/plus-plus\/tecnologia\/item\/108281-magazine-16-fog-computing-iic\/."},{"key":"ref_84","doi-asserted-by":"crossref","unstructured":"Saad, A., Faddel, S., and Mohammed, O. (2019). IoT-Based Digital Twin for Energy Cyber-Physical Systems: Design and Implementation. Energies, 13.","DOI":"10.3390\/en13184762"},{"key":"ref_85","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/s13677-020-00181-y","article-title":"Dynamic resource provisioning for cyber-physical systems in cloud-fog-edge computing","volume":"9","author":"Xu","year":"2020","journal-title":"J. Cloud Comput. Adv. Syst. Appl."},{"key":"ref_86","unstructured":"(2020). ETSI GS MEC 003 v2.2.1. Multi-Access Edge Computing (MEC): Framework and Reference Architecture, ETSI."},{"key":"ref_87","doi-asserted-by":"crossref","first-page":"18706","DOI":"10.1109\/ACCESS.2021.3053233","article-title":"Multi-Access Edge Computing Architecture, Data Security and Privacy: A Review","volume":"9","author":"Ali","year":"2021","journal-title":"IEEE Access"},{"key":"ref_88","unstructured":"(2021). Edge Computing in the Context of Open Manufacturing, Open Manufacturing Platform."},{"key":"ref_89","doi-asserted-by":"crossref","unstructured":"Fondo-Ferreiro, P., Est\u00e9vez-Caldas, A., P\u00e9rez-Vaz, R., Gil-Casti\u00f1eira, F., Gonz\u00e1lez-Casta\u00f1o, F.J., Rodr\u00edguez-Garc\u00eda, S., Sousa-V\u00e1zquez, X.R., L\u00f3pez, D., and Guerrero, C. (2021, January 7\u201310). Seamless Multi-Access Edge Computing Application Handover Experiments. Proceedings of the IEEE 22nd International Conference on High Performance Switching and Routing (HPSR 2021), Paris, France.","DOI":"10.1109\/HPSR52026.2021.9481834"},{"key":"ref_90","unstructured":"(2021, September 18). Edge Computing Market. Available online: https:\/\/www.factmr.com\/report\/4761\/edge-computing-market\/."},{"key":"ref_91","unstructured":"Krishnasamy, E., Varrette, S., and Mucciardi, M. (2021, September 18). (Partnership for Advanced Computing in Europe\u2014Technical Report, EU). Edge Computing: An Overview of Framework and Applications. Available online: https:\/\/orbilu.uni.lu\/handle\/10993\/46573."},{"key":"ref_92","unstructured":"Song, Z. (2020). Self-Adaptive Edge Services: Enhancing Reliability, Efficiency, and Adaptiveness under Unreliable, Scarce, and Dissimilar Resources. [Ph.D. Thesis, Virginia Polytechnic Institute and State University]."},{"key":"ref_93","unstructured":"(2021, September 18). Edge AI and Cloud AI Use Cases. Available online: https:\/\/barbaraiot.com\/blog\/aiot-the-perfect-union-between-the-internet-of-things-and-artificial-intelligence\/."},{"key":"ref_94","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1186\/s13677-021-00250-w","article-title":"An edge-cloud collaborative computing platform for building AIoT applications efficiently","volume":"10","author":"Rong","year":"2021","journal-title":"J. Cloud Comput."},{"key":"ref_95","doi-asserted-by":"crossref","first-page":"4235","DOI":"10.1109\/TII.2019.2902878","article-title":"Artificial Intelligence-Driven Mechanism for Edge Computing-Based Industrial Applications","volume":"15","author":"Sodhro","year":"2019","journal-title":"IEEE Trans. Ind. Inform."},{"key":"ref_96","doi-asserted-by":"crossref","first-page":"7457","DOI":"10.1109\/JIOT.2020.2984887","article-title":"Edge Intelligence: The Confluence of Edge Computing and Artificial Intelligence","volume":"7","author":"Deng","year":"2020","journal-title":"IEEE Internet Things J."},{"key":"ref_97","doi-asserted-by":"crossref","unstructured":"Wang, X., Han, Y., Leung, V.C.M., Niyato, D., Yan, X., and Chen, X. (2020). Edge AI (Artificial Intelligence Applications on Edge), Springer. [3rd ed.].","DOI":"10.1007\/978-981-15-6186-3"},{"key":"ref_98","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1016\/j.procs.2020.07.076","article-title":"Edge Computing and Artificial Intelligence for Real-time Poultry Monitoring","volume":"175","author":"Debouche","year":"2020","journal-title":"Procedia Comput. Sci."},{"key":"ref_99","doi-asserted-by":"crossref","unstructured":"Vecchio, M., Azzoni, P., Menychtas, A., Maglogiannis, I., and Felfernig, A. (2021). A Fully Open-Source Approach to Intelligent Edge Computing: AGILE\u2019s Lesson. Sensors, 21.","DOI":"10.3390\/s21041309"},{"key":"ref_100","unstructured":"(2021, September 18). AI-Based Video Analytics for Pandemic Management. Available online: https:\/\/www.ntu.edu.sg\/rose\/research-focus\/deep-learning-video-analytics\/ai-based-video-analytics-for-pandemic-management\/."},{"key":"ref_101","first-page":"103146","article-title":"Mobile Edge Computing and Artificial Intelligence: A Mutually-Beneficial Relationship","volume":"1","author":"Dobre","year":"2019","journal-title":"IEEE TCN"},{"key":"ref_102","doi-asserted-by":"crossref","first-page":"58322","DOI":"10.1109\/ACCESS.2020.2982411","article-title":"Deep Learning for Edge Computing Applications: A State-of-the-Art Survey","volume":"8","author":"Wang","year":"2020","journal-title":"IEEE Access"},{"key":"ref_103","first-page":"103146","article-title":"A survey on edge computing for wearable technology","volume":"2021","author":"Jin","year":"2021","journal-title":"Digit. Signal Process."},{"key":"ref_104","doi-asserted-by":"crossref","unstructured":"Covi, E., Donati, E., Heidari, H., Kappel, D., Liang, X., Payvand, M., and Wang, W. (2020). Adaptive Extreme Edge Computing for Wearable Devices. arXiv.","DOI":"10.3389\/fnins.2021.611300"},{"key":"ref_105","doi-asserted-by":"crossref","unstructured":"Silva, M.C., da Silva, J.C.F., Delabrida, S., Bianchi, A.G.C., Ribeiro, S.P., Silva, J.S., and Oliveira, R.A.R. (2021). Wearable Edge AI Applications for Ecological Environments. Sensors, 15.","DOI":"10.3390\/s21155082"},{"key":"ref_106","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1016\/j.future.2018.10.058","article-title":"An edge-stream computing infrastructure for real-time analysis of wearable sensors data","volume":"93","author":"Greco","year":"2019","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_107","doi-asserted-by":"crossref","unstructured":"Salkic, S., Ustundag, B.C., Uzunovic, T., and Golubovic, E. (2019, January 20\u201323). Edge Computing Framework for Wearable Sensor-Based Human Activity Recognition. Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT 2019), Sarajevo, Bosnia-Herzegovina.","DOI":"10.1007\/978-3-030-24986-1_30"},{"key":"ref_108","first-page":"201127345","article-title":"Edge computing in smart health care systems: Review, challenges, and research directions","volume":"1","author":"Hartmann","year":"2019","journal-title":"Trans. Emerg. Telecommun. Technol."},{"key":"ref_109","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jnca.2019.05.005","article-title":"Edge computing for Internet of Things: A survey, e-healthcare case study and future direction","volume":"140","author":"Ray","year":"2019","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_110","doi-asserted-by":"crossref","unstructured":"Abdellatif, A.A., Mohamed, A., Chiasserini, C.F., Tlili, M., and Erbad, A. (2020). Edge Computing For Smart Health: Context-aware Approaches, Opportunities, and Challenges. arXiv.","DOI":"10.1109\/MNET.2019.1800083"},{"key":"ref_111","unstructured":"Pazienza, A., Mallardi, G., Fasciano, C., and Vitulano, F. (2019, January 22). Artificial Intelligence on Edge Computing: A Healthcare Scenario in Ambient Assisted Living. Proceedings of the Artificial Intelligence for Ambient Assisted Living (AI*AAL.it 2019), Rende, Italy."},{"key":"ref_112","doi-asserted-by":"crossref","first-page":"101079","DOI":"10.1109\/ACCESS.2020.2997831","article-title":"Edge-Cloud Computing and Artificial Intelligence in Internet of Medical Things: Architecture, Technology and Application","volume":"8","author":"Sun","year":"2020","journal-title":"IEEE Access"},{"key":"ref_113","doi-asserted-by":"crossref","first-page":"2462","DOI":"10.1109\/COMST.2020.3009103","article-title":"Edge Computing in Industrial Internet of Things: Architecture, Advances and Challenges","volume":"22","author":"Qiu","year":"2020","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_114","doi-asserted-by":"crossref","unstructured":"Craciunescu, M., Chenaru, O., Dobrescu, R., Florea, G., and Mocanu, S. (2020). IIoT Gateway for Edge Computing Applications. Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, Springer. [1st ed.].","DOI":"10.1007\/978-3-030-27477-1_17"},{"key":"ref_115","doi-asserted-by":"crossref","unstructured":"Basir, R., Qaisar, S., Ali, M., Aldwairi, M., Ashraf, M.I., Mahmood, A., and Gidlund, M. (2019). Fog Computing Enabling Industrial Internet of Things: State-of-the-Art and Research Challenges. Sensors, 19.","DOI":"10.3390\/s19214807"},{"key":"ref_116","doi-asserted-by":"crossref","first-page":"4260","DOI":"10.1109\/JIOT.2019.2963371","article-title":"Learning-Based Context-Aware Resource Allocation for Edge-Computing-Empowered Industrial IoT","volume":"7","author":"Liao","year":"2020","journal-title":"IEEE Internet Things J."},{"key":"ref_117","doi-asserted-by":"crossref","unstructured":"Xu, X., Zeng, Z., Yang, S., and Shao, H. (2020). A Novel Blockchain Framework for Industrial IoT Edge Computing. Sensors, 20.","DOI":"10.3390\/s20072061"},{"key":"ref_118","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1108\/IJOPM-08-2019-788","article-title":"The fourth industrial revolution (Industry 4.0): Technologies disruption on operations and supply chain management","volume":"39","author":"Koh","year":"2019","journal-title":"Int. J. Oper. Prod. Manag."},{"key":"ref_119","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1142\/S2424862220500141","article-title":"Critical Components of Industry 5.0 Towards a Successful Adoption in the Field of Manufacturing","volume":"5","author":"Javaid","year":"2020","journal-title":"J. Ind. Integr. Manag."},{"key":"ref_120","first-page":"65","article-title":"Birth of Industry 5.0: Making Sense of Big Data with Artificial Intelligence, \u201cThe Internet of Things\u201d and Next-Generation Technology Policy","volume":"22","author":"Hekim","year":"2019","journal-title":"OMICS J. Integr. Biol."},{"key":"ref_121","doi-asserted-by":"crossref","first-page":"2100230","DOI":"10.1002\/advs.202100230","article-title":"Artificial Intelligence of Things (AIoT) Enabled Virtual Shop Applications Using Self-Powered Sensor Enhanced Soft Robotic Manipulator","volume":"8","author":"Sun","year":"2021","journal-title":"Adv. Sci."},{"key":"ref_122","doi-asserted-by":"crossref","unstructured":"Fraga-Lamas, P., Lopes, S.I., and Fern\u00e1ndez-Caram\u00e9s, T.M. (2021). Green IoT and Edge AI as Key Technological Enablers for a Sustainable Digital Transition towards a Smart Circular Economy: An Industry 5.0 Use Case. IEEE Sens., 21.","DOI":"10.3390\/s21175745"},{"key":"ref_123","unstructured":"(2021). Industry 5.0. Towards a Sustainable, Human-Centric and Resilient European Industry, Publications Office of the European Union."},{"key":"ref_124","doi-asserted-by":"crossref","first-page":"178942","DOI":"10.1109\/ACCESS.2019.2957749","article-title":"Collaborative Vehicular Edge Computing Networks: Architecture Design and Research Challenges","volume":"7","author":"Xie","year":"2019","journal-title":"IEEE Access"},{"key":"ref_125","first-page":"3159762","article-title":"A Survey on Vehicular Edge Computing: Architecture, Applications, Technical Issues, and Future Directions","volume":"2019","author":"Raza","year":"2019","journal-title":"Wirel. Commun. Mob. Comput."},{"key":"ref_126","unstructured":"Liu, L., Chen, C., Pei, Q., Maharjan, S., and Zhang, Y. (2019). Vehicular Edge Computing and Networking: A Survey. arXiv."},{"key":"ref_127","doi-asserted-by":"crossref","first-page":"102242","DOI":"10.1016\/j.sysarc.2021.102242","article-title":"Edge based authentication protocol for vehicular communications without trusted party communication","volume":"119","author":"Dharminder","year":"2021","journal-title":"J. Syst. Archit."},{"key":"ref_128","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1186\/s13677-020-00175-w","article-title":"An efficient task offloading scheme in vehicular edge computing","volume":"9","author":"Raza","year":"2020","journal-title":"J. Cloud Comput."},{"key":"ref_129","doi-asserted-by":"crossref","first-page":"5476","DOI":"10.1109\/JIOT.2020.3030072","article-title":"A Survey on Federated Learning: The Journey From Centralized to Distributed On-Site Learning and Beyond","volume":"8","author":"Abdulrahman","year":"2020","journal-title":"IEEE Internet Things J."},{"key":"ref_130","unstructured":"(2021, September 18). An introduction to Federated Learning: Challenges and Applications. Available online: https:\/\/viso.ai\/deep-learning\/federated-learning\/."},{"key":"ref_131","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/2200000083","article-title":"Advances and Open Problems in Federated Learning","volume":"14","author":"Kairouz","year":"2021","journal-title":"Found. Trends Mach. Learn."},{"key":"ref_132","doi-asserted-by":"crossref","unstructured":"Zhang, W., Cui, X., Finkler, U., Saon, G., Kayi, A., Buysktosunoglu, A., Kingsbury, B., Kung, D., and Picheny, M. (2019, January 15\u201319). A Highly Efficient Distributed Deep Learning System For Automatic Speech Recognition. Proceedings of the Interspeech, Graz, Austria.","DOI":"10.21437\/Interspeech.2019-2700"},{"key":"ref_133","doi-asserted-by":"crossref","unstructured":"Elbir, A.M., Papazafeiropoulos, A.K., and Chatzinotas, S. (2021). Federated Learning for Physical Layer Design. arXiv.","DOI":"10.1109\/MCOM.101.2100138"},{"key":"ref_134","doi-asserted-by":"crossref","unstructured":"Kjorveziroski, V., Filiposka, S., and Trajkovic, V. (2021). IoT Serverless Computing at the Edge: Open Issues and Research Direction. Computers, 10.","DOI":"10.3390\/computers10100130"},{"key":"ref_135","doi-asserted-by":"crossref","unstructured":"Aslanpour, M.S., Toosi, A.N., Cicconetti, C., Javadi, B., Sbarski, P., Taibi, D., Assun\u00e7\u00e3o, M., Gill, S.S., Gaire, R., and Dustdar, S. (2021, January 1\u20135). Serverless Edge Computing: Vision and Challenges. Proceedings of the Australasian Computer Science Week (ASCW 2021), Dunedin, New Zealand.","DOI":"10.1145\/3437378.3444367"},{"key":"ref_136","first-page":"2944","article-title":"Edge-adaptable serverless acceleration for machine learning Internet of Things applications","volume":"51","author":"Zhang","year":"2020","journal-title":"J. Softw. Pract. Exp."},{"key":"ref_137","doi-asserted-by":"crossref","unstructured":"Benedetti, P., Femminella, M., Reali, G., and Steenhaul, K. (2021). Experimental Analysis of the Application of Serverless Computing to IoT Platforms. Sensors, 21.","DOI":"10.3390\/s21030928"},{"key":"ref_138","doi-asserted-by":"crossref","unstructured":"Wang, B., Ali-Eldin, A., and Shenoy, P. (2021). LaSS: Running Latency Sensitive Serverless Computations at the Edge. arXiv.","DOI":"10.1145\/3431379.3460646"},{"key":"ref_139","unstructured":"Ghaemi, S., Rouhani, S., Belchior, R., Cruz, R.S., Khazaei, H., and Musilek, P. (2021). A Pub-Sub Architecture to Promote Blockchain Interoperability. arXiv."},{"key":"ref_140","unstructured":"(2021, September 18). Edge Computing and Thermal Management. Available online: https:\/\/www.qats.com\/cms\/2020\/01\/14\/edge-computing-and-thermal-management\/."},{"key":"ref_141","doi-asserted-by":"crossref","unstructured":"Alcaraz, S., Roig, P.J., Gilly, K., Filiposka, S., and Aknin, N. (2020, January 15\u201317). Formal Algebraic Description of a Fog\/IoT Computing Environment. Proceedings of the 24th International Conference Electronics, Palanga, Lithuania.","DOI":"10.1109\/IEEECONF49502.2020.9141602"},{"key":"ref_142","unstructured":"Bergstra, J.A., and Middleburg, C.A. (2020). Using Hoare Logic in a Process Algebra Setting. arXiv."},{"key":"ref_143","unstructured":"Fokkink, W. (2017). Modelling Distributed Systems, Springer. [2nd ed.]."},{"key":"ref_144","doi-asserted-by":"crossref","unstructured":"Roig, P.J., Alcaraz, S., Gilly, K., Juiz, C., and Aknin, N. (2020, January 15\u201317). MQTT Algebraic Formal Modelling Using ACP. Proceedings of the 24th International Conference Electronics, Palanga, Lithuania.","DOI":"10.1109\/IEEECONF49502.2020.9141589"},{"key":"ref_145","first-page":"695","article-title":"Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker","volume":"17","author":"Krishnan","year":"2020","journal-title":"J. Aerosp. Inf. Syst."},{"key":"ref_146","unstructured":"Ponomarenko, A.A., Garanina, N.O., Staroletov, S.M., and Zyubin, V.E. (July, January 30). Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software. Proceedings of the IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), Souzga, Russia."},{"key":"ref_147","unstructured":"Comini, M., Gallardo, M.M., and Villanueva, A. (2021). A denotational semantics for PROMELA addressing arbitrary jumps. arXiv."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/21\/7276\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:24:18Z","timestamp":1760167458000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/21\/7276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,1]]},"references-count":147,"journal-issue":{"issue":"21","published-online":{"date-parts":[[2021,11]]}},"alternative-id":["s21217276"],"URL":"https:\/\/doi.org\/10.3390\/s21217276","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,1]]}}}