Vérification comportementale des systèmes de l'internet des objets par les réseaux de Pétri : Etude de cas systéme intelligent eau potable
No Thumbnail Available
Files
Date
2024
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
À travers ce thème nous essaierons d’utiliser les réseaux de Pétri dans une spécification UML
pour une vérification Comportementale des systèmes de l’internet des objets. Dans ce cas, le résultat
permet à la dynamique du réseau de Pétri d’évaluer la présence d’impasses (Dead ends),
de pics suspendus (hanging peaks), de cycles sans fin (Endless cycles), de propriétés de sécurité
et de vivacité (Safety and Liveliness), et, si nécessaire, de reconcevoir la spécification. L’utilisation
intégrée combinée de la vérification automatique et fonctionnelle d’une spécification d’un système
à base d’UML et les modèles projetés des réseaux de Pétri permet de réduire le temps de
conception des systèmes de l’Internet des objets en éliminant en temps opportun les erreurs de
spécification et de conception.