Fr. 88.00

Model Checking Statistique pour les Systèmes Larges - DE

French · Paperback / Softback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more

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.

About the author










Sono un ingegnere informatico e delle telecomunicazioni con 2 master. Sono un ingegnere di R&S alla Monty Mobile. Tra il 2008-2012, sono stato ricercatore presso il Laboratorio di Algoritmi, Logica e Complessità e ho insegnato all'Università di Paris Est. Sono interessato alla scienza, alla tecnologia, alla lettura e ai viaggi.

Product details

Authors Diana Elrabih
Publisher Éditions universitaires européennes
 
Languages French
Product format Paperback / Softback
Released 01.01.2022
 
EAN 9786203432947
ISBN 9786203432947
No. of pages 156
Subject Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.