Modeling Self-Adaptive Fog Systems Using Bigraphs
| Autor: | Hamza Sahli, Eric Rutten, Thomas Ledoux |
|---|---|
| Přispěvatelé: | Software Stack for Massively Geo-Distributed Infrastructures (LS2N - équipe STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Control for Autonomic computing systems (CTRL-A ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Software Stack for Massively Geo-Distributed Infrastructures (STACK), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Computer science
Computation Distributed computing Bigraph 020207 software engineering Self adaptive 02 engineering and technology Formal methods ENCODE [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] 020204 information systems 0202 electrical engineering electronic engineering information engineering Algebraic number [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] Formal verification Reactive system |
| Zdroj: | Lecture Notes in Computer Science book series SEFM 2019 : 17th International Conference on Software Engineering and Formal Methods SEFM 2019 : 17th International Conference on Software Engineering and Formal Methods, Sep 2019, Oslo, Norway. pp.252-268, ⟨10.1007/978-3-030-57506-9_19⟩ Software Engineering and Formal Methods ISBN: 9783030575052 SEFM Workshops |
| Popis: | International audience; 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 specication through formal verication. In this paper, we present a novel formal model dening 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-adaptationscenarios. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|