Model Checking Statistique pour les Systèmes Larges [French]

By Diana ElRabih

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.

• Format: Paperback
• Language: French
• ISBN: 6203432946
• ISBN13: 9786203432947
• Release Date: January 2022
• Publisher: Editions Universitaires Europeennes
• Length: 156 Pages
• Weight: 0.52 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"