University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur BENDJEDDOU, Morchida Fadila |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Modélisation des Réseaux de capteurs dans Real-Time Maude Type de document : texte imprimé Auteurs : BENDJEDDOU, Morchida Fadila ; BOUCHOUL,F, Directeur de thèse Editeur : Setif:UFA Année de publication : 2012 Importance : 1 vol (48f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux de capteurs sans fil,simulation,Real-Time Maude,gestion de topologie,routage Index. décimale : 004 Informatique Résumé : Résumé :
Les réseaux de capteurs sont des systèmes complexes difficiles à concevoir à cause
de leurs multiples contraintes. L’objectif de ce travail est de modéliser un système qui
traite les problèmes de routage et de couverture dans les réseaux de capteurs sans fil. A fin
d’optimiser l’utilisation de l’énergie et le problème de couverture. L’idée du travail est
d'enrichir le code de l’OGDC avec le mécanisme de routage EF-Tree. Le modèle est
simulé et analysé dans Real-time Maude.Note de contenu : Sommaire
Titre
Page
Dédicaces
Remerciements
Sommaire
Liste des Figures et Tableaux
Introduction Général ...................................................................................................................a
Chapitre I : Modélisation et Analyse des Réseaux de Capteurs Sans Fil
Introduction .........................................................................................................................1
1. Les réseaux de capteurs sans fil....................................................................................1
1.1. Architecture d’un noeud capteur et d’un RCSF .............................................1
1.2. Domaine d’Application ...................................................................................2
1.3. Facteurs et problématique des RCSFs .............................................................2
2. Les Algorithmes de gestion de topologie : Etat de l’art ...............................................4
3. Modélisation et Analyse des RCSFs ..............................................................................7
3.1. Simulation des RCSFs ........................................................................................7
3.2. Protocoles de vérification formelle ................................................................9
4. Conclusion.....................................................................................................................11
Chapitre II : La Logique de Réécriture et les langages Maude
et Real-Time Maude
12
Introduction .......................................................................................................................13
1. La Logique de Réécriture ..............................................................................................13
1.1. Principe de réécriture en logique de réécriture.............................................14
1.2. Interprétation pratique des règles de réécriture. ...........................................15
1.3. Théorie des objets concurrents ........................................................................15
2. Le Système MAUDE ......................................................................................................16
2.1. Core Maude et Full Maude ..............................................................................17
3. Les Modules de Maude ..................................................................................................17
3.1. Modules Fonctionnels .....................................................................................18
3.2. Modules Systèmes .............................................................................................19
3.3. Les Modules Orientés Objets ...........................................................................20
4. Real-Time Maude .........................................................................................................23
4.1. Les Modules de Real-Time Maude ..................................................................23
5. Conclusion ....................................................................................................................24
Chapitre III : Intégration du routage dans un Algorithme de gestion de Topologie 25
Introduction .......................................................................................................................26
1. Etude de cas ...................................................................................................................26
1.1. Algorithme de gestion de la densité: OGDC ...................................................27
1.2. Algorithme de routage: EF-Tree ......................................................................30
1.3. Approche totalement intégrée: RDC-Integrated ............................................30
2. Codification avec Real-Time Maude ............................................................................31
2.1. Modélisation de l’emplacement d’un noeud ..................................................31
2.2. Les sortes : statut, et voisinage ........................................................................32
2.3. Domaines de modélisation utilisant des bitmaps ..........................................32
2.4. Définition des Objets du noeud capteur .........................................................34
3. Contribution ..................................................................................................................34
3.1. Le Module EF-Tree ...........................................................................................34
3.2. L’algorithme mor_algo ....................................................................................35
4. Analyse ..........................................................................................................................39
5. Exécution .......................................................................................................................40
5.1. Le modèle de l’OGDC ......................................................................................40
5.2. Le modèle Intégré ............................................................................................43
6. Comparaison des résultats ...........................................................................................46
7. Conclusion ....................................................................................................................46
Conclusion Générale ...................................................................................................................47
Liste des Références Bibliographiques
Annexe A
RésuméCôte titre : MAI/0016 En ligne : https://drive.google.com/file/d/1FMy5FgVgkktWg17it34pZcNDRk6ESwoU/view?usp=shari [...] Format de la ressource électronique : Modélisation des Réseaux de capteurs dans Real-Time Maude [texte imprimé] / BENDJEDDOU, Morchida Fadila ; BOUCHOUL,F, Directeur de thèse . - [S.l.] : Setif:UFA, 2012 . - 1 vol (48f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux de capteurs sans fil,simulation,Real-Time Maude,gestion de topologie,routage Index. décimale : 004 Informatique Résumé : Résumé :
Les réseaux de capteurs sont des systèmes complexes difficiles à concevoir à cause
de leurs multiples contraintes. L’objectif de ce travail est de modéliser un système qui
traite les problèmes de routage et de couverture dans les réseaux de capteurs sans fil. A fin
d’optimiser l’utilisation de l’énergie et le problème de couverture. L’idée du travail est
d'enrichir le code de l’OGDC avec le mécanisme de routage EF-Tree. Le modèle est
simulé et analysé dans Real-time Maude.Note de contenu : Sommaire
Titre
Page
Dédicaces
Remerciements
Sommaire
Liste des Figures et Tableaux
Introduction Général ...................................................................................................................a
Chapitre I : Modélisation et Analyse des Réseaux de Capteurs Sans Fil
Introduction .........................................................................................................................1
1. Les réseaux de capteurs sans fil....................................................................................1
1.1. Architecture d’un noeud capteur et d’un RCSF .............................................1
1.2. Domaine d’Application ...................................................................................2
1.3. Facteurs et problématique des RCSFs .............................................................2
2. Les Algorithmes de gestion de topologie : Etat de l’art ...............................................4
3. Modélisation et Analyse des RCSFs ..............................................................................7
3.1. Simulation des RCSFs ........................................................................................7
3.2. Protocoles de vérification formelle ................................................................9
4. Conclusion.....................................................................................................................11
Chapitre II : La Logique de Réécriture et les langages Maude
et Real-Time Maude
12
Introduction .......................................................................................................................13
1. La Logique de Réécriture ..............................................................................................13
1.1. Principe de réécriture en logique de réécriture.............................................14
1.2. Interprétation pratique des règles de réécriture. ...........................................15
1.3. Théorie des objets concurrents ........................................................................15
2. Le Système MAUDE ......................................................................................................16
2.1. Core Maude et Full Maude ..............................................................................17
3. Les Modules de Maude ..................................................................................................17
3.1. Modules Fonctionnels .....................................................................................18
3.2. Modules Systèmes .............................................................................................19
3.3. Les Modules Orientés Objets ...........................................................................20
4. Real-Time Maude .........................................................................................................23
4.1. Les Modules de Real-Time Maude ..................................................................23
5. Conclusion ....................................................................................................................24
Chapitre III : Intégration du routage dans un Algorithme de gestion de Topologie 25
Introduction .......................................................................................................................26
1. Etude de cas ...................................................................................................................26
1.1. Algorithme de gestion de la densité: OGDC ...................................................27
1.2. Algorithme de routage: EF-Tree ......................................................................30
1.3. Approche totalement intégrée: RDC-Integrated ............................................30
2. Codification avec Real-Time Maude ............................................................................31
2.1. Modélisation de l’emplacement d’un noeud ..................................................31
2.2. Les sortes : statut, et voisinage ........................................................................32
2.3. Domaines de modélisation utilisant des bitmaps ..........................................32
2.4. Définition des Objets du noeud capteur .........................................................34
3. Contribution ..................................................................................................................34
3.1. Le Module EF-Tree ...........................................................................................34
3.2. L’algorithme mor_algo ....................................................................................35
4. Analyse ..........................................................................................................................39
5. Exécution .......................................................................................................................40
5.1. Le modèle de l’OGDC ......................................................................................40
5.2. Le modèle Intégré ............................................................................................43
6. Comparaison des résultats ...........................................................................................46
7. Conclusion ....................................................................................................................46
Conclusion Générale ...................................................................................................................47
Liste des Références Bibliographiques
Annexe A
RésuméCôte titre : MAI/0016 En ligne : https://drive.google.com/file/d/1FMy5FgVgkktWg17it34pZcNDRk6ESwoU/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0016 MAI/0016 Mémoire Bibliothéque des sciences Français Disponible
Disponible
