Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits, Contribution to the modeling of active product : specification and Evaluation of a communication protocol oriented products security

Ahmed Zouinkhi

Description

Sous la direction de Eric Rondeau, Mohamed Naceur Abdelkrim
Thèse soutenue le 07 avril 2011: École nationale d'ingénieurs de Gabès (Tunisie), Nancy 1
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 oeuvre 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
-Produit actif
-Réseaux de Petri
-Sécurité active
-Coopération
-Réseaux de capteurs sans fil
-Simulation
Monitoring of chemical product storage is a delicate operation in the sense that it requires knowledge of the nature of each stored product, their location, their interaction and possible actions to be implemented in case of emergency. To facilitate the storage management, this thesis proposes to use the concept of ambient where the product has its own information system and wireless communication so as to make it intelligent and autonomous. This thesis proposes and develops a model of internal behavior of active product that allows a distributed approach of active security. This can lead to a communication protocol of application level to embed the active products. This protocol is formally assessed using hierarchical colored Petri nets. Finally, this protocol is implemented in the simulator Castalia/Omnet++ to analyze it in several scenarios and also for the experience when going to scale. The results show the usefulness and feasibility of the concept of active product
-Active product
-Petri Nets
-Active Security
-Cooperation
-Wireless Sensor Network
-Simulation
Source: http://www.theses.fr/2011NAN10010/document

Sujets

• Réseau de Petri
• Sécurité active
• Coopération

Informations

• Publié par: Thesee
• Nombre de lectures: 158
• Langue: Français
• Poids de l'ouvrage: 3 Mo

Extrait

AVERTISSEMENT

Ce document est le fruit d'un long travail approuvé par le
jury de soutenance et mis à disposition de l'ensemble de la
communauté universitaire élargie.

Il est soumis à la propriété intellectuelle de l'auteur. Ceci
implique une obligation de citation et de référencement lors
de l’utilisation de ce document.

D’autre part, toute contrefaçon, plagiat, reproduction
illicite encourt une poursuite pénale.


➢ Contact SCD Nancy 1 : [e-mail]




LIENS


Code de la Propriété Intellectuelle. articles L 122. 4
Code de la Propriété Intellectuelle. articles L 335.2- L 335.10
http://www.cfcopies.com/V2/leg/leg_droi.php
http://www.culture.gouv.fr/culture/infos-pratiques/droits/protection.htm 

 

U.F.R. Sciences et Techniques Mathématiques, Informatique et Automatique
École Doctorale IAEM Lorraine
Département de Formation Doctorale Automatique
École Doctorale SIS, Université de Gabès

 

Présentée pour l’obtention du titre de

DoDoDocccttteeeuuurrr dddeee lll’’’UUUnnniiivvveeerrrsisisitttééé HHHeeennnrrriii PPPoooiiinnncccaaarrrééé,,, NaNaNannncccyyy III
Spécialité Automatique, Traitement du Signal et Génie Informatique

Et

DDDocococteteteuuurrr dddeee lll’Éc’Éc’Écolololeee NNNatiatiationononalalaleee ddd’’’IIInnngégégénnniiieeeuuurrrsss dddeee GGGabababèèèsss
Spécialité Génie Electrique


Par

Ahmed ZOUINKHI



 



Soutenue le 7 Avril 2011, devant le jury composé de :


M. Ridha BEN ABDENNOUR Professeur à l’Université de Gabès Président
M. Mohamed CHTOUROU Professeur à l’Université de Sfax Rapporteur
Maître de Conférences à l’Université M. David ANDREU Rapporteur
Montpellier 2
M. Eddy BAJIC Professeur à l’UHP, Nancy Membre
M. Eric RONDEAU Professeur à l’UHP, Nancy Directeur de Thèse
M. MoMohhaammeded NNaaceuceur r AABBDDEELLKKRRIIMM Professeur à l’Université de Gabès Directeur de Thèse
Centre de Recherche en Automatique de Nancy Unité de recherche MACS

 





































 








