Évaluation de performances et sûreté de fonctionnement

Réf. : RCP103

Sessions de formation

(Fuseau horaire : Europe/Paris)

Centre Cnam Bretagne - Formation 1er Semestre hybride

La période de cours est planifiée du 28/10/2024 au 11/01/2025

L'inscription est actuellement terminée pour cette session

Présentation

Public, conditions d'accès 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.    

Public concerné : Élèves ingénieurs (filières RSM, AISL, ISI , IMO) ou étudiants en Master 1.

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.

Contenu

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)

 

Bibliographie

Titre Auteur(s)
Modélisation Markovienne & evaluation de performances (polycopie) BARKAOUI Kamel
Méthodes heuristiques d'analyse de performance des réseaux. Ed Lavoisier 2000 FDIDA Serge, HÉBUTERNE Gérard
Théorie des files d'attente: Des chaînes de Markov aux réseaux à forme produit Ed Hermes 2000 BAYNAT Bruno
The Art of Computer Systems Performance Analysis. Techniques for Experimental Design, Measurement, Simulation and Modeling JAIN Raj
Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis

Modalités d'évaluation

  • Contrôle continu