VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time

Résumé

Fog Computing is a paradigm aiming to decentralize the Cloud by geographically distributing away computation, storage, network resources and related services. It provides several benefits such as reducing the number of bottlenecks, limiting unwanted data movements, etc. However, managing the size, complexity and heterogeneity of Fog systems to be designed, developed, tested, deployed, and maintained, is challenging and can quickly become costly. According to best practices in software engineering, verification tasks could be performed on system design prior to its actual implementation and deployment. Thus, we propose a generic model-based approach for verifying Fog systems at design time. Named VeriFog, this approach is notably based on a customizable Fog Modeling Language (FML). We experimented with our approach in practice by modeling three use cases, from three different application domains, and by considering three main types of non-functional properties to be verified. In direct collaboration with our industrial partner Smile, the approach and underlying language presented in this paper are necessary steps towards a more global model-based support for the complete life cycle of Fog systems.
Fichier principal
Vignette du fichier
SAC2024_VeriFog-paper_AuthorsVersion.pdf (1.14 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04332046 , version 1 (08-12-2023)

Licence

Paternité

Identifiants

Citer

Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Etienne Leclerq, et al.. VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time. The 39th ACM/SIGAPP Symposium on Applied Computing (SAC ’24), Apr 2024, Avila, Spain. ⟨10.1145/3605098.3635973⟩. ⟨hal-04332046⟩
554 Consultations
53 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More