La complexité croissante des systèmes informatiques rend l’analyse, l’évaluation des performances et la garantie du bon fonctionnement de plus en plus nécessaire. De plus, la prolifération de nouvelles applications et services, de nouveaux supports de transmissions et nouveaux équipements met la qualité de service (QoS) au cœur du développement de ces systèmes. L’évaluation des performances devient une tâche essentielle afin de vérifier les contraintes de QoS. Cependant les modèles des systèmes réels sont complexes et de très grande taille, ce qui engendre une explosion combinatoire du nombre d’états. Il n’est donc pas possible d’utiliser les techniques d’évaluations de performance existantes sans y apporter des modifications. Il convient donc de les adapter aux problèmes de complexité actuelle. En premier lieu, il s’agit d’analyser parmi les techniques, lesquelles seront appropriées aux modèles. Une autre approche consiste à développer de nouvelles techniques qui tirent profit de la structure particulière de certains modèles. Enfin une validation expérimentale est indispensable afin de mesurer les gains en complexité obtenus dans des cas réels.