Modèles pour le calcul de la fiabilité

Table des matières

INTRODUCTION
1. Introduction générale
2. Introduction aux systèmes temps réel et aux algorithmes d’ordonnancement
2.1 Introduction
2.2 Définitions
2.2.1 Système réactif
2.2.2 Exemples de système réactif
2.2.3 Système temps réel
2.2.4 Temps réel souple et temps réel strict
2.2.5 Système distribué et système embarqué
2.3 Modélisation des systèmes temps réel
2.3.1 Tâche
2.3.2 Niveau logiciel
2.3.3 Niveau matériel
2.3.4 Caractéristique temporelle
2.3.5 Contrainte matérielle
2.4 Problématique de distribution et d’ordonnancement temps réel
2.4.1 Description du problème
2.4.2 Présentation du problème
2.4.3 Classification des algorithmes d’ordonnancement temps réel
2.5 Algorithme de distribution et d’ordonnancement de SYNDEX
2.6 Conclusion
3. Fiabilité des systèmes
3.1 Introduction
3.2 Terminologie
3.2.1 Sûreté de fonctionnement
3.2.2 Moyen de la sûreté de fonctionnement
3.2.3 Fiabilité
3.2.4 Faute, Erreur, Défaillance
3.2.5 Taux de défaillance
3.3 Modèles pour le calcul de la fiabilité
3.3.1 Modèles combinatoires
3.3.2 Modèles basés sur la chaine de Markov
3.3.3 Modèles basés sur les réseaux de Pétri
3.3.4 Modèles basés sur les algorithmes d’ordonnancement
3.4 Techniques d’évaluation de la fiabilité
3.4.1 Arbre de défaillance
3.4.2 Bloc de diagramme de la fiabilité BDF
3.4.3 Représentation BDD
3.4.4 Ensemble de coupe minimal et le chemin plus court
3.4.5 Algorithme directe
3.5 Conclusion
4. Etat de l’art
4.1 Introduction
4.2 Problème d’optimisation bi-critères
4.3 Classification des algorithmes bi-critères
4.3.1 Agrégation de deux critères a un seul
4.3.1.1 Principe
4.3.2.2 Présentation de quelques algorithmes
4.3.2 Transformation d’un critère à une contrainte
4.3.2.1 Principe
4.3.2.2 Présentation de quelques algorithmes
4.3.3 Hiérarchisation des critères
4.3.2.1 Principe
4.3.2.2 Présentation de quelques algorithmes
4.4 Discussion
4.5 Conclusion
5. Algorithme d’ordonnancement bi-critères : temps réel et fiabilité
5.1 Problème d’ordonnancement et d’optimisation bi-critères
5.1.1 Modèle de faute
5.1.2 Formalisation du problème
5.1.3 Premier critère : Minimisation de la langueur
5.1.4 Deuxième critère : Maximisation de fiabilité
5.2 Heuristique d’ordonnancement et d’optimisation bi-critère
5.2.1 Importance du coût statique
5.2.3 Fonction de SYNDEX
5.2.3 Fonction de compromise
5.2.4 Présentation de l’algorithme de l’heuristique
5.3 BSA
5.4 Génération aléatoire de graphes d’architectures et d’algorithmes
5.3 Etude comparative
5.4 Simulation
5.5 Conclusion
Conclusion et perspectives
Bibliographie