Evaluation de performances et sûreté de fonctionnement

Public Concerné

Pré requis : Avoir le niveau licence Informatique (L3). Il est souhaitable (mais non exigé) d'avoir suivi l'UE RCP 105 ou 101.    
Public concerné : Élèves ingénieurs (filières RSM, AISL, ISI , IMO) ou étudiants en Master 1.

L'avis des auditeurs

Les dernières réponses à l'enquête d'appréciation pour cet 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 performances de différentes options d'architectures et de dimensionnement de systèmes : débit, temps de réponse, qualité de service , contrôle de trafic et de congestion, taux d'utilisation de ressources, disponibilité, localisation de goulots d'étranglement, ...

Contenu de la formation

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/multi-classes, 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)

 

Prévisions d'ouverture

Groupe Semestre Modalité État d'ouverture Date du premier cours Lieux
RCP103 Évaluation des performances et sûreté de fonctionnement 6 Cours de Jour - - - -

Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation

Code : RCP103
6
crédits
Contactez-nous
Formation à distance formations cours du soir amiens alternance picardie Cnam Picardie offre de formations picardie Le cnam pour qui? Cours du soir, formations à distance, Vae en picardie Pleiad Galao picardie Forum cnam Droit Individuel à la Formation (dif picardie) Dossier d'inscription Responsable ressources humaines formations école d'ingénieur Guide formations ingénieur Amiens Compiegne Senlis Nogent sur Oise Beauvais Laon Saint-Quentin Diffusion de la Culture Scientifique et Technique Formation en Picardie plan d'accès à Amiens Fiche d'inscription aux sélections Dossier de candidature Alternance Dossier d'inscription cours du soir et fod Taxe apprentissage Picardie organigramme du cnam picardie Préinscription en ligne Intégrer une formation en alternance Planning EICNAM Planning EMSCNAM