RCP103 - Evaluation de performances et sûreté de fonctionnement  [ 6  crédits ]

Public Concerné
Pré requis : Avoir le niveau licence Informatique (L3). Il est souhaitable ( mais non exige) d'avoir suivi avant l'UE RCP 105 ou 101>     Public concerné : Élèves ingénieurs (en cycle de spécialisation) ou étudiants en Master 1.

Finalité de l'unité d'enseignement

Objectifs pédagogiques
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.
Capacité et compétences acquises
Compétences dans le domaine de l'évaluation de la qualité de service et de performance de systèmes informatiques et réseaux de communication : débit, temps de réponse, contrôle de trafic et de congestion, taux d'utilisation de ressources, disponibilité, localisation de goulots d'étranglement, ...
Organisation
6 Crédits 
Contenu de la formation
Introduction à l'évaluation de performances des systèmes à événements discrets.
Phénomènes d'attente, 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), protocoles de 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)

 

Trouvez votre formation

Trouvez une Unité d'Enseignement

Please install the Flash Plugin


Accés à PLEIAD

     
Formations en alternance Formation continue Cours du soir Formation à distance, e-learning Formations courtes DIF CIF Congé individuel de formation CIF CDI, CIF CDD, CIF HTT Contrat de professionnalisation Centre de bilan de compétences Compte Personnel de Formation CPF