Projet Mistral
Précédent : Composition de l'équipe
Remonter : Projet MISTRAL, Modélisation en Informatique
Suivant : Fondements
scientifiques
La modélisation des systèmes informatiques
et de télécommunications connaît actuellement de nombreux
développements tant du point de vue théorique que de celui des
applications industrielles. Plusieurs formalismes sont utilisés
par le projet : les réseaux de files d'attente, les réseaux
de Petri et la géométrie aléatoire.
Les actions de recherche de 1996-97 ont porté sur :
- la modélisation de systèmes de télécommunications,
notamment dans le cadre de conventions de recherche avec le
CNET,
- la modélisation de systèmes synchronisés, notamment dans le
cadre du projet TMR Alapedes,
- l'élaboration de politiques de contrôle optimal pour ces
systèmes, fondées entre autres sur la théorie des jeux et sur
le calcul d'asymptotiques et de bornes,
- la réalisation d'outils logiciels pour l'évaluation de
performances.