L'objectif central du projet Model est le développement de techniques de résolution de modèles pour l'évaluation de la performance et/ou de la fiabilité de systèmes à événements discrets, en particulier dans le domaine de l'informatique et celui des communications.
Plus précisément, nous étudions les techniques mathématiques et algorithmiques permettant une évaluation efficace de mesures de performance, de sûreté de fonctionnement et de qualité de service, aussi bien par des moyens analytiques que par des approches de type Monte Carlo. Les mesures de performance (débit d'un canal, temps de réponse d'un sous-système, occupation d'un tampon, etc.) visent à quantifier le comportement du système en supposant qu'il n'y a pas de défaillance ; celles de sûreté de fonctionnement (par exemple, fiabilité, disponibilité, MTTF, ...) ont pour objectif la quantification du comportement du système face à des défaillances, sans tenir compte des aspects performance. Nous nous intéressons aussi aux mesures dites de performabilité qui essayent d'intégrer dans un concept unique les aspects performance et sûreté de fonctionnement.
À condition d'en payer le prix (i.e. d'introduire un espace d'état éventuellement important) la plupart des systèmes à événements discrets peuvent être modélisés par des processus de Markov. Ce type de processus tient donc une place importante dans les activités du projet Model. Les approches de type Monte Carlo constituent une alternative aux approches analytiques quand ces dernières deviennent prohibitives de par leur complexité algorithmique ou suite à la taille de l'espace d'état.