A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications - l'unam - université nantes angers le mans
Conference Papers Year : 2024

A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications

Abstract

IoT-Cloud environments are being increasingly adopted for the deployment of applications and particularly resource-oriented ones. However, ensuring correct communications during the execution of IoT applications is not guaranteed. In fact, a substantial class of applications is intended to run on constrained IoT networks. Moreover, IoT devices exchange the data derived from various Cloud providers and in accordance with different protocols. In this paper, we propose a formal approach to model and verify the applications deployed over IoT-Cloud environments. The proposed model encompasses four verification levels: the Structural, Functional, Operational and Behavioral levels. Therefore, we opted for the Event-B formal method that allows gradual problems decomposition by relying on its refinement capabilities. The proposed approach has proven its efficiency for the modeling and the verification of IoT applications. We applied mathematical proof-based method to verify the model since it provides rigorous reasoning. We also employed the ProB animator to proceed in the validation of the model.

Fichier principal
Vignette du fichier
A_Formal_Modeling_and_Verification_Approach_for_IoT-Cloud_Resource-Oriented_Applications.pdf (550.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04775142 , version 1 (09-11-2024)

Licence

Identifiers

Cite

Yasmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek. A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. CCGrid 2024 - IEEE 24th International Symposium on Cluster, Cloud and Internet Computing, May 2024, Philadelphia, United States. pp.347-356, ⟨10.1109/CCGrid59990.2024.00047⟩. ⟨hal-04775142⟩
0 View
0 Download

Altmetric

Share

More