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...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2022-01-01
|
| Series: | Sensors |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1424-8220/22/3/1084 |
| _version_ | 1797484709546033152 |
|---|---|
| author | Pedro Juan Roig Salvador Alcaraz Katja Gilly Cristina Bernad Carlos Juiz |
| author_facet | Pedro Juan Roig Salvador Alcaraz Katja Gilly Cristina Bernad Carlos Juiz |
| author_sort | Pedro Juan Roig |
| collection | DOAJ |
| 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. |
| first_indexed | 2024-03-09T23:08:20Z |
| format | Article |
| id | doaj.art-e9ec799a5d6e439ba9259ad87b2d9ed8 |
| institution | Directory Open Access Journal |
| issn | 1424-8220 |
| language | English |
| last_indexed | 2024-03-09T23:08:20Z |
| publishDate | 2022-01-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Sensors |
| spelling | doaj.art-e9ec799a5d6e439ba9259ad87b2d9ed82023-11-23T17:50:13ZengMDPI AGSensors1424-82202022-01-01223108410.3390/s22031084Modeling an Edge Computing Arithmetic Framework for IoT EnvironmentsPedro Juan Roig0Salvador Alcaraz1Katja Gilly2Cristina Bernad3Carlos Juiz4Computer Engineering Department, Miguel Hernández University, 03202 Elche, SpainComputer Engineering Department, Miguel Hernández University, 03202 Elche, SpainComputer Engineering Department, Miguel Hernández University, 03202 Elche, SpainComputer Engineering Department, Miguel Hernández University, 03202 Elche, SpainMathematics and Computer Science Department, University of the Balearic Islands, 07022 Palma de Mallorca, SpainIoT 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.https://www.mdpi.com/1424-8220/22/3/1084edge computingfog computingCNNformal modelingACPPromela |
| spellingShingle | Pedro Juan Roig Salvador Alcaraz Katja Gilly Cristina Bernad Carlos Juiz Modeling an Edge Computing Arithmetic Framework for IoT Environments Sensors edge computing fog computing CNN formal modeling ACP Promela |
| 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 | edge computing fog computing CNN formal modeling ACP Promela |
| url | https://www.mdpi.com/1424-8220/22/3/1084 |
| work_keys_str_mv | AT pedrojuanroig modelinganedgecomputingarithmeticframeworkforiotenvironments AT salvadoralcaraz modelinganedgecomputingarithmeticframeworkforiotenvironments AT katjagilly modelinganedgecomputingarithmeticframeworkforiotenvironments AT cristinabernad modelinganedgecomputingarithmeticframeworkforiotenvironments AT carlosjuiz modelinganedgecomputingarithmeticframeworkforiotenvironments |