Structure d’un réseau TTEthernet

Table des matières

INTRODUCTION
CHAPITRE 1 TTETHERNET ET OUTILS DE SIMULATION 
1.1 Introduction
1.2 Introduction à TTEthernet
1.2.1 Structure d’un réseau TTEthernet
1.2.2 Les protocoles de TTEthernet
1.3 Environnement de simulation OMNeT++
1.3.1 Introduction à OMNeT++
1.3.2 Structure d’un modèle OMNeT++
1.3.3 Le langage de description de réseau (NED)
1.3.4 Programmation des modules simples
1.3.5 Bibliothèques
1.3.5.1 Bibliothèques de modèles
1.3.5.2 La bibliothèque de simulation
1.3.6 Architecture interne
1.4 Comparaison avec OPNET et NS
1.5 Yices
1.5.1 Architecture
1.5.2 Les solveurs
1.5.3 Utilisation de Yices
1.6 Conclusion
CHAPITRE 2 TTETHERNET : PRINCIPES ET REVUE DE LITTÉRATURE 
2.1 Introduction
2.2 Gestion de trafics TTEthernet
2.2.1 Les différents types de trafic
2.2.1.1 Trafic Time-Triggered (TT)
2.2.1.2 Trafic Rate Constrained (RC)
2.2.1.3 Trafic Best-Effort (BE)
2.2.2 Méthodes d’intégration de trafics
2.2.2.1 Préemption
2.2.2.2 Blocage en temps opportun (Timely Block)
2.2.2.3 Brassage
2.2.3 Discussion
2.3 Algorithmes de synchronisation et tolérance aux fautes
2.3.1 Synchronisation d’horloges
2.3.1.1 La fonction de permanence
2.3.1.2 La fonction de convergence à deux étapes
2.3.1.3 Protocole Startup/Restart
2.3.2 Tolérance aux fautes
2.3.2.1 Le modèle Central Gardian
2.3.2.2 Le modèle High-Integrity
2.3.3 Discussion
2.4 Les différents modèles de simulation de TTEthernet
2.4.1 Modèle de CoRE4INET
2.4.1.1 Concepts et modèles
2.4.1.2 Implémentation
2.4.2 Modèle TTEthernet pour OPNET
2.4.2.1 Modèle du terminal TTEthernet
2.4.2.2 Modèle du commutateur TTEthernet
2.4.2.3 Blocs d’injection de fautes
2.4.3 Discussion
2.5 Programmation par contraintes et planification globale de tâches dans un réseau TTEthernet
2.5.1 Programmation par contraintes
2.5.1.1 Le réseau de contraintes
2.5.1.2 Les algorithmes de filtrage
2.5.1.3 Mécanisme de propagation
2.5.1.4 Modélisation et mécanisme de recherche de solutions
2.5.1.5 Optimisation d’un problème de satisfaction de contraintes
2.5.2 Planification globale de tâches dans un réseau TTEthernet
2.5.2.1 Présentation du problème
2.5.2.2 Concepts et notions de bases
2.5.2.3 Spécification formelle des contraintes de planification TTEthernet
2.5.3 Discussion
2.6 Conclusion
CHAPITRE 3 RÉALISATION D’UN MODÈLE DE SIMULATION TTETHERNET 
3.1 Introduction
3.2 Réalisation des blocs fonctionnels du modèle TTEthernet
3.2.1 Exigences temps réel
3.2.2 Réalisation de la topologie
3.2.3 Modèle d’horloge
3.2.4 Modèle du commutateur
3.2.5 Modèle du terminal
3.3 Élaboration d’un plan de transmission global pour les trames TT
3.3.1 Identification des besoins de la simulation en termes de planification
3.3.2 Adaptation de la planification des tâches pour la simulation
3.3.2.1 Détermination de la limite temporelle des instants d’envoi
3.3.2.2 Adaptation de la contrainte de non-conflits
3.3.2.3 Autres contraintes
3.3.2.4 Génération des résultats
3.4 Conclusion
CHAPITRE 4 EXPÉRIMENTATION ET RÉSULTATS 
4.1 Introduction
4.2 Environnement de travail
4.3 Validation du comportement du système
4.3.1 Gestion de flux
4.3.1.1 Configuration et méthodologie
4.3.1.2 Résultat
4.3.2 Distribution de flux
4.3.2.1 Configuration et méthodologie
4.3.2.2 Résultat
4.3.3 Correction de l’horloge
4.4 Etude de cas : Impact de l’agencement des périodes d’envoi des trames TT sur la transmission de l’ensemble des trafics TTEthernet.
4.4.1 Configuration et méthodologie
4.4.2 Premier cas d’utilisation : Agencement contigu des send_pits
4.4.3 Deuxième cas d’utilisation: Agencement distribué des send_pits
4.4.4 Discussion des résultats
4.5 Limites et perspectives
4.6 Conclusion
CONCLUSION