Les grilles de PCs

Table des matières

1 Introduction
1.1 Préliminaires
1.2 Contexte
1.3 Problématique
1.4 Contribution
1.5 Plan de la thèse
2 Modélisation et vérification Formelle
2.1 Introduction
2.2 Utilité de la modélisation
2.3 Les réseaux de Petri colorés
2.4 Vérification formelle
2.4.1 La technique de vérification de modèle
2.4.2 La technique de preuve de théorèmes
2.4.3 Propriétés à vérifier
2.5 CPNTools : un outil pour spécifier et vérifier des réseaux de Petri colorés
2.6 Les systèmes de publication-souscription
2.7 Conclusion
3 Architecture des systèmes distribués de notre étude
3.1 Introduction
3.2 Les systèmes distribués de calcul (vues des années 90 à 2000)
3.2.1 Les systèmes de grilles de calcul
3.2.2 Les systèmes de calcul global
3.2.3 Les systèmes pair-à-pair
3.3 Les grilles de PCs
3.3.1 Caractéristiques des grilles de PCs
3.3.1.1 Participation volontaire
3.3.1.2 Volatilité des ressources
3.3.1.3 Environnement dynamique
3.3.1.4 Environnement non fiable
3.3.1.5 Panne des ressources
3.3.1.6 Hétérogénéité des ressources
3.3.1.7 Passage à l’échelle
4 Conclusion