Modélisation algébrique et évaluation de performances des mécanismes de gestion de la qualité de service dans les réseaux Ad hoc

par Osman Salem

Thèse de doctorat en Informatique

Sous la direction de Abdelmalek Benzekri.

Soutenue en 2006

à Toulouse 3 .

  • Titre traduit

    Algebraic modelling and performances analysis of quality of service of management mechanisms in Ad hoc networks


  • Pas de résumé disponible.


  • Résumé

    Les chaînes de Markov sont souvent utilisées pour l’analyse des performances des systèmes dans de nombreux domaines, et elles sont souvent obtenues par le biais d’un formalisme de modélisation de haut niveau. Parmi les formalismes couramment utilisés, on se place dans le cadre des algèbres de processus stochastiques. La restriction de la description temporelle aux distributions sans mémoire limite les domaines d’applications des algèbres de processus stochastiques, et laisse beaucoup de questions sur l’exactitude des valeurs des performances, obtenues par l’approximation des fonctions de distributions de délais de toutes les activités d’un système par des distributions Markoviennes. Cette thèse propose des méthodes et des algorithmes visant à optimiser le formalisme afin de pouvoir spécifier et évaluer les performances des modèles proches de la réalité. Les méthodes et les algorithmes développés au cours de cette thèse ont été implémentés, et des exemples numériques sont présentés pour illustrer les apports de cette thèse. Pour cela, nous introduisons tout d’abord le concept des algèbres de processus stochastiques, et les techniques d’analyses et d’agrégation utilisées, ainsi que les nouveautés qu’on peut ramener à ce formalisme. Ensuite, nous nous intéressons aux mécanismes de gestion de la qualité de service dans les réseaux ad hoc, comme nouveau domaine d’application. Après l’identification des questions fondamentales liées aux caractéristiques de ce type de réseaux, nous proposons un nouveau mécanisme de gestion de la qualité de service de bout en bout, puis nous réalisons une modélisation algébrique et des analyses qualitatives et quantitatives sur les diagrammes de transitions sous jacents du modèle algébrique, avant d’utiliser ce dernier pour la construction d’un modèle de simulation. Les analyses quantitatives réalisées sur le modèle de simulation sous différentes conditions, montrent la capacité du modèle proposé à s’adapter au dynamicité des ressources du réseau.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (145 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 133-145

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2006TOU30093
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.