evaluation de performances - RCP103

CNAM DE BRETAGNE

Public admis

Salarié en poste

Demandeur d'emploi

Entreprise

Étudiant

Modalités

En ligne

Durée

Nous contacter

Prix

Nous contacter

Localité

En ligne

Vous pouvez suivre cette formation depuis chez vous ou depuis n’importe quel endroit à distance.

Objectifs

Etudier les formalismes et techniques les plus utilisés pour l'évaluation de performances des systèmes à événements discrets (réseaux de file d'attente, réseaux de Petri stochastiques) et montrer leur application concrète dans le domaine des systèmes informatiques, des réseaux de communication et des systèmes de production.Il sera présenté deux outils logiciels appropriés mettant en oeuvre ces techniques sur des etudes de cas significatifs.

Programme

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)