Précédent : Composition de l'équipe Remonter : PROJET MISTRAL Suivant : Actions de recherche

Présentation du projet

 

La modélisation des systèmes informatiques et de télécommunication donne actuellement lieu à de nombreux développements de la théorie des systèmes à événements discrets. Deux formalismes sont utilisés par le projet : les réseaux de files d'attente et les réseaux de Petri. Dans le premier formalisme, on décrit le système comme un ensemble de stations de service où les serveurs représentent les ressources logiques ou physiques du système considéré, et où les entités circulant entre les stations représentent les requêtes, messages et programmes partageant ces ressources. Le formalisme des réseaux de Petri permet de représenter de manière fine les phénomènes de synchronisation et de concurrence propres à l'informatique répartie ou aux protocoles de communication.

Les actions de recherche de 1995-96 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 de multiprocesseurs, notamment dans le cadre des projets ESPRIT PEPS et TMR Alapedes,
• l'étude mathématique de classes de systèmes à événements discrets, ainsi que l'élaboration de politiques de contrôle optimal pour ces systèmes,
• la réalisation d'outils logiciels pour l'évaluation de performances.

Les activités sur la simulation parallèle et distribuée initialisées dans le projet MISTRAL par Philippe Mussi et Bruno Gaujal sont maintenant reprises par le projet SLOOP nouvellement créé comme projet commun CNRS-INRIA-UNSA.