Vous êtes ici :

  • Informatique / Bureautique / Big data / Cybersécurité

Évaluation de performances et sûreté de fonctionnement

Évaluation de performances et sûreté de fonctionnement
Unité d'enseignement

Accéder aux sections de la fiche

Call to actions

Nous contacter
Choisir mon semestre

Détails

Infos générales

Code
RCP103

Présentation

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.

Intitulé officiel

Évaluation de performances et sûreté de fonctionnement
Masquer les détails supplémentaires

Conditions d'accès

Pré-requis

Formation(s) requise(s)

Aucun prérequis.

Programme

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)

 

Unités d'enseignement

  • Évaluation de performances et sûreté de fonctionnement
    À distance / Partiellement à distance Février à Juin 50 heures 6 crédits

Organisation

Durée et organisation

L'année est organisée en 2 semestres : semestre 1 (S1) d'octobre à février/mars et semestre 2 (S2) de février/mars à juin.
 

Méthodes mobilisées

Pédagogie qui combine apports académiques, études de cas basées sur des pratiques professionnelles et expérience des élèves.
Équipe pédagogique constituée pour partie de professionnels. Un espace numérique de formation (ENF) est utilisé tout au long du cursus.
 

Modalités d'évaluation

Chaque unité (UE/US, UA) fait l'objet d'une évaluation organisée en accord avec l'Établissement public (certificateur) dans le cadre d'un règlement national des examens.
 

Accessibilité public en situation de handicap

Nos formations sont accessibles aux publics en situation de handicap. Un référent Cnam est dédié à l'accompagnement de toute personne en situation de handicap. Pour contacter le référent : handi@cnam-paysdelaloire.fr

Modalités d'inscription

Consultez nos tarifs

Comment s'inscrire ?

Choisissez votre semestre et cliquez sur "Ajouter à ma sélection".
 

Modalités et délais d'accès

Les inscriptions se déroulent dès le mois de mai pour les formations qui débutent en octobre (semestre 1) et dès novembre pour les formations qui débutent en février/mars (semestre 2).