Kontakt
Wie einkaufen
Versand
Kaufberater
Model Checking Statistique pour les Systemes Larges
Französisch
149 b
Lieferung in Griechenland
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Audio CD
36.47
€
/
Hardcover
26.95
€
/
Broschur
30.29
€
/
Broschur
19.45
€
/
Broschur
88.97
€
/
Hardcover
31.81
€
/
Broschur
32.83
€
Nous proposons dans cette thèse une nouvelle méthode de vérification des propriétés stationnaires dans les systèmes `à large échelle et nous appliquons cette méthode sur la vérification des propriétés de dependabilité dans les systèmes informatiques `a large échelle. Nous proposons d'utiliser la simulation parfaite et les méthodes statistiques pour effectuer le model checking probabiliste, afin de vérifier les propriétés stationnaires des systèmes informatiques à large échelle et analyser ainsi leur sureté de fonctionnement. La simulation parfaite avec le couplage dans le passé est reconnue efficace et précise pour calculer la distribution stationnaire. Nous proposons dans cette thèse de nouveaux algorithmes de model checking qui reposent sur les méthodes statistiques et sur la simulation parfaite. On applique cette méthode de model checking sur études de cas issues de quelques " benchmarks " connues. Nous étudions l'efficacité e et le passage à l'échelle de nos algorithmes propos es. Nous comparons ainsi la performance des différentes méthodes statistiques existantes en les intégrant dans notre méthode de vérification.
Informationen zum Buch
Französisch
