Projet MISTRAL

Modélisation en informatique et systèmes de télécommunications

Rapport d'activité 1995

Page WWW du projet

Localisation : Sophia-Antipolis

Mots clefs : modélisation, système à événements discrets, réseau de file d'attente, réseau de Petri, système informatique, système de télécommunication, protocole de communication, parallélisme, ordonnancement, processus stochastique, simulation

• Table des matières
• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Analyse de réseaux de communication
    • Réseaux à hauts débits
      • Analyse des pertes de messages dans les réseaux
      • Etude des délais de transmission de messages
      • Analyse des réseaux locaux
      • Modélisation et évaluation de performances du protocole TCP/IP.
    • Modèles macroscopiques de réseaux de communication
      • Optimisation d'architecture de réseaux
      • Modèles de communications mobiles
      • Processus ponctuels et géométrie stochastique.
      • Simulateur pour l'architecture de réseaux
    • Analyse du trafic du Web
    • Qualité de service et contrôle de flux
      • Analyse de nouveaux critères pour la qualité de service
      • Bornes exponentielles pour les systèmes -linéaires
      • Bornes pour le multiplexage de sources markoviennes fluides.
      • Contrôle d'admission avec multiples garanties statistiques de QS.
      • Impact du leaky-bucket.
      • Contrôle de congestion.
      • Contrôle de débit dans les réseaux ATM
      • Problèmes de retard d'information dans les réseaux
      • Analyse des politiques à seuil
  • Modélisation et ordonnancement d'applications parallèles
    • Evaluation de performances
      • Modèle de Qmips
      • Automates (max,+).
      • Performance de systèmes parallèles.
    • Ordonnancement multiprocesseurs
      • Ordonnancement optimal sous contraintes de communication.
      • Performance des heuristiques d'ordonnancement.
  • Analyse et contrôle de systèmes à événements discrets
    • Algèbre (max,+)
      • Stabilité
      • Représentation minimale des récurrences uniformes
      • Graphes d'événements avec des entrées de Poisson
      • Réseaux à choix libres
    • Processus de décision markoviens et théorie des jeux
      • La théorie du contrôle sous contraintes.
      • Contrôle de SMDP.
      • Applications des jeux stochastique pour le contrôle des réseaux.
  • Outils logiciels pour la simulation et l'évaluation des performances
    • Outils d'analyse de systèmes à événements discrets
    • Simulateur pour l'architecture des réseaux de communication
• Actions industrielles
  • Coopération avec le CNET-Issy
  • Coopération avec le CNET-Sophia
  • Coopération avec EDF
• Actions nationales et internationales
  • Actions nationales
    • AQSI
    • PRS
  • Actions Européennes
    • QMIPS
    • PEPS
    • Projet INTAS
    • Projet PROCOPE
  • Organisation de séminaires
  • Visiteurs de courte durée
  • Visiteur de longue durée
• Diffusion des résultats
  • Formation
    • Enseignement universitaire
    • Thèses
    • Stages
  • Conférences
    • Conférences invitées, séminaires
    • Présentations à des conférences
    • Participations à des comités de lecture
• Références
• Abstract