Processus Concurrents Et Systèmes Parallèles- Aspects Pratiques » książka
Processus Concurrents Et Systèmes Parallèles- Aspects Pratiques
ISBN-13: 9783841672469 / Francuski / Miękka / 2018 / 72 str.
L'exigence d'avoir des systemes concurrents fiables impose a tout concepteur (de tels systemes) d'adopter une demarche rigoureuse de la premiere etape de conception jusqu'a sa realisation finale. Les travaux realises dans cet ouvrage concernent essentiellement la modelisation et la simulation des systemes concurrents et repartis. Ainsi ces aspects ont necessite l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associe a savoir le simulateur SPIN. Les applications realisees ont concerne plusieurs aspects etudies durant notre cursus mais de maniere theorique. Les applications ont ete etendues aux systemes repartis et plus particulierement les algorithmes d'election. De plus, un interet a ete porte a l'aspect verification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modelise et valide le protocole KERBEROS lequel est un protocole d'authentification."
Lexigence davoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) dadopter 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é lapprentissage du langage Promela et lutilisation de loutil 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é à laspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre dapplication, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole dauthentification.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
