Formal Modeling IoT Systems on the Basis of BiAgents* and Maude - Université de Pau et des Pays de l'Adour Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude

Résumé

The Internet of Things is an emerging worldwide ecosystem in which smart devices interact to build smart homes, smart cities, etc. In such context, plethora of research efforts are oriented to networking and devices; analyzing and formalizing IoT systems are still in their earliest state. In this paper, we propose a BiAgents* (Bigraphical Agents) model to provide a formal description for IoT systems structure and behavior. In addition, we encode the BiAgents* specification into Maude language to enable an autonomic execution of the IoT systems' behaviors. The proposed approach is illustrated and evaluated through an example (an intelligent case of collision avoidance system).

Mots clés

Fichier principal
Vignette du fichier
icaase.pdf (333.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03177450 , version 1 (23-03-2021)
hal-03177450 , version 2 (15-04-2021)

Identifiants

Citer

Souad Marir, Belala Faiza, Hameurlain Nabil. Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩. ⟨hal-03177450v1⟩
101 Consultations
301 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More