Spécification d un protocole de communication [French]

By Ahmed Zouinkhi and Zouinkhi-A

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 oeuvre 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.

• Format: Paperback
• Language: French
• ISBN: 3841792170
• ISBN13: 9783841792174
• Release Date: March 2012
• Publisher: Univ Europeenne
• Length: 200 Pages
• Weight: 0.66 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"