Diagnostic des pannes dans les systèmes dynamiques complexes (application aux réseaux de télécommunication)
Des informations générales:
Le niveau |
Master |
Titre |
Diagnostic des pannes dans les systèmes dynamiques complexes (application aux réseaux de télécommunication) |
SPECIALITE |
Réseau et télécommunication |
Page de garde:
Sommaire:
Introduction générale
Chapitre 1: Etat de l’art
1. Introduction
2. Concepts de bases sur les systèmes informatiques
2.1. Un système.
2.2. Classification des systèmes
2.2.1. Système discret
2.2.2. Système continu
2.2.3. Les Systèmes Dynamiques Hybrides
3. La modélisation et la Simulation
3.1. Un modèle
3.2. Les types de modèles
4. Diagnostic des pannes dans les systèmes à ED.
4.1. Notions importante.
4.1.1. Diagnostic
4.1.2. Surveillance
4.1.3. Défaut
4.1.4. Dégradation
4.1.5. Défaillance
4.1.6. Panne
4.1.7. Symptôme
4.1.8. Observation
4.2. Objectif et principe de diagnostic.
4.2.1. Détection
4.2.2. Localisation
4.2.3. Identification
4.2.4. Isolation
4.3. Classification des méthodes de diagnostic.
4.3.1. Méthodes sans modèles.
4.3.2. Méthodes à base de modèles
4.3.2.1. Méthodes de diagnostic à base de modèles quantitatifs
4.3.2.2. Méthodes de diagnostic à base de modèles qualitatifs
4.3.3. Critères des méthodes de diagnostic à base de modèles
4.4. Notion de diagnostic centralisé, décentralisé et distribuée
4.5. Diagnostic hors-ligne/en-ligne.
4.6. Les approches de diagnostic existantes.
5. Les formalismes utilisées dans le diagnostic à base de modèles qualitatifs pour les systèmes à ED
5.1. Les automates à états fini (machine d’états)
5.2. Les automates temporisées
5.3. Les automates probabilistes
5.4. Les réseaux de Pétri
6. Conclusion
Chapitre 2: Le formalisme DEVS
1. Introduction
2. La modélisation DEVS.
2.1. Définition
2.2. Le modèle atomique.
2.3. Le modèle couplé.
3. La simulation DEVS
4. Exemple d’un modèle DEVS.
5. Environnements de modélisation et simulation DEVS
6. Avantages de l’utilisation de DEVS
7. Conclusion
Chapitre 3: Modélisation et simulation
1. Introduction
2. Présentation du système de réseau de télécommunication
3. Formalisation du système en formalisme DEVS
4. Le Modèle DEVS couplée du système.
5. Les Spécifications de notre système.
5.1. La Spécification du sous-système Canal de connexion en DEVS
5.2. La Spécification du sous-système Switch en DEVS
5.3. La Spécification du sous-système station de contrôle en DEVS
5.4. La Spécification du sous-système Système de supervision en DEVS
5.5. La Spécification du Système global ToyNet en DEVS
6. Validation du modèle par la simulation
7. Validation sur un environnement de simulation
8. L’environnement de modélisation et de Simulation
8.1. DEVS-Suite
9. Représentation de Modèle proposé à l’aide de l’outil de modélisation DEVS-Suite
9.1. System de supervision.
9.2. Switch1/switch2/switch3.
9.3. Canal1/Canal2/Canal3
9.4. Computer system1/Computer sytem2/Computer system 3.
10. Le Modèle Global du système de télécommunication.
11. Conclusion
Conclusion générale
Bibliographie
Chapitre 1: Etat de l’art
1. Introduction
2. Concepts de bases sur les systèmes informatiques
2.1. Un système.
2.2. Classification des systèmes
2.2.1. Système discret
2.2.2. Système continu
2.2.3. Les Systèmes Dynamiques Hybrides
3. La modélisation et la Simulation
3.1. Un modèle
3.2. Les types de modèles
4. Diagnostic des pannes dans les systèmes à ED.
4.1. Notions importante.
4.1.1. Diagnostic
4.1.2. Surveillance
4.1.3. Défaut
4.1.4. Dégradation
4.1.5. Défaillance
4.1.6. Panne
4.1.7. Symptôme
4.1.8. Observation
4.2. Objectif et principe de diagnostic.
4.2.1. Détection
4.2.2. Localisation
4.2.3. Identification
4.2.4. Isolation
4.3. Classification des méthodes de diagnostic.
4.3.1. Méthodes sans modèles.
4.3.2. Méthodes à base de modèles
4.3.2.1. Méthodes de diagnostic à base de modèles quantitatifs
4.3.2.2. Méthodes de diagnostic à base de modèles qualitatifs
4.3.3. Critères des méthodes de diagnostic à base de modèles
4.4. Notion de diagnostic centralisé, décentralisé et distribuée
4.5. Diagnostic hors-ligne/en-ligne.
4.6. Les approches de diagnostic existantes.
5. Les formalismes utilisées dans le diagnostic à base de modèles qualitatifs pour les systèmes à ED
5.1. Les automates à états fini (machine d’états)
5.2. Les automates temporisées
5.3. Les automates probabilistes
5.4. Les réseaux de Pétri
6. Conclusion
Chapitre 2: Le formalisme DEVS
1. Introduction
2. La modélisation DEVS.
2.1. Définition
2.2. Le modèle atomique.
2.3. Le modèle couplé.
3. La simulation DEVS
4. Exemple d’un modèle DEVS.
5. Environnements de modélisation et simulation DEVS
6. Avantages de l’utilisation de DEVS
7. Conclusion
Chapitre 3: Modélisation et simulation
1. Introduction
2. Présentation du système de réseau de télécommunication
3. Formalisation du système en formalisme DEVS
4. Le Modèle DEVS couplée du système.
5. Les Spécifications de notre système.
5.1. La Spécification du sous-système Canal de connexion en DEVS
5.2. La Spécification du sous-système Switch en DEVS
5.3. La Spécification du sous-système station de contrôle en DEVS
5.4. La Spécification du sous-système Système de supervision en DEVS
5.5. La Spécification du Système global ToyNet en DEVS
6. Validation du modèle par la simulation
7. Validation sur un environnement de simulation
8. L’environnement de modélisation et de Simulation
8.1. DEVS-Suite
9. Représentation de Modèle proposé à l’aide de l’outil de modélisation DEVS-Suite
9.1. System de supervision.
9.2. Switch1/switch2/switch3.
9.3. Canal1/Canal2/Canal3
9.4. Computer system1/Computer sytem2/Computer system 3.
10. Le Modèle Global du système de télécommunication.
11. Conclusion
Conclusion générale
Bibliographie
Télécharger:
Pour plus de
sources et références universitaires
(mémoires, thèses et articles
), consultez notre site principal.