Formal Algebraic Description of a Fog/IoT Computing Environment

Alcaraz, Salvador; Roig, Pedro Juan; Gilly, Katja; Filiposka, Sonja; Aknin, Noura

doi:10.1109/ieeeconf49502.2020.9141602

Cited by 2 publications

(2 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Furthermore, another operator called encapsulation, depicted by ∂ H (), is necessary to carry out model specification, as it allows internal communications through a particular channel, given by c Ω,x −→x ,Ω (d) out of a sending action by an item Ω at the initial end of that channel, stated as x, such as s Ω,x (d) and a reading action by an item Ω at the final end of that channel, spotted as x , such as r Ω ,x (d), which get both cancelled at that stage, so just the communication action prevails. Additionally, an extra operator named abstraction, exhibited by τ I (), is needed to undertake model verification, as it permits internal actions and internal communications to be masked, whilst not affecting the external actions, hence unveiling the external behaviour of the model [61].…”

Section: Modeling With Acpmentioning

confidence: 99%

Modeling an Edge Computing Arithmetic Framework for IoT Environments

Roig

Alcaraz

Gilly

et al. 2022

Sensors

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Modeling With Acpmentioning

confidence: 99%

Modeling an Edge Computing Arithmetic Framework for IoT Environments

Roig

Alcaraz

Gilly

et al. 2022

Sensors

Self Cite

View full text Add to dashboard Cite

show abstract

“…Hence, the processing entity above an edge server is the cloud, which in fact, acts as the only hierarchical entity for edge servers when dealing with offloading or backup processing and storage. Otherwise, in a fog environment, the fog nodes may be located between the edge of the network and the cloud, and in such a case, edge servers will be connected to fog servers, those being the next and higher processing level, which in turn, will be connected to cloud servers, these being the last and highest processing level, staying on top of the hierarchy [141].…”

Section: Acp Modelmentioning

confidence: 99%

Modeling of a Generic Edge Computing Application Design

Roig

Alcaraz

Gilly

et al. 2021

Sensors

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Formal Algebraic Description of a Fog/IoT Computing Environment

Cited by 2 publications

References 27 publications

Modeling an Edge Computing Arithmetic Framework for IoT Environments

Modeling an Edge Computing Arithmetic Framework for IoT Environments

Modeling of a Generic Edge Computing Application Design

Contact Info

Product

Resources

About