Cargando…

Modeling an Edge Computing Arithmetic Framework for IoT Environments

IoT environments are forecasted to grow exponentially in the coming years thanks to the recent advances in both edge computing and artificial intelligence. In this paper, a model of remote computing scheme is presented, where three layers of computing nodes are put in place in order to optimize the...

Descripción completa

Detalles Bibliográficos
Autores principales: Roig, Pedro Juan, Alcaraz, Salvador, Gilly, Katja, Bernad, Cristina, Juiz, Carlos
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8839237/
https://www.ncbi.nlm.nih.gov/pubmed/35161828
http://dx.doi.org/10.3390/s22031084
_version_ 1784650321246552064
author Roig, Pedro Juan
Alcaraz, Salvador
Gilly, Katja
Bernad, Cristina
Juiz, Carlos
author_facet Roig, Pedro Juan
Alcaraz, Salvador
Gilly, Katja
Bernad, Cristina
Juiz, Carlos
author_sort Roig, Pedro Juan
collection PubMed
description IoT environments are forecasted to grow exponentially in the coming years thanks to the recent advances in both edge computing and artificial intelligence. In this paper, a model of remote computing scheme is presented, where three layers of computing nodes are put in place in order to optimize the computing and forwarding tasks. In this sense, a generic layout has been designed so as to easily achieve communications among the diverse layers by means of simple arithmetic operations, which may result in saving resources in all nodes involved. Traffic forwarding is undertaken by means of forwarding tables within network devices, which need to be searched upon in order to find the proper destination, and that process may be resource-consuming as the number of entries in such tables grow. However, the arithmetic framework proposed may speed up the traffic forwarding decisions as relaying on integer divisions and modular arithmetic, which may result more straightforward. Furthermore, two diverse approaches have been proposed to formally describe such a design by means of coding with Spin/Promela, or otherwise, by using an algebraic approach with Algebra of Communicating Processes (ACP), resulting in a explosion state for the former and a specified and verified model in the latter.
format Online
Article
Text
id pubmed-8839237
institution National Center for Biotechnology Information
language English
publishDate 2022
publisher MDPI
record_format MEDLINE/PubMed
spelling pubmed-88392372022-02-13 Modeling an Edge Computing Arithmetic Framework for IoT Environments Roig, Pedro Juan Alcaraz, Salvador Gilly, Katja Bernad, Cristina Juiz, Carlos Sensors (Basel) Article IoT environments are forecasted to grow exponentially in the coming years thanks to the recent advances in both edge computing and artificial intelligence. In this paper, a model of remote computing scheme is presented, where three layers of computing nodes are put in place in order to optimize the computing and forwarding tasks. In this sense, a generic layout has been designed so as to easily achieve communications among the diverse layers by means of simple arithmetic operations, which may result in saving resources in all nodes involved. Traffic forwarding is undertaken by means of forwarding tables within network devices, which need to be searched upon in order to find the proper destination, and that process may be resource-consuming as the number of entries in such tables grow. However, the arithmetic framework proposed may speed up the traffic forwarding decisions as relaying on integer divisions and modular arithmetic, which may result more straightforward. Furthermore, two diverse approaches have been proposed to formally describe such a design by means of coding with Spin/Promela, or otherwise, by using an algebraic approach with Algebra of Communicating Processes (ACP), resulting in a explosion state for the former and a specified and verified model in the latter. MDPI 2022-01-30 /pmc/articles/PMC8839237/ /pubmed/35161828 http://dx.doi.org/10.3390/s22031084 Text en © 2022 by the authors. https://creativecommons.org/licenses/by/4.0/Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).
spellingShingle Article
Roig, Pedro Juan
Alcaraz, Salvador
Gilly, Katja
Bernad, Cristina
Juiz, Carlos
Modeling an Edge Computing Arithmetic Framework for IoT Environments
title Modeling an Edge Computing Arithmetic Framework for IoT Environments
title_full Modeling an Edge Computing Arithmetic Framework for IoT Environments
title_fullStr Modeling an Edge Computing Arithmetic Framework for IoT Environments
title_full_unstemmed Modeling an Edge Computing Arithmetic Framework for IoT Environments
title_short Modeling an Edge Computing Arithmetic Framework for IoT Environments
title_sort modeling an edge computing arithmetic framework for iot environments
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8839237/
https://www.ncbi.nlm.nih.gov/pubmed/35161828
http://dx.doi.org/10.3390/s22031084
work_keys_str_mv AT roigpedrojuan modelinganedgecomputingarithmeticframeworkforiotenvironments
AT alcarazsalvador modelinganedgecomputingarithmeticframeworkforiotenvironments
AT gillykatja modelinganedgecomputingarithmeticframeworkforiotenvironments
AT bernadcristina modelinganedgecomputingarithmeticframeworkforiotenvironments
AT juizcarlos modelinganedgecomputingarithmeticframeworkforiotenvironments