Chapitre D'ouvrage Année : 2025

Local Model Checking on an IoT Based System: Use Case of Cellular M2M in Agriculture

Résumé

Our method of limiting the verification of a linear temporal logic (LTL) property of a modular system to the pertinent modules is improved in this study. Given a modular Petri net and a property pertaining to a single module, the model verification is performed by looking simply at an abstract graph, known as the meta-graph, which is supplemented with some global information and describes the behaviors of the module. Reduced Distributed State Space (RDSS), a distributed state space version of the studied modular system, eliminates the need to examine graphs of unrelated modules for the property. In this work, the state space is built only once. The response time for local model verification is greatly reduced as we can now examine a set of properties for every module in a single request. Following that, we examine whether our methodology may be applied in the quickly growing field of "machine-to-machine (M2M) technology." We specifically look at a use case in agriculture that involves cellular M2M. The modular design of this system makes it possible to construct its RDSS and then apply local model checking to verify the properties of each module.

Fichier principal
Vignette du fichier
AINA-39th_KhlifaLocal-Model-checking-xxx-Agriculture_April-2025_v-preliminaire.pdf (558.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05069109 , version 1 (15-05-2025)

Licence

Identifiants

Citer

Sawsen Khlifa, Chiheb Ameur Abid, Asman Ben Letaifa, Belhassen Zouari. Local Model Checking on an IoT Based System: Use Case of Cellular M2M in Agriculture. Advanced Information Networking and Applications, 249, Springer Nature Switzerland, pp.356-367, 2025, Lecture Notes on Data Engineering and Communications Technologies, 978-3-031-87775-9. ⟨10.1007/978-3-031-87775-9_30⟩. ⟨hal-05069109⟩

Collections

57 Consultations
93 Téléchargements

Altmetric

Partager

  • More