Analyse de performances des réseaux par la simulation algébrique / KIBOUDJ, Merwa  

Public ISBD Titre : Analyse de performances des réseaux par la simulation algébrique Type de document : texte imprimé Auteurs : KIBOUDJ, Merwa ; BOUCHOUL,F, Directeur de thèse Editeur : Setif:UFA Année de publication : 2012 Importance : 1 vol (62f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : modélisation, simulation,évaluation de performances,files d’attente,logique de réécriture,Maude. Index. décimale : 004 Informatique Résumé : Résumé L'analyse des propriétés des réseaux de communication nécessite souvent le recours à des outils de simulation qui permet l’évaluation des paramètres (indices) de performances du système pour l’améliorer ou valider sa conception. Les réseaux des files d’attente représente le formalisme le plus utilisé dans la modélisation des réseaux de communication. Cependant vu la complexité des réseaux, la vérification formelle semble nécessaire pour prendre en charge certaines propriétés que la simulation ne peut analyser comme la vivacité, l’inter-blocage, l’atteignabilité …etc. Le travail de ce mémoire vise à explorer l’utilisation d’un outil formel pour la simulation des files d’attente a fin de rallier les avantages des deux techniques d’analyse. Notre choix s’est porté sur la logique de réécriture via son langage Maude qui a montré une grande puissance dans la spécification exécutable, la vérification formelle et la simulation algébrique, cette dernière est un axe émergent dans le domaine de l’analyse des systèmes complexes Note de contenu : Sommaire Introduction générale 1 Chapitre 1 : analyse et modélisation et analyse des réseaux informatiques Introduction 1. Notions générales sur la modélisation des systèmes 3 1.1. Définition d’un modèle 3 1.2. L’analyse qualitative et l’analyse quantitative 3 1.3. Outils de la modélisation 3 1.4. Étape d’analyse de performances 4 1.5. Les paramètres de performances d’un réseau 5 2. Files d’attente 5 2.1. Définition des concepts 6 2.2. Notation de Kendall 7 2.3. Caractéristiques d’une file d’attente 8 3. Réseaux de files d’attente 10 3.1. Classification des réseaux de files d’attente 10 3.1.1. RESEAU MONO-CLASSE OUVERT10 3.1.2. RESEAU MONO-CLASSE FERME11 3.1.3. RESEAU MULTI-CLASSE MIXTE11 4. Les différentes approches pour l’évaluation de performances 12 4.1. La technique de mesure 12 4.2. La technique analytique 13 4.3. L’évaluation par simulation 13 4.4. Comparaison des techniques 14 5. Simulation à évènements discrets et les outils de simulation : état de l’art 14 5.1. QNAP(Queuing Network Analysis Package) 15 5.2. SIMSCRIPT II.5 15 5.3. SSJ(Stochastic Simulation in Java) 15 5.4. SLAMSYSTEM(SLAM) 15 5.5. QualNet Developer 15 5.6. NetSim 16 5.7. Open source Network Simulator NS-2 16 5.8. GloMoSim (Global Mobile Simulator) 16 5.9. OMNET++ 16 5.10. P2P Realm 17 5.11. Opnet (Optimized Network Engineering Tool) 17 5.12. AKAROA 17 5.13. GTNetS (Georgia Tech Network Simulator) 17 5.14. MOSEL (Modeling, Specification and Evaluation language) 17 5.15. J-Sim 18 5.16. JiST 18 5.17. Network Simulator NS-3 18 Conclusion 18 Chapitre 2 : La logique de réécriture et le système Maude Introduction 19 1. La logique de réécriture 19 1.1. Définition de base 20 2. Maude 21 2.1. Les modules fonctionnels 22 2.2. Les modules systèmes 22 2.3. Les modules orientés objet 23 2.4. Exécution de Maude 25 2.5. Les caractéristiques de Maude 25 2.5.1. LA SIMULATION ALGEBRIQUE.26 2.5.2. NIVEAU DE SPECIFICATION DES PROPRIETES26 3. Maude real time 26 3.1. Spécification exécutable 27 Conclusion 28 Chapitre 3 : Etude de cas et implémentation Introduction 29 1. Etude de cas 29 Introduction générale 1 Introduction 29 1. Etude de cas 29 1.1. Description de la file M/M/1 30 1.2. La simulation à événement discret 31 1.2.1. CARACTERISTIQUES…31 1.2.2. DESCRIPTION GENERAL DU TRAITEMENT DES EVENEMENTS.31 1.3. Réseau de files d’attente 34 2. Spécification de la simulation de la file M/M/1 avec Maude 35 2.1. La liste des événements 35 2.2. Génération des nombres aléatoires 37 2.3. La loi exponentielle d’intervalle de temps entre deux arrivées 38 2.4. La loi exponentielle de temps de service 38 2.5. La classe nÅ“ud 39 2.6. Les transitions instantanées du système 41 3. Calcul des résultats estimés par la théorie 44 4. Résultats de la simulation 45 5. Les résultats analytiques 46 6. L’analyse des résultats 47 7. Vérification formelle par Model-Checking 49 Conclusion 50 Conclusion générale 51 Bibliographie 52 Annexe A 56 Annexe B 61 Côte titre : MAI/0008 En ligne : https://drive.google.com/file/d/1HfrNXVmiD-FZ2Eaz3CmLXagqHqyMAY68/view?usp=shari [...] Format de la ressource électronique : docx Analyse de performances des réseaux par la simulation algébrique [texte imprimé] / KIBOUDJ, Merwa ; BOUCHOUL,F, Directeur de thèse . - [S.l.] : Setif:UFA, 2012 . - 1 vol (62f.) ; 29 cm. Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : modélisation, simulation,évaluation de performances,files d’attente,logique de réécriture,Maude. Index. décimale : 004 Informatique Résumé : Résumé L'analyse des propriétés des réseaux de communication nécessite souvent le recours à des outils de simulation qui permet l’évaluation des paramètres (indices) de performances du système pour l’améliorer ou valider sa conception. Les réseaux des files d’attente représente le formalisme le plus utilisé dans la modélisation des réseaux de communication. Cependant vu la complexité des réseaux, la vérification formelle semble nécessaire pour prendre en charge certaines propriétés que la simulation ne peut analyser comme la vivacité, l’inter-blocage, l’atteignabilité …etc. Le travail de ce mémoire vise à explorer l’utilisation d’un outil formel pour la simulation des files d’attente a fin de rallier les avantages des deux techniques d’analyse. Notre choix s’est porté sur la logique de réécriture via son langage Maude qui a montré une grande puissance dans la spécification exécutable, la vérification formelle et la simulation algébrique, cette dernière est un axe émergent dans le domaine de l’analyse des systèmes complexes Note de contenu : Sommaire Introduction générale 1 Chapitre 1 : analyse et modélisation et analyse des réseaux informatiques Introduction 1. Notions générales sur la modélisation des systèmes 3 1.1. Définition d’un modèle 3 1.2. L’analyse qualitative et l’analyse quantitative 3 1.3. Outils de la modélisation 3 1.4. Étape d’analyse de performances 4 1.5. Les paramètres de performances d’un réseau 5 2. Files d’attente 5 2.1. Définition des concepts 6 2.2. Notation de Kendall 7 2.3. Caractéristiques d’une file d’attente 8 3. Réseaux de files d’attente 10 3.1. Classification des réseaux de files d’attente 10 3.1.1. RESEAU MONO-CLASSE OUVERT10 3.1.2. RESEAU MONO-CLASSE FERME11 3.1.3. RESEAU MULTI-CLASSE MIXTE11 4. Les différentes approches pour l’évaluation de performances 12 4.1. La technique de mesure 12 4.2. La technique analytique 13 4.3. L’évaluation par simulation 13 4.4. Comparaison des techniques 14 5. Simulation à évènements discrets et les outils de simulation : état de l’art 14 5.1. QNAP(Queuing Network Analysis Package) 15 5.2. SIMSCRIPT II.5 15 5.3. SSJ(Stochastic Simulation in Java) 15 5.4. SLAMSYSTEM(SLAM) 15 5.5. QualNet Developer 15 5.6. NetSim 16 5.7. Open source Network Simulator NS-2 16 5.8. GloMoSim (Global Mobile Simulator) 16 5.9. OMNET++ 16 5.10. P2P Realm 17 5.11. Opnet (Optimized Network Engineering Tool) 17 5.12. AKAROA 17 5.13. GTNetS (Georgia Tech Network Simulator) 17 5.14. MOSEL (Modeling, Specification and Evaluation language) 17 5.15. J-Sim 18 5.16. JiST 18 5.17. Network Simulator NS-3 18 Conclusion 18 Chapitre 2 : La logique de réécriture et le système Maude Introduction 19 1. La logique de réécriture 19 1.1. Définition de base 20 2. Maude 21 2.1. Les modules fonctionnels 22 2.2. Les modules systèmes 22 2.3. Les modules orientés objet 23 2.4. Exécution de Maude 25 2.5. Les caractéristiques de Maude 25 2.5.1. LA SIMULATION ALGEBRIQUE.26 2.5.2. NIVEAU DE SPECIFICATION DES PROPRIETES26 3. Maude real time 26 3.1. Spécification exécutable 27 Conclusion 28 Chapitre 3 : Etude de cas et implémentation Introduction 29 1. Etude de cas 29 Introduction générale 1 Introduction 29 1. Etude de cas 29 1.1. Description de la file M/M/1 30 1.2. La simulation à événement discret 31 1.2.1. CARACTERISTIQUES…31 1.2.2. DESCRIPTION GENERAL DU TRAITEMENT DES EVENEMENTS.31 1.3. Réseau de files d’attente 34 2. Spécification de la simulation de la file M/M/1 avec Maude 35 2.1. La liste des événements 35 2.2. Génération des nombres aléatoires 37 2.3. La loi exponentielle d’intervalle de temps entre deux arrivées 38 2.4. La loi exponentielle de temps de service 38 2.5. La classe nÅ“ud 39 2.6. Les transitions instantanées du système 41 3. Calcul des résultats estimés par la théorie 44 4. Résultats de la simulation 45 5. Les résultats analytiques 46 6. L’analyse des résultats 47 7. Vérification formelle par Model-Checking 49 Conclusion 50 Conclusion générale 51 Bibliographie 52 Annexe A 56 Annexe B 61 Côte titre : MAI/0008 En ligne : https://drive.google.com/file/d/1HfrNXVmiD-FZ2Eaz3CmLXagqHqyMAY68/view?usp=shari [...] Format de la ressource électronique : docx

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAI/0008	MAI/0008	Mémoire	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)