Les travaux présentés dans cette thèse ont été effectués en cotutelle au sein de l’Unité de
Recherche Modélisation, Analyse et Commande des Systèmes, MACS de l’Ecole Nationale
d’Ingénieurs de Gabès, Tunisie, sous la direction de Monsieur Mohamed Naceur
ABDELKRIM et au Centre de Recherche en Automatique de Nancy, CRAN, France, sous la
direction de Monsieur Eric RONDEAU. Avant de présenter ces travaux, je tiens à remercier
tous ceux et celles qui ont participé à l’élaboration et à la réussite de ma thèse.
Je tiens à remercier particulièrement mes directeurs de thèse Monsieur Eric RONDEAU,
Professeur à l’université Henri Poincaré, Nancy et Monsieur Mohamed Naceur
ABDELKRIM, Professeur à l’Ecole Nationale d’Ingénieurs de Gabès pour leur aide
inestimable, leur patience et leurs encouragements tout au long de ce travail. Leurs
compétences ont été un atout indéniable à la réussite de ces travaux.
Mes remerciements les plus sincères vont à mon codirecteur de thèse Monsieur Eddy BAJIC,
Professeur à l’université Henri Poincaré, pour ses directives scientifiques, pédagogiques et
même personnelles pour les quelles je lui suis hautement redevable. Ses compétences ont été
un atout indéniable à la réussite de ces travaux. De même, je lui suis extrêmement
reconnaissant pour son soutien humain et moral et son aide précieuse durant ces années de
thèse.
J’adresse mes plus vifs remerciements à Monsieur Mohamed CHTOUROU, professeur à
l’Ecole Nationale d’Ingénieurs de Sfax et à Monsieur David ANDREU, Maitre de
conférences à l’Université Montpellier 2, pour m’avoir fait l’honneur d’étudier mes travaux
de thèse et de les avoir cautionnés en qualités de rapporteurs.
Je remercie également Monsieur Ridha BEN ABDENNOUR, Professeur à l’Ecole Nationale
d’Ingénieurs de Gabès de m’avoir fait l’honneur de présider mon jury de thèse.
Je remercie l’ensemble des membres du CRAN pour les fructueuses discutions que j’ai pu
avoir avec eux, pour leurs conseils et leur soutien.
Ces années de thèse se sont enrichies de fructueux échanges avec mes collègues de l’unité
dans une ambiance propice à la récréation autant qu’à la réflexion scientifique. J’exprime ma
profonde gratitude envers eux pour leur sympathie et l’ambiance cordiale qu’ils ont su faire
régner au sein de l’équipe.





Introduction Générale .............................................................................................................. 1

CHAPITRE I :
Etat de l’art sur l’intelligence ambiante : concepts, objets et communication des
systèmes ambiants

I. Introduction ............................................................................................................................. 6
II. Etat de l’art sur l’intelligence ambiante .............................. 6
II.1. Introduction .............................................................. 6
II.2. Caractéristiques de l’Intelligence ambiante ................................................................ 6 I.3 Ubiquitous Computing ............................ 8
II.4 Pervasive computing ......12 I.5 Les ystèmes distribués .....14
II.5.1. Problématiques de distribution dans les systèmes distribués ............................. 14
II.5.2. Les principales caractéristiques d’un système distribué .................................... 15
II.6. Conclusion ........................................................................................................................ 16
III. Communication pour les systèmes ambiants .................. 16
II.1 Réseaux de capteurs ans fils ....................... 16
III.1.1. Architecture d'un nœud de capteur ................................................................... 18
III.1.2. Architecture de communication .................... 19
IV. Objets communicants ...................................................... 26
IV.1 Concept d’objet comunicant .................. 26 V.2 Le concept de Produit Inteligent .................. 28
V. Les projets de recherche majeurs dans les domaines de l’intelligence ambiante ................ 31
V.1. OXYGEN .................................................................................................................. 32 .2. MediaCup ............................................................... 32
V.3 AITPL ....................................... 33 .4 MemoClip ................................... 34
V.5 Smart-Is ....................................... 34 .6 DigClip ......................................................................................... 35
V.7. eSeal ....................................................................... 35 .8 Wisden ..........36
V.9 WASP ...................................... 36 .10. Cobis ........................................ 37
V.1. Aplications Urbaines ............................................................................. 37 .12. Applications robotiques ....................................... 40
V.13. Aplications Navles .......................... 40
VI. Problématique du sujet de recherche............................... 41
VII. Sécurité active pour la gestion des produits chimiques dangereux .................................. 44
VIII. Conclusion ....................................................................................................................... 46






CHAPITRE II :
Spécification du produit actif communicant et de ses services associés

I. Introduction ........................................................................................................................... 48
I.1. Concept de Produit actif .......................................... 48
II. Problèmes de la gestion de la sécurité .