Spécification d'un protocole de communication

La surveillance d¿entrepôts de produits 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, ce livre 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. Ce document 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.