Évaluation de performances et sûreté de fonctionnement - RCP103

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 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/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 et sanction

Attestation de formation

Type de formation

Non certificiante

Sortie

Sans niveau spécifique

Code Rome

Modalités pédagogiques

Durée

45 heures en centre

Conventionnement : Non

Financeur(s)

Entreprise

Public(s)

Demandeur d'emploi, Salarié, Tout public

Modalités de recrutement et d'admission

Niveau d'entrée : Sans niveau spécifique

Conditions spécifiques et prérequis

Pré requis : Avoir le niveau licence Informatique (L3). Il est souhaitable (mais non exigé) d'avoir suivi l'UE RCP 105 ou 101.

Modalités d'accès

Formation entièrement à distance

Adresse

1 Rue du Muguet
22300 - Lannion

Responsable : CNAM DE BRETAGNE
Téléphone fixe :
Contacter l'organisme

Contact sur la formation

2 Rue Camille Guérin
22440 - Ploufragan

Responsable :
Téléphone fixe : 0972311312
fax :
Site web : http://www.cnam-bretagne.fr
Contacter l'organisme

Contacter l'organisme formateur

Conservatoire national des arts et métiers - centre régional de Bretagne
SIRET: 43411361900119

Responsable : JAHIER
Téléphone fixe : 0972311312
Site web :
Contacter l'organisme

du 19/02/2024 au 30/06/2024
débutant le : 19/02/2024

Adresse d'inscription

2 Rue Camille Guérin
22440 - Ploufragan

Etat du recrutement : Ouvert
Modalités : Entrées/sorties permanentes

CNAM DE BRETAGNE
SIRET : 43411361900119

Adresse

2 Rue Camille Guérin
22440 - Ploufragan

Téléphone fixe : 0972311312
Contacter l'organisme