| Titre : |
Processus concurrents et systèmes parallèles- Aspects Pratiques |
| Type de document : |
texte imprimé |
| Auteurs : |
Leila Benarous, Auteur |
| Editeur : |
Univ Européenne |
| Année de publication : |
2015 |
| Collection : |
Omn.univ.europ |
| ISBN/ISSN/EAN : |
978-3-8416-7246-9 |
| Catégories : |
Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Architecture des systèmes d’ordinateurs répartis
|
| Mots-clés : |
Essais littéraires |
| Index. décimale : |
004.368 2 Architecture des systèmes d’ordinateurs répartis |
| Résumé : |
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 |
Processus concurrents et systèmes parallèles- Aspects Pratiques [texte imprimé] / Leila Benarous, Auteur . - [S.l.] : Univ Européenne, 2015. - ( Omn.univ.europ) . ISBN : 978-3-8416-7246-9
| Catégories : |
Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Architecture des systèmes d’ordinateurs répartis
|
| Mots-clés : |
Essais littéraires |
| Index. décimale : |
004.368 2 Architecture des systèmes d’ordinateurs répartis |
| Résumé : |
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 |
|  |
Affiner la recherche Interroger des sources externes
