Vérification et validation formelles pour l'Internet des objets - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Vérification et validation formelles pour l'Internet des objets

Résumé

L'Internet des objets (IdO) a ouvert une nouvelle ère de dispositifs et de systèmes connectés, avec des applications allant des soins de santé au transport. Cependant, la fiabilité et la sécurité de ces systèmes sont des préoccupations critiques qui doivent être abordées pour garantir leur fonctionnement sûr et efficace. Ce document présente une enquête approfondie sur les techniques de vérification et de validation formelles (V&V) pour les systèmes IdO, en mettant l'accent sur les défis et les problèmes ouverts dans ce domaine. Dans cette étude, nous explorons en détail les méthodes formelles et les techniques de test utilisées pour garantir la qualité et la robustesse des systèmes IdO. Nous examinons comment ces techniques peuvent être appliquées pour vérifier la conformité des dispositifs IdO aux spécifications et aux exigences fonctionnelles. Nous nous penchons également sur les méthodes de validation qui permettent de s'assurer que les systèmes IdO fonctionnent de manière fiable, sécurisée et efficace dans des scénarios réels. Un défi majeur dans la vérification des systèmes IdO est celui de l'explosion d'état, où le nombre de configurations possibles devient rapidement ingérable pour une vérification exhaustive. Nous analysons les différentes approches et techniques proposées pour surmonter ce défi, telles que l'abstraction, la modélisation formelle et l'utilisation de méthodes de test avancées. Par ailleurs, nous explorons comment l'intelligence artificielle (IA) peut être utilisée dans le domaine de la vérification et de la validation des systèmes IdO. Nous examinons les méthodes d'apprentissage automatique et d'apprentissage profond qui peuvent être appliquées pour améliorer l'efficacité et l'efficience des techniques de test et de vérification. Nous présentons des exemples d'outils et de frameworks qui intègrent l'IA dans le processus de V&V des systèmes IdO. Enfin, nous identifions et discutons des défis et des problèmes en suspens dans le domaine de la V&V pour l'IdO. Nous proposons des orientations futures possibles pour la recherche, notamment en ce qui concerne la modélisation formelle, les techniques de test avancées et l'intégration de l'IA dans les processus de V&V. L'objectif de cette enquête est de fournir une compréhension approfondie des techniques de V&V formelles pour les systèmes IdO, tout en soulignant les zones nécessitant des recherches et des développements supplémentaires. En consolidant les connaissances actuelles et en proposant des perspectives d'avenir, Vérification et validation formelles pour l'Internet des objets cette étude vise à promouvoir des avancées significatives dans le domaine
Fichier principal
Vignette du fichier
Vérification et validation formelles pour l'Internet des objets.pdf (294.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04374915 , version 1 (05-01-2024)

Identifiants

  • HAL Id : hal-04374915 , version 1

Citer

Moez Krichen. Vérification et validation formelles pour l'Internet des objets. 2024. ⟨hal-04374915⟩
42 Consultations
49 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More