Evaluation de performances et sûreté de fonctionnement
Code UE : RCP103
- Cours
- 6 crédits
- Volume horaire de référence
(+ ou - 10%) : 50 heures
Responsable(s)
Kamel BARKAOUI
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.
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 :
Présence et réussite aux examens
Pour l'année universitaire 2021-2022 :
- Nombre d'inscrits : 74
- Taux de présence à l'évaluation : 74%
- Taux de réussite à l'évaluation : 89%
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.
Il sera présenté deux outils logiciels appropriés mettant en oeuvre ces techniques sur des etudes de cas significatifs.
Compétences visées
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
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)
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)
Modalité d'évaluation
- Contrôle continu
Bibliographie
- BARKAOUI Kamel : Modélisation Markovienne & evaluation de performances (polycopie)
- FDIDA Serge, HÉBUTERNE Gérard : Méthodes heuristiques d'analyse de performance des réseaux. Ed Lavoisier 2000
- BAYNAT Bruno : Théorie des files d'attente: Des chaînes de Markov aux réseaux à forme produit Ed Hermes 2000
- JAIN Raj : The Art of Computer Systems Performance Analysis. Techniques for Experimental Design, Measurement, Simulation and Modeling
- M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis : Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons
Cette UE apparaît dans les diplômes et certificats suivants
Chargement du résultat...
Contact
Voir le calendrier, le tarif, les conditions d'accessibilité et les modalités d'inscription dans le(s) centre(s) d'enseignement qui propose(nt) cette formation.
UE
-
-
Languedoc-Roussillon
-
Languedoc-Roussillon
- Année 2024 / 2025 : Formation en présentiel journée
Comment est organisée cette formation ?2024-2025 Annuel : Formation en présentiel journée
Précision sur la modalité pédagogique
- Une formation en présentiel est dispensée dans un lieu identifié (salle, amphi ...) selon un planning défini (date et horaire).
-
Languedoc-Roussillon
-
Languedoc-Roussillon
Code UE : RCP103
- Cours
- 6 crédits
- Volume horaire de référence
(+ ou - 10%) : 50 heures
Responsable(s)
Kamel BARKAOUI