Introduction à l'évaluation de performances des systèmes à événements discrets.

Etudes des phénomènes d'attente, métriques de performance, dimensionnement, caractérisation et prévision de la charge.

Modélisation markovienne

Chaînes de Markov à temps discret (CMTD) et a temps continu (CMTC), chaîne de Markov immergée (EMC)

Régime transitoire, régime permanent, ergodicité, distribution stationnaire. Equations de balance globale

Files d'attente : file M/M/S, file M/G/1.

Loi de Little, formule de Pollaczek-Khintchine

Les réseaux de file d'attente (RFA) à forme produit (monoclasses/multiclasses, ouverts/fermés) : réseaux de Jackson, Gordon-Newell et BCMP.

Equation de trafic, Algorithme de la valeur moyenne (MVA)


Réseaux de Petri stochastiques : le modèle GSPN.

Évaluation prévisionnelle de la sûreté de fonctionnement : fiabilité, disponibilité

Limites de la modélisation markovienne.

Simulations stochastiques (méthodologie, validité, coût).

Applications : services web, systèmes de workflow, centre d'appels (call centers), réseaux mobiles ad-hoc (Manet), systèmes informatiques, systèmes d'allocation de ressources (FMS).

Présentation & utilisation de logiciels : TimeNET( SPN), ns-3 (réseaux)