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
Résumé: À 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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
