Evaluation de performances et sûreté de fonctionnement - RCP103
Organisme : CNAM DE BRETAGNE
2 rue Camille Guérin - 
22440 PLOUFRAGAN
Tél : 02 96 76 59 30 - Fax : 02 96 76 59 31 
Email : cnam@cnam-bretagne.fr 
Site web : http://www.cnam-bretagne.fr 

Réf : 1401976F - Mise à jour : 29/07/2019
Contact pour la formation : Magalie PICHARD (Conseiller en formation continue)

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.

Condition d'admission
  • Avoir le niveau licence Informatique (L3). Il est souhaitable (mais non exigé) d'avoir suivi l'UE RCP 105 ou 101.
  • Public visé
    Tout public ; Demandeur d'emploi ; Salarié

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)

Validation / certification préparée

  • Certificat permettant d'accéder à un diplôme par capitalisation des unités d'enseignement

Durée de formation
  • 60 heures
Organisation pédagogique

E learning / FOAD ;


Dates et lieux de formation  
Dates et lieux de formation  
  • RENNES - Du 14/10/2019 au 22/02/2020 (N° Session : 1211085)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • BREST - Du 14/10/2019 au 22/02/2020 (N° Session : 1211086)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • VANNES - Du 14/10/2019 au 22/02/2020 (N° Session : 1211087)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • PLOUFRAGAN - Du 14/10/2019 au 22/02/2020 (N° Session : 1211088)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • LANNION - Du 14/10/2019 au 22/02/2020 (N° Session : 1211089)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • LORIENT - Du 14/10/2019 au 22/02/2020 (N° Session : 1211090)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
 


+ d'infos : Cliquez ici


Source : GREF Bretagne 22/09/2019