Processus concurrents et systèmes parallèles- Aspects Pratiques (Omn.Univ.Europ.) - Softcover

Benarous, Leila

 
9783841672469: Processus concurrents et systèmes parallèles- Aspects Pratiques (Omn.Univ.Europ.)
Softcover
ISBN 10: 3841672469 ISBN 13: 9783841672469
Verlag: Éditions universitaires européennes, 2015

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Benarous Leila étudiante en Master option:Réseaux,Systèmes et Application Réparties, Département Mathématique et Informatique, Université Amar Telidji.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Éditions universitaires européennes
Erscheinungsdatum
2015
Sprache
Französisch
ISBN 10 
3841672469
ISBN 13 
9783841672469
Einband
Taschenbuch
Anzahl der Seiten
72
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Edicoes Nosso Conhecimento
customerservice@vdm-vsg.de

SIA
Riga
1039
Litauen