| Titre : |
Processus concurrents et systèmes parallèles- Aspects Pratiques |
| Type de document : |
texte imprimé |
| Auteurs : |
Leila Benarous, Auteur |
| Editeur : |
Allemagne : éditions Universitaires Européennes |
| Année de publication : |
2015 |
| Importance : |
65 p |
| Format : |
23*15 cm |
| ISBN/ISSN/EAN : |
978-3-8416-7246-9 |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
L'exigence d'avoir des systmes concurrents fiables impose tout concepteur (de tels systmes) d'adopter une dmarche rigoureuse de la premire tape de conception jusqu' sa ralisation finale. Les travaux raliss dans cet ouvrage concernent essentiellement la modlisation et la simulation des systmes concurrents et rpartis. Ainsi ces aspects ont ncessit l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associ savoir le simulateur SPIN. Les applications ralises ont concern plusieurs aspects tudis durant notre cursus mais de manire thorique. Les applications ont t tendues aux systmes repartis et plus particulirement les algorithmes d'lection. De plus, un intrt a t port l'aspect vrification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modlis et valid le protocole KERBEROS lequel est un protocole d'authentification |
Processus concurrents et systèmes parallèles- Aspects Pratiques [texte imprimé] / Leila Benarous, Auteur . - Allemagne : éditions Universitaires Européennes, 2015 . - 65 p ; 23*15 cm. ISBN : 978-3-8416-7246-9 Langues : Français ( fre) Langues originales : Français ( fre)
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
L'exigence d'avoir des systmes concurrents fiables impose tout concepteur (de tels systmes) d'adopter une dmarche rigoureuse de la premire tape de conception jusqu' sa ralisation finale. Les travaux raliss dans cet ouvrage concernent essentiellement la modlisation et la simulation des systmes concurrents et rpartis. Ainsi ces aspects ont ncessit l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associ savoir le simulateur SPIN. Les applications ralises ont concern plusieurs aspects tudis durant notre cursus mais de manire thorique. Les applications ont t tendues aux systmes repartis et plus particulirement les algorithmes d'lection. De plus, un intrt a t port l'aspect vrification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modlis et valid le protocole KERBEROS lequel est un protocole d'authentification |
|  |
Affiner la recherche Interroger des sources externes
