|
|
|||
|
||||
Overview"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." Full Product DetailsAuthor: Diana ElrabihPublisher: Editions Universitaires Europeennes Imprint: Editions Universitaires Europeennes Dimensions: Width: 15.20cm , Height: 0.90cm , Length: 22.90cm Weight: 0.236kg ISBN: 9786203432947ISBN 10: 6203432946 Pages: 156 Publication Date: 06 January 2022 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: In stock We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Language: French Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |