Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments

Multi-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more e...

Full description

Bibliographic Details
Main Authors: Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Cristina Bernad, Carlos Juiz
Format: Article
Language:English
Published: MDPI AG 2022-01-01
Series:Sensors
Subjects:
Online Access:https://www.mdpi.com/1424-8220/22/2/421
_version_ 1797490597167104000
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 Multi-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more efficient performance. In this paper, an arithmetic framework based in a layered approach has been proposed in order to optimize the packet forwarding actions, such as routing and switching, in generic edge computing environments by taking advantage of the properties of integer division and modular arithmetic, thus simplifying the search of the proper next hop to reach the desired destination into simple arithmetic operations, as opposed to having to look into the routing or switching tables. In this sense, the different type of communications within a generic edge computing environment are first studied, and afterwards, three diverse case scenarios have been described according to the arithmetic framework proposed, where all of them have been further verified by using arithmetic means with the help of applying theorems, as well as algebraic means, with the help of searching for behavioral equivalences.
first_indexed 2024-03-10T00:35:16Z
format Article
id doaj.art-4cec051399a84a8794a898b1935cfaff
institution Directory Open Access Journal
issn 1424-8220
language English
last_indexed 2024-03-10T00:35:16Z
publishDate 2022-01-01
publisher MDPI AG
record_format Article
series Sensors
spelling doaj.art-4cec051399a84a8794a898b1935cfaff2023-11-23T15:18:20ZengMDPI AGSensors1424-82202022-01-0122242110.3390/s22020421Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing 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, SpainMulti-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more efficient performance. In this paper, an arithmetic framework based in a layered approach has been proposed in order to optimize the packet forwarding actions, such as routing and switching, in generic edge computing environments by taking advantage of the properties of integer division and modular arithmetic, thus simplifying the search of the proper next hop to reach the desired destination into simple arithmetic operations, as opposed to having to look into the routing or switching tables. In this sense, the different type of communications within a generic edge computing environment are first studied, and afterwards, three diverse case scenarios have been described according to the arithmetic framework proposed, where all of them have been further verified by using arithmetic means with the help of applying theorems, as well as algebraic means, with the help of searching for behavioral equivalences.https://www.mdpi.com/1424-8220/22/2/421edge computingfog computingformal modelingACPIoT
spellingShingle Pedro Juan Roig
Salvador Alcaraz
Katja Gilly
Cristina Bernad
Carlos Juiz
Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
Sensors
edge computing
fog computing
formal modeling
ACP
IoT
title Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
title_full Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
title_fullStr Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
title_full_unstemmed Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
title_short Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
title_sort arithmetic framework to optimize packet forwarding among end devices in generic edge computing environments
topic edge computing
fog computing
formal modeling
ACP
IoT
url https://www.mdpi.com/1424-8220/22/2/421
work_keys_str_mv AT pedrojuanroig arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments
AT salvadoralcaraz arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments
AT katjagilly arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments
AT cristinabernad arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments
AT carlosjuiz arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments