Processus concurrents et systèmes parallèles- Aspects Pratiques

34,10 €

35,90 €

-5%

Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.
Livraison dans le monde entier.

L’exigence d’avoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) d’adopter une démarche rigoureuse de la première étape de conception jusqu’à sa réalisation finale.

Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et répartis.

Ainsi ces aspects ont nécessité l’apprentissage du langage Promela et l’utilisation de l’outil logiciel associé à savoir le simulateur SPIN.

Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de manière théorique.

Les applications ont été étendues aux systèmes repartis et plus particulièrement les algorithmes d’élection.

De plus, un intérêt a été porté à l’aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles.

A titre d’application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d’authentification.

Plus de détails

Livraison
Envoi en courrier suivi.
Livraison sous 2 à 4 jours en France et dans le monde entier.
Programme de fidélité
Votre panier totalisera 3 points fidélité vous offrant lors de votre prochain achat une réduction de 1,50 €
Avis clients
Soyez le premier à partager votre avis sur ce produit