Formal Algebraic Specification of an IoT/Fog Data Centre for Fat Tree or Leaf and Spine architectures

Date Issued
2020-06-12
Author(s)
Juan Roig, Pedro
Alcaraz, Salvador
Gilly, Katja
Aknin, Noura
Abstract
Fog computing is an evolution of cloud
computing paradigm, whose key point is the location of
computing resources at the edge of the network. Data center
facilities at the fog level are smaller than those at the cloud
level, but nevertheless, they may share similar topologies, such
as fat tree or leaf and spine architectures. In this paper, a
formal algebraic specification of an IoT/Fog environment
based on each of both architectures is presented, where users
may be moving around and their associated computing assets
are meant to migrate among hosts in order to follow their
respective users so as to be as close as possible to them.
Subjects

ACP, fog computing, I...

File(s)
Loading...
Thumbnail Image
Name

FormalAlgebraicSpecificationofanIoTFogDataCentreforFatTreeorLeafandSpinearchitectures.pdf

Size

939.97 KB

Format

Adobe PDF

Checksum

(MD5):6476e2ac5f4b1a3c6a93d2c0f68271a1