Contribution à la modélisation de produit actif communicant, Spécification et Evaluation d'un protocole de communication orienté sécurité des produits

Résumé : La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en œuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une approche distribuée de sécurité active. Celui-ci permet d'aboutir à un protocole de communication de niveau applicatif à embarquer dans les produits actifs. Ce protocole est évalué de façon formelle en utilisant les Réseaux de Petri colorés hiérarchiques. Finalement, ce protocole est implémenté dans le simulateur Castalia/Omnet++ pour l'analyser dans plusieurs scénarii et aussi pour l'éprouver lors du passage à l'échelle. Les résultats montrent l'intérêt et la faisabilité du concept de produit actif.
Type de document :
Thèse
Informatique [cs]. Université Henri Poincaré - Nancy I, 2011. Français
Liste complète des métadonnées

Littérature citée [100 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00594402
Contributeur : Ahmed Zouinkhi <>
Soumis le : jeudi 19 mai 2011 - 23:37:00
Dernière modification le : jeudi 19 mai 2016 - 01:03:57
Document(s) archivé(s) le : jeudi 30 mars 2017 - 10:38:35

Identifiants

  • HAL Id : tel-00594402, version 1

Collections

Citation

Ahmed Zouinkhi. Contribution à la modélisation de produit actif communicant, Spécification et Evaluation d'un protocole de communication orienté sécurité des produits. Informatique [cs]. Université Henri Poincaré - Nancy I, 2011. Français. 〈tel-00594402〉

Partager

Métriques

Consultations de
la notice

207

Téléchargements du document

667