Skip to Main content Skip to Navigation
Conference papers

Modeling Self-Adaptive Fog Systems Using Bigraphs

Hamza Sahli 1 Thomas Ledoux 2, 1 Éric Rutten 3
1 STACK - Software Stack for Massively Geo-Distributed Infrastructures
LS2N - Laboratoire des Sciences du Numérique de Nantes, Inria Rennes – Bretagne Atlantique
3 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble [2007-2015]
Abstract : Fog systems are a recent trend of distributed computing having vastly ubiquitous architectures and distinct requirements making their design difficult and complex. Fog computing is based on an idea that consists of leveraging both resource-scarce computing nodes around the Edge to perform latency and delay sensitive tasks and Cloud servers for the more intensive computation. A convenient way to address the challenge of designing Fog systems is through the use of formal = methods, which provide the needed precision and high-level assurance for their speci cation through formal veri cation. In this paper, we present a novel formal model de ning spatial and structural aspects of Fog-based systems using Bigraphical Reactive Systems, a fully graphical process algebraic formalism. The model is extended with reaction rules to rep- resent the dynamic behavior of Fog systems in terms of self-adaptation. The notion of bigraph patterns is used in conjunction with boolean and temporal operators to encode spatio-temporal properties inherent to Fog systems and applications. The feasibility of the modelling approach is demonstrated via a motivating case study and variou self-adaptation scenarios.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-02271394
Contributor : Hamza Sahli <>
Submitted on : Monday, August 26, 2019 - 5:37:53 PM
Last modification on : Thursday, July 9, 2020 - 9:44:53 AM
Document(s) archivé(s) le : Friday, January 10, 2020 - 5:41:19 PM

File

paper-7.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02271394, version 1

Citation

Hamza Sahli, Thomas Ledoux, Éric Rutten. Modeling Self-Adaptive Fog Systems Using Bigraphs. FOCLASA 2019 - 17th International Workshop on coordination and Self-Adaptativeness of Sotware applications, Sep 2019, Oslo, Norway. pp.1-16. ⟨hal-02271394⟩

Share

Metrics

Record views

265

Files downloads

713