Manuel de Modlisation Stochastique

Ce manuel pdagogique sur les formalismes de modlisation stochastique et leurs applications l'valuation quantitative de performances des systmes et rseaux informatiques est le fruit d'une dizaine d'annes d'exprience dans l'enseignement de plusieurs matires, savoir : modlisation et simulation des systmes, valuation de performance des rseaux, etc. Il a pour objectif de prsenter les formalismes de modlisation stochastique les plus importants ( savoir : les chanes de Markov temps discret, les systmes d'attente Markoviens, et les rseaux de files d'attente forme produit), et montrer surtout comment les appliquer ( travers une panoplie d'exercices d'application avec corrigs) pour passer d'un systme rel et complexe vers un modle abstrait et simple. La finalit est galement de mettre en vidence la mthodologie suivre pour rsoudre les modles mathmatiques obtenus afin de dterminer et valuer les caractristiques des systmes tudis. Ce manuel pdagogique est destin en premier lieu aux tudiants de parcours Master en Informatique toute option confondue du fait que la plupart des problmes considrs et traits sont des systmes et rseaux informatiques.